https://www.ovgu.de/search

Prof. Ortmeier

Prof. Dr. rer. nat. Frank Ortmeier

Fakultät für Informatik (FIN)
AG Software Engineering
Universitätsplatz 2, 39106, Magdeburg, Gebäude 29, Raum 404
Tel.: +49 391 67 52804
Fax: +49 391 67 12810

Prof. Dr. rer. nat. Frank Ortmeier

Fakultät für Informatik (FIN)
AG Software Engineering
Universitätsplatz 2, 39106, Magdeburg, Gebäude 29, Raum 404
Tel.: +49 391 67 52804
Fax: +49 391 67 12810
Projekte
Publikationen

2016

Anderes Material
Stess, Marek;  Schildwachter, Christian;  Mersheeva, Vera;  Ortmeier, Frank;  Wagner, Bernardo 

Multi-sensor tracking with SPRT in an autonomous vehicle
In: 2016 IEEE Intelligent Vehicles Symposium (IV): 19-22 June 2016, [Piscataway, NJ], IEEE, http://dx.doi.org/10.1109/IVS.2016.7535394 ; [Kongress: 2016 IEEE Intelligent Vehicles Symposium (IV), 19. - 22. June 2016, Gothenburg, Sweden]

Begutachteter Zeitschriftenartikel
Filax, Marco;  Gonschorek, Tim;  Hebecker, Tanja;  Lipaczewski, Michael;  Madalinski, Agnes;  Ortmeier, Frank;  Fietze, Mario;  Schumacher, Rolf 

Bringing formal methods on the rail - Modellbasierte Systemanalyse in der Sicherheitsnachweisführung
In: Der Eisenbahningenieur : EI ; internationale Fachzeitschrift für Schienenverkehr & Technik. - Hamburg : DVV Media Group, S. 24-27, 2016

Buchbeitrag
Filax, Marco;  Gonschorek, Tim;  Ortmeier, Frank 

Correct formalization of requirement specifications - a V-model for building formal models
In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings. - Cham : Springer International Publishing, S. 106-122 - (Lecture Notes in Computer Science; 9707)

Dissertation
Trojahn, Matthias;  Ortmeier, Frank [GutachterIn] 

Sichere Multi-Faktor-Authentifizierung an Smartphones mithilfe des Tippverhaltens
In: Wiesbaden: Springer, 2016; XXI, 228 Seiten: Illustrationen; 21 cm - (AutoUni-Schriftenreihe; Band 85), ISBN 978-3-658-14048-9 ; [Literaturverzeichnis: Seite [205]-228]

2015

Artikel in Kongressband
Tim Gonschorek,;  Frank Ortmeier, 

Slice or Unfold - Experiments on Checking Synchronous Models with Backwards Slicing
In: 2015

Begutachteter Zeitschriftenartikel
Alatartsev, Sergey;  Stellmacher, Sebastian;  Ortmeier, Frank 

Robotic task sequencing problem - a survey
In: Journal of intelligent and robotic systems : theory and applications, incorporating mechatronic systems engineering. - Dordrecht [u.a.] : Springer Science + Business Media B.V, Bd. 80.2015, 2, S. 279-298

Lipaczewski, Michael;  Ortmeier, Frank;  Prosvirnova, T.;  Rauzy, A.;  Struck, Simon 

Comparison of modeling formalisms for Safety Analyses - SAML and AltaRica
In: Reliability engineering & system safety. - London [u.a.] : Elsevier Science, Bd. 140.2015, S. 191-199

Michael Lipaczewski,;  Tatiana Prosvirnova,;  Frank Ortmeier,;  Antoine Rauzy,;  Simon Struck, 

Comparison of Modeling Formalisms for Safety Analyses: SAML and AltaRica
In: Reliability Engineering & System Safety, 2015

Buchbeitrag
Nykolaychuk, Mykhaylo;  Ortmeier, Frank 

Coverage Path Re-planning for Processing Faults
In: Vol. 9245, 2015, S. 358-368

2014

Abstrakt
Alatartsev, Sergey;  Belov, Anton;  Nykolaychuk, Mykhaylo;  Ortmeier, Frank 

