Michael Lipaczewski
Michael Lipaczewski
XITASO Engineering GmbH
E-mail megerősítve itt: lipas.de - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
192015
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
182012
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
182012
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
8*2012
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
62012
Practical experiences in model-based safety analysis
F Ortmeier, M Lipaczewski, M Güdemann
52011
On efficiently specifying models for model checking
M Nykolaychuk, M Lipaczewski, T Liebusch, F Ortmeier
International Symposium on Model-Based Safety and Assessmemt, 14-27, 2014
42014
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 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
Teaching and training formal methods for safety critical systems
M Lipaczewski, F Ortmeier
2013 39th Euromicro Conference on Software Engineering and Advanced …, 2013
32013
Handlungsadaptive Produktionsassistenz
M Lipaczewski, F Ortmeier
INFORMATIK 2012, 2012
32012
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
International Conference on System Analysis and Modeling, 207-222, 2014
22014
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
22011
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
Software Engineering 2012. Workshopband, 2012
2012
Untersuchung von Prefetching-Strategien in Objekt-relationalen Mappern
M Lipaczewski, IE Schallehn, DIFHP Noggler
2011
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20