During the years, our research lead to a number of publications at conferences and journals. Publishing ideas and results is the main resource for fruitful discussions and feedback from the worldwide research community.

177 Einträge « 3 von 4 »

2013

Trojahn, Matthias; Ortmeier, Frank

Designing an Enterprise Security Strategy for Mobile Intranet Access Konferenz

Seventh International Conference on Software Security and Reliability Companion (SERE 2013), 2013.

Links | BibTeX

Trojahn, Matthias; Arndt, Florian; Weinmann, Markus; Ortmeier, Frank

Emotion Recognition Through Keystroke Dynamics on Touchscreen Keyboards Buchkapitel mit eigenem Titel

15th International Conference on Enterprise Information Systems, 2013.

Abstract | Links | BibTeX

Meyer, Torben; Trojahn, Matthias; Strassburger, Steffen

Using Crowdsourced Geographic Information from OpenStreetMap for Discrete Event Simulation of Logistic Systems Konferenz

SpringSim 2013 ANSS, 2013.

Links | BibTeX

Trojahn, Matthias; Ortmeier, Frank

Keystroke Dynamics Authentication on Mobile Devices with a Capacitive Display Konferenz

Biometrics: Technologies, Systems and Applications - BTSA 2013, 2013.

BibTeX

Alatartsev, Sergey; Augustine, Marcus; Ortmeier, Frank

Constricting Insertion Heuristic for Traveling Salesman Problem with Neighborhoods Inproceedings

Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS-2013), AAAI, 2013.

Abstract | Links | BibTeX

Trojahn, Matthias; Pan, Lei; Schmidt, Fabian

Developing a Cloud Computing Based Approach for Forensic Analysis using OCR Konferenz

7th International Conference on IT Security Incident Management & IT Forensics, 2013.

Links | BibTeX

Trojahn, Matthias; Ortmeier, Frank

Toward Mobile Authentication with Keystroke Dynamics on Mobile Phones and Tablets Konferenz

The 7th International Symposium on Security and Multimodality in Pervasive Environment (SMPE-2013), 2013.

Abstract | Links | BibTeX

Trojahn, Matthias; Ortmeier, Frank

Re-Authentication Model for Mobile Đevices Forschungsbericht

GI FG SIDAR Proceedings of the Eight GI SIG SIDAR Graduate Workshop on Reactive Security (SPRING), 2013.

Links | BibTeX

2012

Beck, Alexander; Ortmeier, Frank; Graupmann, Jens

Dynamic validity period calculation of digital certificates based on aggregated security assessment Artikel

International Journal On Cryptography And Information Security (IJCIS), 2 (4), 2012.

Abstract | Links | BibTeX

Ortmeier, Frank; Struck, Simon; Lipaczewski, Michael

Using Model-Based Analysis in Certification of Critical Software-Intensive Systems Inproceedings

Softwareengineering 2012 Workshopband, 2012, ISBN: 978-3-88579-293-2.

Abstract | Links | BibTeX

Struck, Simon

Approaches to Multi-Objective Optimization of Formal Specifications Abschlussarbeit

2012.

Links | BibTeX

Nielebock, Sebastian; Ortmeier, Frank; Schumann, Marco; Winge, André

From Discrete Event Simulation to Virtual Reality Environments Inproceedings

Ortmeier, Frank; Daniel, Peter (Hrsg.): Computer Safety, Reliability, and Security, S. 508-516, Springer Berlin Heidelberg, 2012, ISBN: 978-3-642-33674-4.

Abstract | Links | BibTeX

Trojahn, Matthias; Marcus, Philipp

Towards Coupling User and Device Locations Using Biometrical Authentication on Smart Phones Konferenz

The 7th International Conference for Internet Technology and Secured Transactions (ICITST-2012), 2012.

Abstract | Links | BibTeX

Lipaczewski, Michael; Ortmeier, Frank

Handlungsadaptive Produktionsassistenz Konferenz

Proceedings 208 - 42. Jahrestagung der Gesellschaft für Informatik e.V. (GI) (INFORMATIK 2012), 2012.

Abstract | Links | BibTeX

Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank

Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development Konferenz

IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE 2012), 2012.

Abstract | Links | BibTeX

Struck, Simon; Güdemann, Matthias; Lipaczewski, Michael; Ortmeier, Frank

Multi-Objective Optimization of Formal Specifications Konferenz

IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE 2012), 2012.

Abstract | Links | BibTeX

Augustine, Marcus; Mair, Elmar; Stelzer, Annett; Ortmeier, Frank; Burschka, Darius; Suppa, Michael

Landmark-Tree Map: a Biologically Inspired Topological Map for Long-Distance Robot Navigation Konferenz

Proceedings of the International Conference on Robotics and Biomimetics (ROBIO) 2012, IEEE, 2012.