Robot trajectory optimization for the relaxed end-effector path
In: INCINCO 2014 : abstracts. - INSTICC; 2014, Paper Nr. 230

Nielebock, Sebastian;  Gonschorek, Tim;  Ortmeier, Frank 

A graphical notation for probabilistic specifications
In: VeriSure: Verification and Assurance : 23 July 2014, Vienna, Austria ; in association with Computer-Aided Verification (CAV) 2014, part of the Vienna Summer of Logic ; programm. - Vienna

Begutachteter Zeitschriftenartikel
Hebecker, Tanja;  Buchholz, Robert;  Ortmeier, Frank 

Model-based local path planning for UAVs
In: Journal of intelligent and robotic systems : theory and applications, incorporating mechatronic systems engineering. - Dordrecht [u.a.] : Springer Science + Business Media B.V, insges. 16 S., 2014

Buchbeitrag
Alatartsev, Sergey;  Ortmeier, Frank 

Improving the sequence of robotic tasks with freedom of execution
In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2014 : 14 - 18 Sept. 2014, Chicago, Illinois. - Piscataway, NJ : IEEE, S. 4503 - 4510

Filax, Marco;  Gonschorek, Tim;  Lipaczewski, Michael;  Ortmeier, Frank 

On traceability of informal specifications for model-based verification
In: IMBSA 2014 : short & tutorial proceedings of the 4th international symposium on model based safety assessment. - Magdeburg : Univ., S. 11-18

Gonschorek, Tim;  Filax, Marco;  Lipaczewski, Michael;  Ortmeier, Frank 

VECS - verification enviroment for critical systems - tool supported formal modeling an verification
In: IMBSA 2014 : short & tutorial proceedings of the 4th international symposium on model based safety assessment. - Magdeburg : Univ., S. 63-64

Heumüller, Robert;  Lipaczewski, Michael;  Ortmeier, Frank 

A dataflow Notation for SAML - formal modeling without fearing timing constraints
In: IMBSA 2014 : short & tutorial proceedings of the 4th international symposium on model based safety assessment. - Magdeburg : Univ., S. 43-50

Lipaczewski, Michael;  Filax, Marco;  Ortmeier, Frank 

Bringing VECS to the World - challenges and accomplishments in teaching of formal model analysis
In: European Conference on Software Engineering Education - ECSEE 2014 : 27th and 28th November 2014, Seeon Monastery. - Aachen : Shaker, S. 217-228 ; Kongress: ECSEE 2014; 27 (Seeon Monastery, Germany) : 2014.11.27-28

Mäurer, Lukas;  Hebecker, Tanja;  Stolte, Torben;  Lipaczewski, Michael;  Möhrstädt, Uwe;  Ortmeier, Frank 

On bringing object-oriented software metrics into the model-based world - verifying ISO 26262 compliance in simulink
In: System analysis and modeling: models and reusability : 8th international conference, SAM 2014, Valencia, Spain, September 29 - 30, 2014 ; proceedings. - Berlin [u.a.] : Springer, S. 207-222 - (Lecture notes in computer science; 8769) ; Kongress: SAM; 8 (Valencia) : 2014.09.29-30

Nykolaychuk, Mykhaylo;  Lipaczewski, Michael;  Liebusch, Tino;  Ortmeier, Frank 

On efficiently specifying models for model checking
In: Model-based safety and assessment : 4th international symposium, IMBSA 2014, Munich, Germany, October 27 - 29, 2014 ; proceedings. - Cham [u.a.] : Springer, S. 14-27 - (Lecture Notes in Computer Science; 8822)

Herausgeberschaft
Ortmeier, Frank 

IMBSA 2014 - short & tutorial proceedings of the 4th international symposium on model based safety assessment
In: Magdeburg: Univ., 2014; 66 S.: graph. Darst., ISBN 978-3-944722-19-1 ; Kongress: International Symposium on Model-Based Safety and Assessment; 4 (Munich, Germany) : 2014.10.27-29 ; IMBSA 4 (Munich, Germany); : 2014.10.27-29

Ortmeier, Frank;  Rauzy, Antoine 

