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
2011Addressing safety in software product line engineering using formal methods
Becker, Martin; Kemmann, Sören; Shashidhar, K.C.
Report
2011We need non-formal methods based on formal models in interaction design
Hess, Steffen; Maier, Andreas; Trapp, Marcus
Conference Paper
2011We need non-formal methods based on formal models in interaction design
Hess, Steffen; Meier, Andreas; Trapp, Marcus
Report
2010HATS - a formal software product line engineering methodology
Clarke, Dave; Diakov, Nikolay; Hähnle, Reiner; Johnsen, Einar Broch; Puebla, Germán; Weitzel, Balthasar; Wong, Peter Y. H.
Report
2009Interaction-sensitive synthesis of architectural tactics in connector designs
Keuler, Thorsten; Webel, Christian
Report
2008Constructing verifiable test oracles for a family of automatic train control systems
Kloos, Johannes; Eschbach, Robert; Zechner, Axel
Report
2008Generation and analysis of test oracles for a highly configurable train control system: A case study
Kloos, Johannes; Eschbach, Robert; Zechner, Axel
Report
2007From requirements to statistical testing of embedded systems
Bauer, Thomas; Böhr, Frank; Landmann, Dennis; Beletski, Taras; Eschbach, Robert; Poore, Jesse H.
Conference Paper
2006Modeling and execution of complex attack scenarios using interval timed colored petri nets
Dahl, O.M.; Wolthusen, S.
Conference Paper
2005Formal specification and verification. Structures and techniques
Eschbach, R.
Dissertation
2005The ForPics Process
Denger, C.; Olsson, T.; Kerkow, D.; Koenig, T.
Report
2005A literature survey: On the integrated use of formal and informal verification techniques for high quality requirements
Choi, Y.
Report
2003A model-independent security architecture for distributed heterogeneous systems
Wolthusen, S.
: Buchmann, J. (Prüfer); Stephan, W. (Prüfer)
Dissertation
20005th International ERCIM Workshop on Formal Methods for Industrial Critical Systems 2000
: Gnesi, S.; Schieferdecker, I.; Rennoch, A.
Conference Proceedings
1998Dimensions and dichotomy in metamodeling
Geisler, R.; Klar, M.; Pons, C.
Conference Paper
1998A reference model for model-based configuration of telecooperation systems
Boehm, A.; Orth, W.; Rahmer, J.; Schmitz, R.; Uellner, S.
Conference Paper
1998Specifying safety-critical embedded systems with statecharts and Z
Büssow, R.; Geisler, R.; Klar, M.
Conference Paper
1997Model checking for abstract state machines
Winter, K.
Journal Article
1995On the application of markovian object nets to integrated qualitative and quantitative software analysis
Wikarski, D.; Heiner, M.
Book
1994An approach to Petri net based integration of qualitative and quantitative analysis of parallel systems
Wikarski, D.; Heiner, M.
Book
1994A Petri net based methodology to integrate qualitative and quantitative analysis
Wikarski, D.
Journal Article
1993A Petri Net based tool kit to integrate qualitative and quantitative analysis
Wikarski, D.; Heiner, M.; Ventre, G.
Conference Paper