Follow
Michael Lipaczewski
Michael Lipaczewski
XITASO Engineering GmbH
Verified email at lipas.de - Homepage
Title
Cited by
Cited by
Year
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
212015
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
192012
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
192012
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
10*2012
Practical experiences in model-based safety analysis
F Ortmeier, M Lipaczewski, M Güdemann
62011
Teaching and training formal methods for safety critical systems
M Lipaczewski, F Ortmeier
2013 39th Euromicro Conference on Software Engineering and Advanced …, 2013
52013
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
52012
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
42014
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
42014
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
42014
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
42011
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
32014
Handlungsadaptive Produktionsassistenz
M Lipaczewski, F Ortmeier
Gesellschaft für Informatik eV, 2012
32012
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
12011
Towards Making Dependability Visual-Combining Model-Based Design and Virtual Realities
F Ortmeier, M Güdemann, M Lipaczewski, M Schumann, R Eschbach
12011
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
Gesellschaft für Informatik eV, 2012
2012
Untersuchung von Prefetching-Strategien in Objekt-relationalen Mappern
M Lipaczewski, IE Schallehn, DIFHP Noggler
2011
The system can't perform the operation now. Try again later.
Articles 1–20