Model-based safety and assessment - 4th international symposium, IMBSA 2014, Munich, Germany, October 27 - 29, 2014 ; proceedings
In: Cham [u.a.]: Springer, 2014; Online-Ressource (X, 208 S.) - (Lecture notes in computer science; 8822), ISBN 978-3-319-12214-4 ; Kongress: IMBSA; 4 (Munich) : 2014.10.27-29 ; International Symposium on Model-Based Safety and Assessment; 4 (Munich) : 2014.10.27-29 ; [Literaturangaben]

2013

Abstrakt
Alatartsev, Sergey;  Augustine, Marcus;  Ortmeier, Frank 

Constricting insertion heuristic for traveling salesman problem with neighborhoods
In: AAAI publications. - Menlo Park, Calif : AAAI Press, 2013

Alatartsev, Sergey;  Augustine, Marcus;  Ortmeier, Frank 

Constricting Insertion Heuristic for Traveling Salesman Problem with Neighborhoods
In: Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013)

Alatartsev, Sergey;  Mersheeva, Vera;  Augustine, Marcus;  Ortmeier, Frank 

On Optimizing a Sequence of Robotic Tasks
In: Proceeding of th International Conference in Intelligent Robots and Systems (IROS)

Meyer, Torben;  Trojahn, Matthias;  Strassburger, Steffen 

Using Crowdsourced Geographic Information from OpenStreetMap for Discrete
In: 2013,

Ortmeier, Frank 

Keystroke Authentication with a Capacitive Display using Different Mobile Devices
In: 10th International Conference on Security and Cryptography (SECRYPT)

Ortmeier, Frank;  Lipaczewski 

Teaching und Training Formal Methods for Safety Critical Systems
In: Proceedings for the 39th Euromicro Conference on Iv Software Engineering and Advanced Applications (SEAA 2013)

Trojahn, Matthias;  Ortmeier, Frank 

Biometric Keystroke Authentication on Smartphones Using a Capacitive Display
In: 2. Doktorandentagung Mgdeburger-Informatik-Tage 2013 (MIT 2013)

Trojahn, Matthias;  Ortmeier, Frank 

Designing an Enterprise Security Strategy for Mobile Intranet Access
In: International Workshop on Trustworthy Computing

Trojahn, Matthias;  Pan, Lei;  Schmidt, Fabian 

Developing a Cloud Computing Based Approach for Forensic Analysis using OCR
In: 7th International Conference on IT Security Incident Management & IT Forensics

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

Emotion recognition through keystroke dynamics on touchscreen keyboards
In: ICEIS 2013. - INSTICC

Trojahn, Matthias;  Schadewald, Christian;  Ortmeier, Frank 

Keystroke authentication with a capacitive display using different mobile devices
In: SECRYPT 2013. - Reykjavik

Trojahn, Matthias;  Ortmeier, Frank 

Re-authentication model for mobile devices
In: 8. GI FG SIDAR Graduierten-Workshop über Reaktive Sicherheit, SPRING, S. 9, 2013

Trojahn, Matthias;  Ortmeier, Frank 

Re-Authentication Model for Mobile Devices
In: Proceedings of the Eight GI SIG SIDAR Graduate Workshop on Reactive Security (SPRING)

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

Emotion Recognition through Keystroke Dynamics on Touchscreen Keyboards
In: 15th International Conference on Enterprise Information Systems

Artikel in Kongressband
Ortmeier, Frank;  Struck, Simon;  Meinicke, Jens;  Quante, Jochen 

A Pragmatic Approach For Debugging Parameter-Driven Software
In: Software Engineering 2013 pages 199-212

Trojahn, Matthias;  Pan, Lei;  Ortmeier, Frank 

Developing a cloud computing based approach for forensic analysis using OCR
In: IMF 2013. - SIDAR, insges. 15 S.

Begutachteter Zeitschriftenartikel
Struck, Simon;  Güdemann, Matthias;  Ortmeier, Frank 

Efficient optimization of large probabilistic models
In: The journal of systems and software. - Amsterdam [u.a.] : Elsevier, Bd. 86.2013, 10, S. 2488-2501

Buchbeitrag
Alatartsev, Sergey;  Mersheeva, Vera;  Augustine, Marcus;  Ortmeier, Frank 

