Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2015Compositional analysis using component-oriented interpolation
Nguyen, Viet Yen; Bittner, Benjamin; Katoen, Joost-Pieter; Noll, Thomas
Conference Paper
2015Formal validation methods in model-based spacecraft systems engineering
Katoen, Joost-Pieter; Nguyen, Viet Yen; Noll, Thomas
Book Article
2015Incremental development of RBAC-controlled E-marking system using the B method
Al-Hadhrami, Nasser; Aziz, Benjamin; Sardesai, Shantanu; Othmane, Lotfi ben
Conference Paper
2014Spacecraft early design validation using formal methods
Bozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Katsaros, Panagiotis; Mokos, Konstantinos; Nguyen, Viet Yen; Noll, Thomas; Postma, Bart; Roveri, Marco
Journal Article
2012Automated risk-based testing by integrating safety analysis information into system behavior models
Nazier, Ramy; Bauer, Thomas
Report
2012SysML-basierte Anforderungsmodellierung - Model-checking als "Blackbox"
Keuler, Thorsten; Antonino, Pablo
Report
2011Modelling software process variability: An empirical study
Martinez-Ruiz, T.; Garcia, F.; Piattini, M.; Münch, J.
Journal Article
2011SysML-basierte Anforderungsmodellierung - Model-checking als "Blackbox"
Keuler, Thorsten; Antonino, Pablo
Conference Paper
2007Using genetic algorithms in model checking
Schwedler, Wolfgang
: Eschbach, Robert (Supervisor); Leucker, Martin (Supervisor); Beletski, Taras (Supervisor)
Thesis
2006Extended state identification and verification using a model checker
Robinson-Mallett, C.; Liggesmeyer, P.; Mücke, T.; Goltz, U.
Journal Article
2005Deviation analysis: A new use of model checking
Heimdahl, M.P.E.; Choi, Y.; Whalen, M.W.
Journal Article
2005Generating optimal distinguishing sequences with a model checker
Robinson-Mallett, C.; Liggesmeyer, P.; Mücke, T.; Goltz, U.
Journal Article
2005Generating Optimal Distinguishing Sequences with a Model Checker
Robinson-Mallett, C.; Liggesmeyer, P.; Mücke, T.; Goltz, U.
Conference Paper
2005Model checking flight guidance systems: From synchrony to asynchrony
Choi, Y.
Conference Paper
2004Combination model checking: Approach and a case study
Choi, Y.; Heimdahl, M.P.
Conference Paper
2004Model checking flight guidance systems: from synchrony to asynchrony
Choi, Y.
Conference Paper
2003Zur Konstruktion verlässlicher eingebetteter Software durch Synchrone Programmierung
Budde, R.; Poigné, A.; Sylla, K.-H.
Journal Article
2001Model checking ASM: the MDG approach
Winter, K.
Study
2001Role based specification and security analysis of cryptographic protocols using asynchronous product automata
Gürgens, S.; Ochsenschläger, P.; Rudolph, C.
Report
1999Automatically Detecting Mismatches during Component-Based and Model-Based Development
Egyed, A.; Gacek, C.
Conference Paper
1998Efficient automated testing of cryptographic protocols
Gürgens, S.; Peralta, R.
Report
1997Model checking for abstract state machines
Winter, K.
Journal Article