Bibliography related
2020
-
Welcome to Formal Methods in Industry. Tiziana Margaria Joseph Kiniry
-
Characteristic invariants in Hennessy-Milner logic. Marc Jasper Maximilian Schlüter Bernhard Steffen
2019
-
The Digital Thread in Industry 4.0. Tiziana Margaria Alexander Schieweck
-
Generating Hard Benchmark Problems for Weak Bisimulation. Bernhard Steffen Marc Jasper
-
Methods, Languages and Tools for Future System Development. Bernhard Steffen
-
Large Random Forests: Optimisation for Rapid Evaluation. Frederik Gossen Bernhard Steffen
2018
-
Making Sense of Complex Applications: Constructive Design, Features, and Questions. Tiziana Margaria
-
Message from the CELT 2018 Symposium Co-Chairs. Tiziana Margaria Henry C. B. Chan
-
Predicate Abstraction and Such… Bernhard Steffen Tiziana Margaria
-
From Computational Thinking to Constructive Design with Simple Models. Tiziana Margaria
-
Constraint-Based Behavioral Consistency of Evolving Software Systems. Reiner Hähnle Bernhard Steffen
-
Active Mining of Document Type Definitions. Markus Frohme Bernhard Steffen
-
Predicate Abstraction and Such… Bernhard Steffen Tiziana Margaria
-
M3C: Modal Meta Model Checking. Bernhard Steffen Alnis Murtovi
-
Synthesizing Subtle Bugs with Known Witnesses. Marc Jasper Bernhard Steffen
-
On the Difficulty of Drawing the Line. Steve Boßelmann Stefan Naujokat Bernhard Steffen
-
Design for ‘X’ Through Model Transformation. Michael Lybecait Dawid Kopetzki Bernhard Steffen
2017
-
Generating Real-time Decision Systems with the new miAamics. Frederik Gossen Tiziana Margaria
-
The physics of software tools: SWOT analysis and vision. Bernhard Steffen
-
Property-Preserving Parallel Decomposition. Bernhard Steffen Marc Jasper
2016
-
Knowledge Management for Inclusive System Evolution. Tiziana Margaria
-
Archimedean Points: The Essence for Mastering Change. Bernhard Steffen Stefan Naujokat
-
Playing with Abstraction and Representation. Bernhard Steffen Malte Isberner Marc Jasper
-
Transactions on Foundations for Mastering Change I Bernhard Steffen
2015
-
Which IT Governance for Distributed Intelligent Cyber-Physical Systems? Tiziana Margaria
-
Software as a High-Tech Weapon in Ireland’s Strategy. Clare McInerney Tiziana Margaria
2014
-
Program verification and testing technologies. Tiziana Margaria Zongyan Qiu Hongli Yang
-
Evolving Critical Systems - Track Introduction. Mike Hinchey Tiziana Margaria
-
Scientific Workflows and XMDD. Anna-Lena Lamprecht Tiziana Margaria
-
Lessons Learned. Anna-Lena Lamprecht Alexander Wickert Tiziana Margaria
-
Learning-Based Cross-Platform Conformance Testing. Johannes Neubauer Bernhard Steffen
-
Back-To-Back Testing of Model-Based Code Generators. Sven Jörges Bernhard Steffen
-
Tutorial: Automata Learning in Practice. Falk Howar Malte Isberner Bernhard Steffen
-
Learning Extended Finite State Machines. Sofia Cassel Falk Howar Bengt Jonsson Bernhard Steffen
2013
-
Simplicity in IT: The Power of Less. Tiziana Margaria Mike Hinchey
-
Plug-and-Play Higher-Order Process Integration. Johannes Neubauer Bernhard Steffen
-
Simplicity Driven Application Development. Maik Merten Bernhard Steffen
-
Second-Order Servification. Johannes Neubauer Bernhard Steffen
2012
-
Service-Orientation: Conquering Complexity with XMDD. Tiziana Margaria Bernhard Steffen
-
Loose Programming with PROPHETS. Stefan Naujokat Anna-Lena Lamprecht Bernhard Steffen
-
Inferring Canonical Register Automata. Falk Howar Bernhard Steffen Bengt Jonsson Sofia Cassel
-
Service-Orientation: Conquering Complexity with XMDD. Tiziana Margaria Bernhard Steffen
2011
-
Formal Methods in the Era of Service-Oriented Design. Tiziana Margaria
-
Special Session on “Simplification through Change of Perspective”. Tiziana Margaria Bernhard Steffen
-
Constraint-oriented Variability Modeling. Ina Schaefer Anna-Lena Lamprecht Tiziana Margaria
-
Next Generation LearnLib. Maik Merten Bernhard Steffen Falk Howar Tiziana Margaria
-
Special Session on “Simplification through Change of Perspective”. Tiziana Margaria Bernhard Steffen
-
Next Generation LearnLib. Maik Merten Bernhard Steffen Falk Howar Tiziana Margaria
2010
-
Simplicity as a Driver for Agile Innovation. Tiziana Margaria Bernhard Steffen
-
Second-Order Value Numbering. Tiziana Margaria Bernhard Steffen Christian Topnik
-
Verified software: theories, tools and experiments. Daniel Kroening Tiziana Margaria
-
Bioinformatics: Processes and Workflows. Anna-Lena Lamprecht Tiziana Margaria Bernhard Steffen
-
Round-Trip Engineering. Bernhard Steffen Tiziana Margaria Christian Wagner 0005
-
Simplicity as a Driver for Agile Innovation. Tiziana Margaria Bernhard Steffen
-
Second-Order Value Numbering. Tiziana Margaria Bernhard Steffen Christian Topnik
-
From ZULU to RERS - Lessons Learned in the ZULU Challenge. Falk Howar Bernhard Steffen Maik Merten
-
Bioinformatics: Processes and Workflows. Anna-Lena Lamprecht Tiziana Margaria Bernhard Steffen
-
Round-Trip Engineering. Bernhard Steffen Tiziana Margaria Christian Wagner 0005
2009
-
Continuous Model-Driven Engineering. Tiziana Margaria Bernhard Steffen
-
Guest Editor’s introduction. Mike Hinchey Tiziana Margaria Bernhard Steffen
-
Dynamic testing via automata learning. Harald Raffelt Maik Merten Bernhard Steffen Tiziana Margaria
-
From Bio-jETI Process Models to Native Code. Anna-Lena Lamprecht Tiziana Margaria Bernhard Steffen
-
Business Process Modeling in the jABC. Tiziana Margaria Bernhard Steffen
-
Continuous Model-Driven Engineering. Tiziana Margaria Bernhard Steffen
-
Guest Editor’s introduction. Mike Hinchey Tiziana Margaria Bernhard Steffen
-
Dynamic testing via automata learning. Harald Raffelt Maik Merten Bernhard Steffen Tiziana Margaria
-
From Bio-jETI Process Models to Native Code. Anna-Lena Lamprecht Tiziana Margaria Bernhard Steffen
-
Keynote: Continuous Model Driven Engineering. Bernhard Steffen
-
Business Process Modeling in the jABC. Tiziana Margaria Bernhard Steffen
2008
-
Agile IT: Thinking in User-Centric Models. Tiziana Margaria Bernhard Steffen
-
High Service Availability in MaTRICS for the OCS. Markus Bajohr Tiziana Margaria
-
The SHADOWS Story on Implementation of Self-Healing Systems. Marco Bakera Tiziana Margaria
-
Agile IT: Thinking in User-Centric Models. Tiziana Margaria Bernhard Steffen
2007
-
Dynamic Testing Via Automata Learning. Harald Raffelt Bernhard Steffen Tiziana Margaria
-
The LearnLib in FMICS-jETI. Tiziana Margaria Harald Raffelt Bernhard Steffen Martin Leucker
-
Middleware: just another level for orchestration. Tiziana Margaria Bernhard Steffen
-
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. Tiziana Margaria Bernhard Steffen
-
Full Life-Cycle Support for End-to-End Processes. Bernhard Steffen Prakash Narayan
-
Dynamic Testing Via Automata Learning. Harald Raffelt Bernhard Steffen Tiziana Margaria
-
The LearnLib in FMICS-jETI. Tiziana Margaria Harald Raffelt Bernhard Steffen Martin Leucker
-
Middleware: just another level for orchestration. Tiziana Margaria Bernhard Steffen
-
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. Tiziana Margaria Bernhard Steffen
2006
-
Service Engineering: Linking Business and IT. Tiziana Margaria Bernhard Steffen
-
Special Section on “Leveraging Formal Methods”. Tiziana Margaria Bernhard Steffen
-
ViDoC - Visual Design of Optimizing Compilers. Tiziana Margaria Oliver Rüthing Bernhard Steffen
-
Continuous Engineering of Embedded systems. Bernhard Steffen Tiziana Margaria
-
Datenflussanalyse als Modelchecking im jABC. Anna-Lena Lamprecht Tiziana Margaria Bernhard Steffen
-
Service Engineering: Linking Business and IT. Tiziana Margaria Bernhard Steffen
-
Service Engineering: Linking Business and IT. Tiziana Margaria Bernhard Steffen
-
Special Section on “Leveraging Formal Methods”. Tiziana Margaria Bernhard Steffen
-
ViDoC - Visual Design of Optimizing Compilers. Tiziana Margaria Oliver Rüthing Bernhard Steffen
-
LearnLib: A Library for Automata Learning and Experimentation. Harald Raffelt Bernhard Steffen
-
Continuous Engineering of Embedded systems. Bernhard Steffen Tiziana Margaria
-
Datenflussanalyse als Modelchecking im jABC. Anna-Lena Lamprecht Tiziana Margaria Bernhard Steffen
-
Service Engineering: Linking Business and IT. Tiziana Margaria Bernhard Steffen
2005
-
Web services-based tool-integration in the ETI platform. Tiziana Margaria
-
Taming Interface Specifications. Tiziana Margaria A. Prasad Sistla Bernhard Steffen Lenore D. Zuck
-
Service-Oriented Design: The Roots. Tiziana Margaria Bernhard Steffen Manfred Reitenspieß
-
Second-Order Semantic Web. Tiziana Margaria Bernhard Steffen
-
jETI: A Tool for Remote Tool Integration. Tiziana Margaria Ralf Nagel 0001 Bernhard Steffen
-
Service-Oriented Design: The jABC Approach. Tiziana Margaria Bernhard Steffen Manfred Reitenspieß
-
Taming Interface Specifications. Tiziana Margaria A. Prasad Sistla Bernhard Steffen Lenore D. Zuck
-
Interprocedural Herbrand Equalities. Markus Müller-Olm Helmut Seidl Bernhard Steffen
-
Service-Oriented Design: The Roots. Tiziana Margaria Bernhard Steffen Manfred Reitenspieß
-
Second-Order Semantic Web. Tiziana Margaria Bernhard Steffen
-
jETI: A Tool for Remote Tool Integration. Tiziana Margaria Ralf Nagel 0001 Bernhard Steffen
-
Service-Oriented Design: The jABC Approach. Tiziana Margaria Bernhard Steffen Manfred Reitenspieß
2004
-
Behavior-based model construction. Hardi Hungar Bernhard Steffen
-
Major Threat: From Formal Methods without Tools to Tools without Formal Methods. Bernhard Steffen
2003
-
Introductory paper: scalability aspects of validation. Tiziana Margaria Wang Yi 0001
-
Components, Features, and Agents in the ABC. Tiziana Margaria
-
Test-Based Model Generation For Legacy Systems. Hardi Hungar Tiziana Margaria Bernhard Steffen
-
Domain-Specific Optimization in Automata Learning. Hardi Hungar Oliver Niese Bernhard Steffen
-
Test-Based Model Generation For Legacy Systems. Hardi Hungar Tiziana Margaria Bernhard Steffen
-
Behavior-Based Model Construction. Bernhard Steffen Hardi Hungar
2002
-
Model Generation for Legacy Systems. Hardi Hungar Tiziana Margaria Bernhard Steffen
-
Model Generation for Legacy Systems. Hardi Hungar Tiziana Margaria Bernhard Steffen
2001
-
Coarse-Granular Model Checking in Practice. Bernhard Steffen Tiziana Margaria Volker Braun
-
Coarse-Granular Model Checking in Practice. Bernhard Steffen Tiziana Margaria Volker Braun
-
Verification on Infinite Structures. Olaf Burkart Didier Caucal Faron Moller Bernhard Steffen
2000
-
Constraint-Based Inter-Procedural Analysis of Parallel Programs. Helmut Seidl Bernhard Steffen
-
Sparse Code Motion. Oliver Rüthing Jens Knoop Bernhard Steffen
1999
-
METAFrame in Practice: Design of Intelligent Network Services. Bernhard Steffen Tiziana Margaria
-
The ETI Online Service in Action. Volker Braun Jürgen Kreileder Tiziana Margaria Bernhard Steffen
-
METAFrame in Practice: Design of Intelligent Network Services. Bernhard Steffen Tiziana Margaria
-
Expansion-Based Removal of Semantic Partial Redundancies. Jens Knoop Oliver Rüthing Bernhard Steffen
-
Code Motion for Explicitly Parallel Programs. Jens Knoop Bernhard Steffen
-
Model-Checking: A Tutorial Introduction. Markus Müller-Olm David A. Schmidt Bernhard Steffen
-
The ETI Online Service in Action. Volker Braun Jürgen Kreileder Tiziana Margaria Bernhard Steffen
1998
-
Integrating Printed and Online Information. Thomas Friese Tiziana Margaria Alfred Hofmann
-
Formal Methods and Customized Visualization: A Fruitful Symbiosis. Tiziana Margaria Volker Braun
-
Basic-Block Graphs: Living Dinosaurs? Jens Knoop Dirk Koschützki Bernhard Steffen
-
Code Motion and Code Placement: Just Synonyms? Jens Knoop Oliver Rüthing Bernhard Steffen
1997
-
Editorial. Rance Cleaveland Tiziana Margaria Bernhard Steffen
-
Integrating Tools in the ETI Platform. Volker Braun Tiziana Margaria Carsten Weise
-
Interacting with ETI: A User Session. Tiziana Margaria Volker Braun Jürgen Kreileder
-
Editorial. Rance Cleaveland Tiziana Margaria Bernhard Steffen
1996
-
Method Engineering for Real-Life Concurrent Systems. Bernhard Steffen Tiziana Margaria
-
Tools Get Formal Methods into Practice. Bernhard Steffen Tiziana Margaria
-
Incremental Formalization. Bernhard Steffen Tiziana Margaria Andreas Claßen Volker Braun
-
The METAFrame’95 Environment. Bernhard Steffen Tiziana Margaria Andreas Claßen Volker Braun
-
Method Engineering for Real-Life Concurrent Systems. Bernhard Steffen Tiziana Margaria
-
Tools Get Formal Methods into Practice. Bernhard Steffen Tiziana Margaria
-
Priority as Extremal Probability. Scott A. Smolka Bernhard Steffen
-
Incremental Formalization. Bernhard Steffen Tiziana Margaria Andreas Claßen Volker Braun
-
The METAFrame’95 Environment. Bernhard Steffen Tiziana Margaria Andreas Claßen Volker Braun
-
Bisimulation Collapse and the Process Taxonomy. Olaf Burkart Didier Caucal Bernhard Steffen
1995
1994
-
A Pragmatic Approach to Software Synthesis. Burkhard Freitag Tiziana Margaria Bernhard Steffen
-
Characteristic Formulae for Processes with Divergence Bernhard Steffen Anna Ingólfsdóttir
-
Optimal Code Motion: Theory and Practice. Jens Knoop Oliver Rüthing Bernhard Steffen
-
Pushdown Processes: Parallel Composition and Model Checking. Olaf Burkart Bernhard Steffen
-
The Methodology of Modal Constraints. Kim Guldstrand Larsen Bernhard Steffen Carsten Weise
-
A Pragmatic Approach to Software Synthesis. Burkhard Freitag Tiziana Margaria Bernhard Steffen
-
Partial Dead Code Elimination. Jens Knoop Oliver Rüthing Bernhard Steffen
1993
-
Continuous Real Time Models in Practice. Carsten Weise Tiziana Margaria
-
Generating Data Flow Analysis Algorithms from Modal Specifications. Bernhard Steffen
-
Local Model Checking for Context-Free Processes. Hardi Hungar Bernhard Steffen
-
Deciding Testing Equivalence for Real-Time Processes with Dense Time. Bernhard Steffen Carsten Weise
1992
-
Faster Model Checking for the Modal Mu-Calculus. Rance Cleaveland Marion Klein Bernhard Steffen
-
The Interprocedural Coincidence Theorem. Jens Knoop Bernhard Steffen
-
Model Checking for Context-Free Processes. Olaf Burkart Bernhard Steffen
-
Lazy Code Motion. Jens Knoop Oliver Rüthing Bernhard Steffen
-
Lazy code motion (with retrospective) Jens Knoop Oliver Rüthing Bernhard Steffen
1991
-
Finite Constants: Characterizations of a New Decidable Set of Constants. Bernhard Steffen Jens Knoop
-
Computing Behavioural Relations, Logically. Rance Cleaveland Bernhard Steffen
1990
-
Compositional Minimization of Finite State Systems. Susanne Graf Bernhard Steffen
-
A Preorder for Partial Process Specifications. Rance Cleaveland Bernhard Steffen
-
Priority as Extremal Probability. Scott A. Smolka Bernhard Steffen
-
Compositional Minimization of Finite State Systems. Susanne Graf Bernhard Steffen
1989
-
The Concurrency Workbench. Rance Cleaveland Joachim Parrow Bernhard Steffen
-
Finite Constants: Characterizations of a New Decidable Set of Constants. Bernhard Steffen Jens Knoop
-
Optimal Data Flow Analysis via Observational Equivalence. Bernhard Steffen
1988
1987