On optimizing a sequence of robotic tasks
In: 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems. - Piscataway, NJ : IEEE, insges. 7 S. ; Kongress: IROS; (Tokoyo) : 2013.11.03-07

Ortmeier, Frank;  Struck, Simon;  Meinicke, Jens 

A pragmatic approach for debugging parameter-driven software
In: Software Engineering 2013. - Bonn : Gesellschaft für Informatik, S. 199-212 - (GI-Edition) ; Kongress: Fachtagung des GI-Fachbereichs Softwaretechnik; (Aachen) : 2013.02.26-03.01

Ortmeier, Frank;  Lipaczewski, Michael 

Teaching and training formal methods for safety critical systems
In: SEAA 2013. - Piscataway, NJ : IEEE, S. 408-413

Trojahn, M.;  Ortmeier, Frank 

Keystroke authentication on mobile devices with a capacitive display
In: Proceedings of the 2nd International Conference on Pattern Recognition Applications and Methods. - [S.l.] : SCITEPRESS, S. 637-640, 2013

Trojahn, M.;  Ortmeier, Frank 

Toward mobile authentication with keystroke dynamics on mobile phones and tablets
In: 27th International Conference on Advanced Information Networking and Applications workshops (WAINA), 2013. - Piscataway, NJ : IEEE, S. 697-702

Trojahn, Matthias;  Ortmeier, Frank 

Biometric keystroke authentication on smartphones using a capacitive display
In: Tagungsband der Magdeburger-Informatik-Tage, 2. Doktorandentagung 2013 (MIT 2013). - Magdeburg, S. 23-30 ; Kongress: Doktorandentagung Magdeburger-Informatik-Tage (MIT); 2 (Magdeburg) : 2013.07.16

Trojahn, Matthias;  Ortmeier, Frank 

Designing an enterprise security strategy for mobile intranet access
In: 2013 Seventh International Conference on Software Security and Reliability Companion (SERE-C 2013). - Piscataway, NJ : IEEE, S. 8-15

Herausgeberschaft
Buchholz, Robert;  Krempl, Georg;  Krull, Claudia;  Schallehn, Eike;  Stober, Sebastian;  Ortmeier, Frank;  Zug, Sebastian 

Tagungsband der Magdeburger-Informatik-Tage, 2. Doktorandentagung 2013 (MIT 2013)
In: Magdeburg, 2013; 30 S.: Ill., graph. Darst., ISBN 9783940961969 ; Kongress: Doktorandentagung Magdeburger-Informatik-Tage (MIT); 2 (Magdeburg) : 2013.07.16

2012

Artikel in Kongressband
Alatartsev,Sergey;  Güdemann,Matthias;  Ortmeier,Frank 

Trajectory Description Conception for Industrial robots
In: 2012

Güdemann,Matthias;  Mäurer,Lukas;  Ortmeier,Frank 

On modeling probabilistic aspects of failure modes efficiently
In: 2012

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

Unifying Probabilistic and Traditional Formal Model-Based Analysis
In: 2012

Kroys,Alexander;  Ortmeier,Frank 

An approach to determine mechanical hazards in VR-models semi-automatically
In: 2012

Lipaczewski,Michael;  Ortmeier,Frank 

Handlungsadaptive Produktionsassistenz
In: 2012

Lipaczewski,Michael;  Struck,Simon;  Ortmeier,Frank 

SAML goes Eclipse - Combining Model-Based Safety Analysis and High-Level Editor Support
In: S. 67-72, 2012

Lipaczewski,Michael;  Struck,Simon;  Ortmeier,Frank 

Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development
In: 2012

Ortmeier,Frank;  Struck,Simon;  Meinicke,Jens;  Quante,Jochen 

A Pragmatic Approach For Debugging Parameter-Driven Software
In: 2012

Peilicke,Sascha;  Ortmeier,Frank 

Self-healing data structures
In: 2012

Struck, Simon;  Ortmeier, Frank;  Lipaczewski, Michael 

Using model-based analysis in certification of critical software-intensive systems
In: Issue 199, 2012

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

Multi-Objective Optimization of Formal Specifications
In: 2012

Trojahn,Matthias;  Ortmeier,Frank 

Toward mobile multi-factor authentification
In: 2012