Links | BibTeX

Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank

SAML goes Eclipse - Combining Model-Based Safety Analysis and High-Level Editor Support Konferenz

Proceedings of the 2nd International Workshop on Developing Tools as Plug-Ins (TOPI), IEEE, 2012.

Abstract | Links | BibTeX

Alatartsev, Sergey; Güdemann, Matthias; Ortmeier, Frank

Trajectory Description Conception for Industrial Robots Konferenz

7th German Conference on Robotics (ROBOTIK 2012), Munich, Germany, 2012.

Abstract | Links | BibTeX

Güdemann, Matthias; Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank

Unifying Probabilistic and Traditional Formal Model-Based Analysis Konferenz

Proceedings of 8. Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), 2012.

Abstract | Links | BibTeX

Habermaier, Axel; Güdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang; Schellhorn, Gerhard

The ForMoSA Approach to Qualitative and Quantitative Model-Based Safety Analysis (in Railway Safety, Reliability and Security: Technologies and System Engineering) Buchkapitel

Flammini, Francesco (Hrsg.): IGI Global, 2012, (to appear).

Abstract | Links | BibTeX

Trojahn, Matthias; Ortmeier, Frank

Biometric Authentication Through a Virtual Keyboard for Smartphones Artikel

International Journal of Computer Science & Information Technology (IJCSIT), 4 (5), 2012, ISSN: 09753826.

Abstract | Links | BibTeX

2011

Lipaczewski, Michael

Untersuchung von Prefetching-Strategien in Objekt-relationalen Mappern Abschlussarbeit

2011.

Links | BibTeX

Ortmeier, Frank; Lipaczewski, Michael; Güdemann, Matthias

Practical Experiences in Model-Based Safety Analysis Konferenz

proceedings: International Workshop on Digital Engineering, ACM Proceedings, 2011.

Abstract | Links | BibTeX

Güdemann, Matthias

Qualitative and Quantitative Formal Model-Based Safety Analysis Promotionsarbeit

2011.

Links | BibTeX

Güdemann, Matthias; Lipaczewski, Michael; Ortmeier, Frank

Tool Supported Model-Based Safety Analysis and Optimization Konferenz

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011), 2011.

Abstract | Links | BibTeX

Ortmeier, Frank; Güdemann, Matthias; Lipaczewski, Michael; Schumann, Marco; Eschbach, Robert

Towards Making Dependability Visual - Combining Model-Based Đesign and Virtual Realities Konferenz

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011), 2011.

Abstract | Links | BibTeX

Güdemann, Matthias; Ortmeier, Frank

Model-Based Multi-Objective Safety Optimization Konferenz

Proceedings of the 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011), 6894 , LNCS Springer, 2011, ISBN: 978-3642242694.

Abstract | Links | BibTeX

Güdemann, Matthias; Ortmeier, Frank

Towards Model-Driven Safety Analysis Inproceedings

Proceedings of the 3rd international Workshop on Dependable Control of Discrete Systems (DCDS 11), IEEE, 2011, (to appear 15.6.2011).

Abstract | Links | BibTeX

2010

Fruth, Jana; Dittmann, Jana; Ortmeier, Frank; Feigenspan, Janet

Metadaten-Modell für ein sicheres eingebettetes Datenmanagement Inproceedings

Horster, Patrick (Hrsg.): Proceedings DACH Security, 2010, ISBN: 978-3-00-031441-4.

Abstract | Links | BibTeX

Güdemann, Matthias; Ortmeier, Frank

A Framework for Qualitative and Quantitative Model-Based Safety Analysis Konferenz

Proceedings of the 12th High Assurance System Engineering Symposium (HASE 2010), 2010.

Links | BibTeX

Güdemann, Matthias; Ortmeier, Frank

Probabilistic Model-Based Safety Analysis Konferenz

Proceedings of the 8th Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), 2010.

Abstract | Links | BibTeX

Ortmeier, Frank; Güdemann, Matthias

ProMoSA - Probabilistic Models for Safety Analysis Konferenz

Proceedings of 6th Dagstuhl-Workshop MBEES 2010: Model-Based Development of Embedded Systems, 2010.

Abstract | Links | BibTeX

Güdemann, Matthias; Ortmeier, Frank

Quantitative Model-Based Safety Analysis: A Case Study Konferenz

Proceedings of 5th conference for Sicherheit, Schutz und Zuverlaessigkeit (SICHERHEIT 10), Lecture Notes in Informatics (LNI), 2010.

Links | BibTeX

Güdemann, Matthias; Kegel, Stefan; Ortmeier, Frank; Poenicke, Olaf; Richter, Klaus

SysML in Digital Engineering Konferenz

Proceedings of 1st International Workshop on Digital Engineering, 2010.

Abstract | Links | BibTeX

2009

