| Comparison of modeling formalisms for safety analyses: SAML and AltaRica M Lipaczewski, F Ortmeier, T Prosvirnova, A Rauzy, S Struck Reliability Engineering & System Safety 140, 191-199, 2015 | 20 | 2015 |
| Using tool-supported model based safety analysis--Progress and experiences in SAML development M Lipaczewski, S Struck, F Ortmeier 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering …, 2012 | 20 | 2012 |
| SAML goes eclipse—Combining model-based safety analysis and high-level editor support M Lipaczewski, S Struck, F Ortmeier 2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI), 67-72, 2012 | 19 | 2012 |
| Unifying Probabilistic and Traditional Formal Model Based Analysis M Güdemann, M Lipaczewski, S Struck, F Ortmeier 8. Dagstuhl-Workshop MBEES 2012-Model-Based Development of Embedded Systems, 2012 | 11* | 2012 |
| Practical experiences in model-based safety analysis F Ortmeier, M Lipaczewski, M Güdemann | 6 | 2011 |
| On Bringing Object-Oriented Software Metrics into the Model-Based World–Verifying ISO 26262 Compliance in Simulink L Mäurer, T Hebecker, T Stolte, M Lipaczewski, U Möhrstädt, F Ortmeier System Analysis and Modeling: Models and Reusability: 8th International …, 2014 | 5 | 2014 |
| Teaching and training formal methods for safety critical systems M Lipaczewski, F Ortmeier 2013 39th Euromicro Conference on Software Engineering and Advanced …, 2013 | 5 | 2013 |
| Multi-objective optimization of formal specifications S Struck, M Lipaczewski, F Ortmeier, M Güdemann 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering …, 2012 | 5 | 2012 |
| VECS-verification enviroment for critical systems-tool supported formal modeling an verification T Gonschorek, M Filax, M Lipaczewski, F Ortmeier IMBSA 2014: short & tutorial proceedings of the 4th international symposium …, 2014 | 4 | 2014 |
| Tool supported model-based safety analysis and optimization M Gudemann, M Lipaczewski, F Ortmeier 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing …, 2011 | 4 | 2011 |
| On Traceability of Informal Specifications for Model-Based Verification M Filax, T Gonschorek, M Lipaczewski, F Ortmeier 4th International Symposium on Model Based Safety Assessment, 11-18, 2014 | 3 | 2014 |
| Handlungsadaptive Produktionsassistenz M Lipaczewski, F Ortmeier Gesellschaft für Informatik eV, 2012 | 3 | 2012 |
| On efficiently specifying models for model checking M Nykolaychuk, M Lipaczewski, T Liebusch, F Ortmeier Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014 …, 2014 | 2 | 2014 |
| Towards Making Dependability Visual--Combining Model-Based Design and Virtual Realities M Gudemann, M Lipaczewski, F Ortmeier, M Schumann, R Eschbach 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing …, 2011 | 1 | 2011 |
| Towards Making Dependability Visual-Combining Model-Based Design and Virtual Realities F Ortmeier, M Güdemann, M Lipaczewski, M Schumann, R Eschbach | 1 | 2011 |
| Bringing VECS to the World - Challenges and Accomplishments in Teaching of Formal Model Analysis M Lipaczewski, M Filax, F Ortmeier 1st European Conference of Software Engineering Education (ECSEE), 217-228, 2014 | | 2014 |
| A Dataflow Notation for SAML - Formal Modeling Without Fearing Timing Constraints R Heumüller, M Lipaczewski, F Ortmeier 4th International Symposium on Model Based Safety Assessment, 43-50, 2014 | | 2014 |
| Teaching and Training Formal Methods for Safety Critical Systems F Ortmeier, M Lipaczewski | | 2013 |
| Using model-based analysis in certification of critical software-intensive systems F Ortmeier, S Struck, M Lipaczewski Software Engineering 2012. Workshopband, 155-161, 2012 | | 2012 |
| Untersuchung von Prefetching-Strategien in Objekt-relationalen Mappern M Lipaczewski, IE Schallehn, DIFHP Noggler | | 2011 |
Frank OrtmeierProfessor for Computer Systems in Engineering在 ovgu.de 的电子邮件经过验证