Begutachteter Zeitschriftenartikel
Güdemann,Matthias;  Ortmeier,Frank 

Probabilistic Model-Based Safety Analysis
In: Elsevier Journal of Theoretical Computer Science on Quantitative Aspects of Programming Languages and Systems, 2012

Buchbeitrag
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. - Hershey PA : Information Science Reference, insges. 45 S., 2012

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

The ForMoSA Approach to Qualitative and Quantitative Model-Based Safety Analysis
In: 2012

Herausgeberschaft
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
In: 2012

Krempl, Georg;  Krull, Claudia;  Ortmeier, Frank;  Schallehn, Eike;  Zug, Sebastian 

Tagungsband der 1. Doktorandentagung Magdeburger-Informatik-Tage 2012 (MIT 2012)
In: Magdeburg: Univ., 2012, [Online-Ausg.]; Online-Ressource

2011

Artikel in Kongressband
Ortmeier, Frank;  Lipaczewski, Michael;  Güdemann, Matthias 

Practical experiences in model-based safety analysis
In: IWDE 2011: proceedings of the 2nd International Workshop on Digital Engineering 2011. - Magdeburg, S. 31-38

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

Tool supported model-based safety analysis and optimization
In: Proceedings // 2011 17th IEEE Pacific Rim International Symposium on Dependable Computing. - Piscataway, NJ : IEEE, S. 294-295

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

Towards making dependability visual - combining model-based design and virtual realities
In: Proceedings // 2011 17th IEEE Pacific Rim International Symposium on Dependable Computing. - Piscataway, NJ : IEEE, S. 274-275

Güdemann, Matthias;  Ortmeier, Frank 

Towards model-driven safety analysis
In: 3rd International Workshop on Dependable Control of Discrete Systems 2011, DCDS 2011, Saarbrücken, Germany, 15th-17theJune 2011, insges. 6 S. ; Kongress: DCDS; 3 (Saarbrücken, Germany) : 2011.06.15-17

Ortmeier, Frank 

Dependability in pervasive computing
In: Pervasive computing and communications design and deployment. - Hershey, Pa. : Information Science Reference, 2011

Dissertation
Güdemann, Matthias;  Ortmeier, Frank [Gutachter];  Kruse, Rudolf [Gutachter] 

Qualitative and quantitative formal model-based safety analysis - push the safety button
In: Magdeburg, Univ., Fak. für Informatik, Diss., 2011; 5, VIII, 195 S.: graph. Darst.

Originalartikel in begutachteter zeitschriftenartiger Reihe
Güdemann, Matthias;  Ortmeier, Frank 

Model-based multi-objective safety optimization
In: Computer safety, reliability, and security. - Heidelberg [u.a.] : Springer, S. 423-436, 2011 - (Lecture notes in computer science; 6894)

2010

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

SysML in digital engineering
In: IWDE 2010. - Magdeburg : Univ., S. 1-8 ; Kongress: IWDE 2010; 1 (Magdeburg) : 2010.06.14

Ortmeier, Frank;  Güdemann, Matthias 

ProMoSA - probabilistic models for safety analysis
In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI. - München : fortiss, S. 7-12, 2010

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

Metadaten-Modell für ein sicheres eingebettetes Datenmanagement
In: D-A-CH Security 2010. - [Klagenfurt] : syssec, S. 359-370 ; Kongress: Arbeitskonferenz D-A-CH Security; (Wien) : 2010.09.21-22

Güdemann, Matthias;  Ortmeier, Frank 

A framework for qualitative and quantitative model-based safety analysis
In: IEEE 12th International Symposium on High Assurance Systems Engineering. - Los Alamitos [u.a] : IEEE Computer Society, insges. 10 S., 2010 ; Kongress: HASE; 12 (San Jose, CA, USA) : 2010.11.03-04

Originalartikel in begutachteter internationaler Zeitschrift
Güdemann, Matthias;  Ortmeier, Frank 

Probabilistic model-based safety analysis
In: Electronic proceedings in theoretical computer science. - Sydney : NICTA, Bd. 28.2010, 8, S. 114-128

Originalartikel in begutachteter zeitschriftenartiger Reihe
Güdemann, Matthias;  Ortmeier, Frank 