Nafz, Florian; Ortmeier, Frank; Seebach, Hella; Steghöfer, Jan-Philipp; Reif, Wolfgang

A Generic Software Framework for Role-Based Organic Computing Systems Inproceedings

SEAMS 2009: ICSE 2009 Workshop Software Engineering for Adaptive and Self-Managing Systems, 2009.

Abstract | Links | BibTeX

Nafz, Florian; Ortmeier, Frank; Seebach, Hella; Steghöfer, Jan-Philipp; Reif, Wolfgang

A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems Konferenz

Proceedings of the 6th International Conference on Autonomic and Trusted Computing (ATC-09), 2009.

Abstract | Links | BibTeX

Vistein, Michael; Ortmeier, Frank; Reif, Wolfgang; Huuck, Ralf; Fehnker, Ansgar

An Abstract Specification Language for Static Program Analysis Konferenz

Proceedings of 4th International Workshop on System Software Verification (SSV'09), 2009.

Abstract | Links | BibTeX

Hoffmann, Alwin; Angerer, Andreas; Ortmeier, Frank; Vistein, Michael; Reif, Wolfgang

Hiding Real-Time: A new Approach for the Software Development of Industrial Robots Konferenz

Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2009.

Abstract | Links | BibTeX

Angerer, Andreas; Hoffmann, Alwin; Ortmeier, Frank; Vistein, Michael; Reif, Wolfgang

Object-Centric Programming: A New Modeling Paradigm for Robotic Applications Konferenz

Proceedings of IEEE International Conference on Automation and Logistics, 2009.

Abstract | Links | BibTeX

Angerer, Andreas; Hoffmann, Alwin; Ortmeier, Frank; Vistein, Michael

Robotik aus Redmond - eine neue Ära? Konferenz

Computer & Automation 04/2009, WEKA FACHMEDIEN GmbH, 2009.

Abstract | Links | BibTeX

2008

Güdemann, Matthias; Nafz, Florian; Ortmeier, Frank; Seebach, Hella; Reif, Wolfgang

A Specification and Construction Paradigm for Organic Computing Systems Inproceedings

Brückner, Sven; Robertson, Paul; Bellur, Umesh (Hrsg.): Proceedings of the 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems, S. 233-242, IEEE Computer Society Press (2008), 2008.

Abstract | Links | BibTeX

Güdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang

Computing Ordered Minimal Critical Sets Konferenz

Proceedings of the 7th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 08), 2008.

Abstract | Links | BibTeX

Güdemann, Matthias; Ortmeier, Frank; Reif, Wolfgang

Developing Safety-critical Mechatronical Systems Buchkapitel mit eigenem Titel

Gausemeier, Jürgen; Rammig, Franz; Schäfer, Wilhelm (Hrsg.): Self-optimizing Mechatronic Systems: Design the Future, 223 , HNI-Verlagsschriftenreihe, 2008.

Abstract | Links | BibTeX

Ortmeier, Frank; Balser, Michael; Dunets, Andriy; Bäumler, Simon

Embedding CTL* in an Extension to Interval Temporal Logic (ITL) Forschungsbericht

Univerity of Augsburg (2008-16), 2008.

Abstract | BibTeX

Nafz, Florian; Ortmeier, Frank; Seebach, Hella; Steghöfer, Jan-Philipp; Reif, Wolfgang

Implementing Organic Systems with AgentService Konferenz

Evaluation of Novel Approaches to Software Engineering ENASE 2008, Springer, 2008.

Abstract | Links | BibTeX

Nafz, Florian; Ortmeier, Frank; Seebach, Hella; Reif, Wolfgang

Organic Computing for Health Care Systems - Possible Benefits and Challenges Konferenz

HEALTHINF (2), 2008.

Links | BibTeX

Hoffmann, Alwin; Nafz, Florian; Ortmeier, Frank; Schierl, Andreas; Reif, Wolfgang

Prototyping Plant Control Software with Microsoft Robotics Studio Konferenz

Proceedings of the 3rd International Workshop on "Software Development and Integration in Robotics" (SDIR-III), IEEE International Conference on Robotics and Automation, 2008.

Abstract | Links | BibTeX

Ortmeier, Frank; Hoffmann, Alwin; Reif, Wolfgang; Huggenberger, Ulrich; Stumpfegger, Thomas

Simulations-basierte Programmierung von Industrierobotern Konferenz

Proceedings of Internationales Forum Mechatronik, 2008.

Links | BibTeX

2007

Seebach, Hella; Ortmeier, Frank; Reif, Wolfgang

Design and Construction of Organic Computing Systems Konferenz

Proceedings of the IEEE Congress on Evolutionary Computation 2007, IEEE Computer Society Press, 2007.

Abstract | Links | BibTeX

177 Einträge « 3 von 4 »