Quantitative Model-Based Safety Analysis - a case study
In: Sicherheit 2010. - Bonn : Ges. für Informatik, S. 153-164 - (GI-Edition) ; Kongress: Konferenz Sicherheit, Schutz und Zuverlässigkeit; 5 (Berlin) : 2010.10.05-07

2009

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

Object-centric programming: A new modeling paradigm for robotic applications
In: IEEE International Conference on Automation and Logistics, 2009. - Piscataway, NJ : IEEE, S. 18-23

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

Hiding real-time - a new approach for the software development of industrial robots
In: IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009. - Piscataway, NJ : IEEE, S. 2108 - 2113

Nafz, Florian;  Ortmeier, Frank;  Seebach, Hella;  Steghoefer, Jan-Philipp;  Reif, Wolfgang 

A generic software framework for role-based Organic Computing systems
In: 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems. - Piscataway, NJ : IEEE, S. 96 - 105

Nicht begutachteter Zeitschriftenartikel
Ortmeier, Frank;  Angerer, Andreas;  Hoffmann, Alwin;  Vistein, Michael 

Robotik aus Redmond - eine neue Ära?
In: Computer & Automation. - Haar : WEKA-Fachmedien, 4, S. 1-6, 2009

Originalartikel in begutachteter internationaler Zeitschrift
Vistein, Michael;  Ortmeier, Frank;  Reif, Wolfgang;  Huuck, Ralf;  Fehnker, Ansgar 

An abstract specification language for static program analysis
In: Electronic notes in theoretical computer science. - Amsterdam [u.a.] : Elsevier Science, Bd. 254.2009, S. 181-197

Originalartikel in begutachteter zeitschriftenartiger Reihe
Nafz, Florian;  Ortmeier, Frank;  Seebach, Hella;  Steghöfer, Jan-Philipp;  Reif, Wolfgang 

A universal self-organization mechanism for role-based organic computing systems
In: Autonomic and trusted computing. - Berlin [u.a.] : Springer, S. 17-31, 2009 - (Lecture notes in computer science; 5586)

Kooperationen
  • Stadt Magdeburg
  • Eisenbahn-Bundesamt, Berlin
Profil
Computer Science is becoming more and more important for technical applications. For example, for modern cars up 45% of the development cost are software costs. Many severe catastrophes in air or space industries have their causes in software bugs (like the last Airbus crashes in Amsterdam and Puerto Plata or the loss of the Ariane 5 rocket). New innovations and functions (for example digital cameras and image processing) are often only software improvements instead of hardware upgrades. The research focus of the working group "Computer Systems in Engineering" is making advances in Computer Science available for engineering applications. Our research is characterized as very inter-disciplinary research. In most research projects, we try to find partners from industry to evaluate practicability and usefulness of new methods from early on. At the same time industrial partners can benefit from this by gaining a competitive advantage. We also made the experience, that even for fundamental research frequent exchange of experiences with users from practice is very beneficial for both sides. For students we are always offering a broad variety of jobs, bachelor or master theses. For industrial partners, we act as an interface for new technology, offer innovation management and can also arrange internships. If you share our view on Computer Science as an enabler technology for many engineering domains, are looking for a scientific partner or a topic for a thesis, I would be very happy to invite you to a personal talk.
Service
Vita
2009-2013Junior-Professor für "Computer Systems in Engineering", Otto-von Guericke-Universität Magdeburg
2006-2009Akademischer Rat am Lehrstuhl für Softwaretechnik und Programmiersprachen, Universität Augsburg
2005-2006"Studienreferendar" am Holbein-Gymnasium Augsburg
Seit 2002Mitgründer und stellvertretender Geschäftsführer der Kreativagentur 2Dsein
2001-2005Wissenschaftlicher Mitarbeiter am Lehrstuhl für Softwaretechnik und Programmiersprachen, Universität Augsburg
2000Diplomand bei der Cosyma GmbH, Friedberg
1999Werkstudent bei der Opencom GmbH, Augsburg

 
Presse

Letzte Änderung: 28.08.2017 - Ansprechpartner:

Sie können eine Nachricht versenden an: Webmaster
Sicherheitsabfrage:
Captcha
 
Lösung: