Bernhard Steffen

432 papers A* 16A 22B 54C 33Misc 2Journal 101Unranked 141

Year	Rank	Type	Title / Venue / Authors
2026	—	`ed.`	Bridging the Gap Between AI and Reality - Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Selected Papers AISoLA Bernhard Steffen
2026	—	`ed.`	Bridging the Gap Between AI and Reality - Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, Rhodes, Greece, November 1-5, 2025, Selected Papers AISoLA Bernhard Steffen
2026	C	`ed.`	Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings FMICS Anne Remke, Bernhard Steffen
2026	—	`book`	Let's Talk AI - Interdisciplinarity Is a Must Let's Talk AI Barbara Steffen, Edward A. Lee, Bernhard Steffen
2026	—	`ch.`	Let's Talk AI with Computer Science Expert Bernhard Steffen. Let's Talk AI Bernhard Steffen, Barbara Steffen
2026	—	`ch.`	Let's Talk AI: Impressions and Thoughts After 30 Interviews. Let's Talk AI Barbara Steffen, Edward A. Lee, Bernhard Steffen
2025	J	`jnl`	AI-Assisted Modeling: DSL-Driven AI Interactions. CoRR Steven Smyth, Daniel Busch, Moez Ben Haj Hmida, Edward A. Lee, Bernhard Steffen
2025	—	`conf`	All About Time. Real Time and Such Susanne Graf, Paul Pettersson, Bernhard Steffen
2025	—	`conf`	An Efficient Compilation-Based Approach to Explaining Random Forests Through Decision Trees. ICAART (2) Alnis Murtovi, Maximilian Schlüter, Bernhard Steffen
2025	—	`ed.`	Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers AISoLA (Selected Papers) Bernhard Steffen
2025	—	`ed.`	Bridging the Gap Between AI and Reality - Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings AISoLA Bernhard Steffen
2025	—	`conf`	Computing Inflated Explanations for Boosted Trees: A Compilation-Based Approach. The Combined Power of Research, Education, and Dissemination Alnis Murtovi, Maximilian Schlüter, Bernhard Steffen
2025	J	`jnl`	It's Not the AI - It's Each of Us! Ten Commandments for the Wise & Responsible Use of AI. CoRR Barbara Steffen, Edward A. Lee, Moshe Y. Vardi, Bernhard Steffen
2025	J	`jnl`	LLM-based code generation and system migration in language-driven engineering. Int. J. Softw. Tools Technol. Transf. Daniel Busch, Alexander Bainczyk, Steven Smyth, Bernhard Steffen
2025	—	`conf`	LearnLib: 10 years later. CAV (4) Markus Frohme, Falk Howar, Bernhard Steffen
2025	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation. Application Areas - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V ISoLA (5) Tiziana Margaria, Bernhard Steffen
2025	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I ISoLA (1) Tiziana Margaria, Bernhard Steffen
2025	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II ISoLA (2) Tiziana Margaria, Bernhard Steffen
2025	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV ISoLA (4) Tiziana Margaria, Bernhard Steffen
2025	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III ISoLA (3) Tiziana Margaria, Bernhard Steffen
2025	—	`ed.`	Real Time and Such - Essays Dedicated to Wang Yi to Celebrate His Scientific Career Real Time and Such Susanne Graf, Paul Pettersson, Bernhard Steffen
2025	—	`conf`	The Combined Power of Research, Education and Dissemination. The Combined Power of Research, Education, and Dissemination Bernhard Steffen, Mike Hinchey
2025	—	`ed.`	The Combined Power of Research, Education, and Dissemination - Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday The Combined Power of Research, Education, and Dissemination Mike Hinchey, Bernhard Steffen
2025	—	`conf`	Voting-Based Shortcuts through Random Forests for Obtaining Explainable Models. Real Time and Such Alnis Murtovi, Maximilian Schlüter, Bernhard Steffen
2024	C	`conf`	Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks. TAP Maximilian Schlüter, Bernhard Steffen
2024	—	`ed.`	Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings AISoLA Bernhard Steffen
2024	—	`conf`	Code-Centric Code Generation. ISoLA (1) Daniel Busch, Steven Smyth, Tim Tegeler, Bernhard Steffen
2024	A	`conf`	Enhancing Performance Through Control-Flow Unmerging and Loop Unrolling on GPUs. CGO Alnis Murtovi, Giorgis Georgakoudis, Konstantinos Parasyris, Chunhua Liao, Ignacio Laguna, Bernhard Steffen
2024	J	`jnl`	Language-Driven Engineering An Interdisciplinary Software Development Paradigm. CoRR Bernhard Steffen, Tiziana Margaria, Alexander Bainczyk, Steve Boßelmann, Daniel Busch, Marc Driessen, Markus Frohme, Falk Howar, Sven Jörges, Marvin Krause, Marco Krumrey, Anna-Lena Lamprecht, Michael Lybecait, Alnis Murtovi, Stefan Naujokat, Johannes Neubauer, Alexander Schieweck, Jonas Schürmann, Steven Smyth, Barbara Steffen, Fabian Storek, Tim Tegeler, Sebastian Teumert, Dominic Wirkner, Philip Zweihoff
2024	—	`conf`	Malwa: Learnability by Design. Principles of Verification (3) Marco Krumrey, Alexander Bainczyk, Falk Howar, Bernhard Steffen
2024	J	`jnl`	Rance Cleaveland: a life for formal methods. Int. J. Softw. Tools Technol. Transf. Bernhard Steffen
2024	J	`jnl`	Towards Test-Driven Conflict Resolution. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Jonas Schürmann, Bernhard Steffen
2023	J	`jnl`	Algebraic aggregation of random forests: towards explainability and rapid evaluation. Int. J. Softw. Tools Technol. Transf. Frederik Gossen, Bernhard Steffen
2023	—	`conf`	ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages. AISoLA Daniel Busch, Gerrit Nolte, Alexander Bainczyk, Bernhard Steffen
2023	J	`jnl`	Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn). Int. J. Softw. Tools Technol. Transf. Nils Jansen, Gerrit Nolte, Bernhard Steffen
2023	J	`jnl`	Forest GUMP: a tool for verification and explanation. Int. J. Softw. Tools Technol. Transf. Alnis Murtovi, Alexander Bainczyk, Gerrit Nolte, Maximilian Schlüter, Bernhard Steffen
2023	J	`jnl`	The Power of Typed Affine Decision Structures: A Case Study. CoRR Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi, Bernhard Steffen
2023	J	`jnl`	The power of typed affine decision structures: a case study. Int. J. Softw. Tools Technol. Transf. Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi, Bernhard Steffen
2023	—	`conf`	Towards LLM-Based System Migration in Language-Driven Engineering. ECBS Daniel Busch, Alexander Bainczyk, Bernhard Steffen
2023	J	`jnl`	Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations. CoRR Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi, Bernhard Steffen
2023	J	`jnl`	Towards rigorous understanding of neural networks via semantics-preserving transformations. Int. J. Softw. Tools Technol. Transf. Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi, Bernhard Steffen
2022	—	`conf`	Active Automata Learning as Black-Box Search and Lazy Partition Refinement. A Journey from Process Algebra via Timed Automata to Model Learning Falk Howar, Bernhard Steffen
2022	—	`conf`	Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering. ISoLA (2) Alexander Bainczyk, Daniel Busch, Marco Krumrey, Daniel Sami Mitwalli, Jonas Schürmann, Joel Tagoukeng Dongmo, Bernhard Steffen
2022	—	`conf`	DIME Days (ISoLA 2022 Track Introduction). ISoLA (2) Tiziana Margaria, Dominic Wirkner, Daniel Busch, Alexander Bainczyk, Tim Tegeler, Bernhard Steffen
2022	—	`conf`	Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction). ISoLA (2) Klaus Havelund, Tim Tegeler, Steven Smyth, Bernhard Steffen
2022	—	`conf`	Executable Documentation: From Documentation Languages to Purpose-Specific Languages. ISoLA (2) Tim Tegeler, Steve Boßelmann, Jonas Schürmann, Steven Smyth, Sebastian Teumert, Bernhard Steffen
2022	—	`conf`	Executable Documentation: Test-First in Action. ISoLA (2) Steven Smyth, Jette Petzold, Jonas Schürmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden, Bernhard Steffen
2022	—	`conf`	Forest GUMP: A Tool for Explanation. TACAS (2) Alnis Murtovi, Alexander Bainczyk, Bernhard Steffen
2022	—	`conf`	Formal Methods Meet Machine Learning (F3ML). ISoLA (3) Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen
2022	—	`conf`	From Languages to Behaviors and Back. A Journey from Process Algebra via Timed Automata to Model Learning Markus Frohme, Bernhard Steffen
2022	J	`jnl`	Lazy Merging: From a Potential of Universes to a Universe of Potentials. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Jonas Schürmann, Bernhard Steffen
2022	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III ISoLA (3) Tiziana Margaria, Bernhard Steffen
2022	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV ISoLA (4) Tiziana Margaria, Bernhard Steffen
2022	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II ISoLA (2) Tiziana Margaria, Bernhard Steffen
2022	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I ISoLA (1) Tiziana Margaria, Bernhard Steffen
2022	—	`conf`	Lifelong Learning of Reactive Systems in Practice. The Logic of Software. A Tasting Menu of Formal Methods Alexander Bainczyk, Bernhard Steffen, Falk Howar
2022	J	`jnl`	SOS-Supported Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Sebastian Teumert, Marvin Krause, Bernhard Steffen
2022	—	`conf`	Towards Continuous Quality Control in the Context of Language-Driven Engineering. ISoLA (2) Alexander Bainczyk, Steve Boßelmann, Marvin Krause, Marco Krumrey, Dominic Wirkner, Bernhard Steffen
2021	—	`conf`	A Context-Free Symbiosis of Runtime Verification and Automata Learning. Formal Methods in Outer Space Markus Frohme, Bernhard Steffen
2021	J	`jnl`	A Generative Approach for User-Centered, Collaborative, Domain-Specific Modeling Environments. CoRR Philip Zweihoff, Bernhard Steffen
2021	C	`conf`	Agile Business Engineering: From Transformation Towards ContinuousInnovation. ISoLA Barbara Steffen, Falk Howar, Tim Tegeler, Bernhard Steffen
2021	C	`conf`	Aligned, Purpose-Driven Cooperation: The Future Way of System Development. ISoLA Philip Zweihoff, Tim Tegeler, Jonas Schürmann, Alexander Bainczyk, Bernhard Steffen
2021	C	`conf`	An Introduction to Graphical Modeling of CI/CD Workflows with Rig. ISoLA Tim Tegeler, Sebastian Teumert, Jonas Schürmann, Alexander Bainczyk, Daniel Busch, Bernhard Steffen
2021	C	`conf`	Asking Why. ISoLA Barbara Steffen, Bernhard Steffen
2021	J	`jnl`	Compositional learning of mutually recursive procedural systems. Int. J. Softw. Tools Technol. Transf. Markus Frohme, Bernhard Steffen
2021	J	`jnl`	Formal Methods Boost Experimental Performance for Explainable AI. IT Prof. Frederik Gossen, Tiziana Margaria, Bernhard Steffen
2021	B	`conf`	Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper). VMCAI Bernhard Steffen, Alnis Murtovi
2021	C	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings ISoLA Tiziana Margaria, Bernhard Steffen
2021	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV ISoLA (4) Tiziana Margaria, Bernhard Steffen
2021	—	`ed.`	Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday Model Checking, Synthesis, and Learning Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
2021	—	`conf`	Model Checking, Synthesis, and Learning. Model Checking, Synthesis, and Learning Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
2021	—	`conf`	Never-Stop Context-Free Learning. Model Checking, Synthesis, and Learning Markus Frohme, Bernhard Steffen
2021	C	`conf`	Programming - What is Next? ISoLA Klaus Havelund, Bernhard Steffen
2021	C	`conf`	Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition. ISoLA Philip Zweihoff, Bernhard Steffen
2021	J	`jnl`	TOOLympics II: competitions on formal methods. Int. J. Softw. Tools Technol. Transf. Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
2021	J	`jnl`	The RERS challenge: towards controllable and scalable benchmark synthesis. Int. J. Softw. Tools Technol. Transf. Falk Howar, Marc Jasper, Malte Mues, David Schmidt, Bernhard Steffen
2021	J	`jnl`	Towards language-to-language transformation. Int. J. Softw. Tools Technol. Transf. Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, Bernhard Steffen
2020	J	`jnl`	Characteristic invariants in Hennessy-Milner logic. Acta Informatica Marc Jasper, Maximilian Schlüter, Bernhard Steffen
2020	—	`conf`	Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees. ISoLA (4) Marc Jasper, Maximilian Schlüter, David Schmidt, Bernhard Steffen
2020	—	`conf`	Guaranteeing Type Consistency in Collective Adaptive Systems. ISoLA (2) Jonas Schürmann, Tim Tegeler, Bernhard Steffen
2020	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III ISoLA (3) Tiziana Margaria, Bernhard Steffen
2020	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II ISoLA (2) Tiziana Margaria, Bernhard Steffen
2020	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I ISoLA (1) Tiziana Margaria, Bernhard Steffen
2020	J	`jnl`	The Automatic Generation of an Efficient Floor Field for CA Simulations in Crowd Management. J. Cell. Autom. Mohcine Chraibi, Bernhard Steffen, Jun Zhang
2020	J	`jnl`	Towards Explainability in Machine Learning: The Formal Methods Way. IT Prof. Frederik Gossen, Tiziana Margaria, Bernhard Steffen
2020	—	`ch.`	eXtreme Model-Driven Development (XMDD) Technologies as a Hands-On Approach to Software Development Without Coding. Encyclopedia of Education and Information Technologies Tiziana Margaria, Bernhard Steffen
2019	—	`ch.`	A Model-Driven and Generative Approach to Holistic Security. Resilience of Cyber-Physical Systems Frederik Gossen, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen
2019	J	`jnl`	ADD-Lib: Decision Diagrams in Practice. CoRR Frederik Gossen, Alnis Murtovi, Philip Zweihoff, Bernhard Steffen
2019	J	`jnl`	Aggressive Aggregation: a New Paradigm for Program Optimization. CoRR Frederik Gossen, Marc Jasper, Alnis Murtovi, Bernhard Steffen
2019	—	`book`	Computing and Software Science - State of the Art and Perspectives Computing and Software Science Bernhard Steffen, Gerhard J. Woeginger
2019	—	`conf`	Generating Hard Benchmark Problems for Weak Bisimulation. From Reactive Systems to Cyber-Physical Systems Bernhard Steffen, Marc Jasper
2019	—	`ch.`	Language-Driven Engineering: From General-Purpose to Purpose-Specific Languages. Computing and Software Science Bernhard Steffen, Frederik Gossen, Stefan Naujokat, Tiziana Margaria
2019	J	`jnl`	Large Random Forests: Optimisation for Rapid Evaluation. CoRR Frederik Gossen, Bernhard Steffen
2019	—	`ch.`	Methods, Languages and Tools for Future System Development. Computing and Software Science Bernhard Steffen
2019	—	`conf`	Product Line Verification via Modal Meta Model Checking. From Software Engineering to Formal Methods and Tools, and Back Tim Tegeler, Alnis Murtovi, Markus Frohme, Bernhard Steffen
2019	B	`conf`	Pyro: Generating Domain-Specific Collaborative Online Modeling Environments. FASE Philip Zweihoff, Stefan Naujokat, Bernhard Steffen
2019	—	`conf`	RERS 2019: Combining Synthesis with Real-World Models. TACAS (3) Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlüter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager
2019	—	`conf`	TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada
2019	—	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III TACAS (3) Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
2018	—	`conf`	A Tutorial Introduction to Graphical Modeling and Metamodeling with CINCO. ISoLA (1) Michael Lybecait, Dawid Kopetzki, Philip Zweihoff, Annika Fuhge, Stefan Naujokat, Bernhard Steffen
2018	—	`conf`	Active Automata Learning in Practice - An Annotated Bibliography of the Years 2011 to 2016. Machine Learning for Dynamic Software Analysis Falk Howar, Bernhard Steffen
2018	C	`conf`	Active Mining of Document Type Definitions. FMICS Markus Frohme, Bernhard Steffen
2018	J	`jnl`	CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. Int. J. Softw. Tools Technol. Transf. Stefan Naujokat, Michael Lybecait, Dawid Kopetzki, Bernhard Steffen
2018	—	`conf`	Constraint-Based Behavioral Consistency of Evolving Software Systems. Machine Learning for Dynamic Software Analysis Reiner Hähnle, Bernhard Steffen
2018	—	`conf`	DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering. ISoLA (1) Frederik Gossen, Tiziana Margaria, Alnis Murtovi, Stefan Naujokat, Bernhard Steffen
2018	—	`conf`	Design for 'X' Through Model Transformation. ISoLA (1) Michael Lybecait, Dawid Kopetzki, Bernhard Steffen
2018	—	`conf`	Extending Automata Learning to Extended Finite State Machines. Machine Learning for Dynamic Software Analysis Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen
2018	J	`jnl`	High-level frameworks for the specification and verification of scheduling problems. Int. J. Softw. Tools Technol. Transf. Mounir Chadli, Jin Hyun Kim, Kim G. Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, Louis-Marie Traonouez
2018	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III ISoLA (3) Tiziana Margaria, Bernhard Steffen
2018	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV ISoLA (4) Tiziana Margaria, Bernhard Steffen
2018	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I ISoLA (1) Tiziana Margaria, Bernhard Steffen
2018	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II ISoLA (2) Tiziana Margaria, Bernhard Steffen
2018	C	`conf`	M3C: Modal Meta Model Checking. FMICS Bernhard Steffen, Alnis Murtovi
2018	—	`book`	Mathematical Foundations of Advanced Informatics, Volume 1: Inductive Approaches. Bernhard Steffen, Oliver Rüthing, Michael Huth
2018	—	`conf`	On the Difficulty of Drawing the Line. ISoLA (1) Steve Boßelmann, Stefan Naujokat, Bernhard Steffen
2018	C	`conf`	Predicate Abstraction and Such... FMICS Bernhard Steffen, Tiziana Margaria
2018	—	`conf`	RERS 2018: CTL, LTL, and Reachability. ISoLA (2) Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar
2018	—	`conf`	Synthesizing Subtle Bugs with Known Witnesses. ISoLA (2) Marc Jasper, Bernhard Steffen
2018	—	`conf`	The Automatic Generation of an Efficient Floor Field for CA Simulations in Crowd Management. ACRI Mohcine Chraibi, Bernhard Steffen
2018	—	`conf`	Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction). ISoLA (1) Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen
2017	—	`conf`	Analyzing ambient assisted living solutions: A research perspective. DTIS Ashalatha Kunnappilly, Axel Legay, Tiziana Margaria, Cristina Cerschi Seceleanu, Bernhard Steffen, Louis-Marie Traonouez
2017	—	`conf`	Model-Based Testing Without Models: The TodoMVC Case Study. ModelEd, TestEd, TrustEd Alexander Bainczyk, Alexander Schieweck, Bernhard Steffen, Falk Howar
2017	—	`conf`	Property-Preserving Generation of Tailored Benchmark Petri Nets. ACSD Bernhard Steffen, Marc Jasper, Jeroen Meijer, Jaco van de Pol
2017	—	`conf`	Property-Preserving Parallel Decomposition. Models, Algorithms, Logics and Tools Bernhard Steffen, Marc Jasper
2017	B	`ed.`	SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings SOFSEM Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria
2017	—	`conf`	Securing C/C++ applications with a SEcube™-based model-driven approach. DTIS Frederik Gossen, Johannes Neubauer, Bernhard Steffen
2017	—	`conf`	The RERS 2017 challenge and workshop (invited paper). SPIN Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, Stephen F. Siegel
2017	J	`jnl`	The physics of software tools: SWOT analysis and vision. Int. J. Softw. Tools Technol. Transf. Bernhard Steffen
2016	—	`conf`	A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen
2016	—	`conf`	ALEX: Mixed-Mode Learning of Web Applications at Ease. ISoLA (2) Alexander Bainczyk, Alexander Schieweck, Malte Isberner, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen
2016	J	`jnl`	Active learning for extended finite state machines. Formal Aspects Comput. Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen
2016	J	`jnl`	Archimedean Points: The Essence for Mastering Change. LNCS Trans. Found. Mastering Chang. Bernhard Steffen, Stefan Naujokat
2016	—	`conf`	DIME: A Programming-Less Modeling Environment for Web Applications. ISoLA (2) Steve Boßelmann, Markus Frohme, Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, Johannes Neubauer, Dominic Wirkner, Philip Zweihoff, Bernhard Steffen
2016	J	`jnl`	Introduction to the First Issue of FoMaC. LNCS Trans. Found. Mastering Chang. Bernhard Steffen
2016	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II ISoLA (2) Tiziana Margaria, Bernhard Steffen
2016	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I ISoLA (1) Tiziana Margaria, Bernhard Steffen
2016	—	`conf`	Meta-Level Reuse for Mastering Domain Specialization. ISoLA (2) Stefan Naujokat, Johannes Neubauer, Tiziana Margaria, Bernhard Steffen
2016	J	`jnl`	Multiscale Simulation of Pedestrians for Efficient Predictive Modeling in Large Events. J. Cell. Autom. Mohcine Chraibi, Bernhard Steffen
2016	—	`conf`	Playing with Abstraction and Representation. Semantics, Logics, and Calculi Bernhard Steffen, Malte Isberner, Marc Jasper
2016	—	`conf`	RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. ISoLA (2) Maren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol
2016	J	`jnl`	Scientific workflows with the jABC framework - A review after a decade in the field. Int. J. Softw. Tools Technol. Transf. Anna-Lena Lamprecht, Bernhard Steffen, Tiziana Margaria
2016	—	`conf`	Synthesis from a Practical Perspective. ISoLA (1) Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Stefan Naujokat, Bernhard Steffen
2016	—	`conf`	Towards a Unified View of Modeling and Programming (Track Summary). ISoLA (2) Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen
2016	—	`ed.`	Transactions on Foundations for Mastering Change I Trans. Found. Mastering Chang. Bernhard Steffen
2015	J	`jnl`	A succinct canonical register automaton model. J. Log. Algebraic Methods Program. Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen
2015	B	`conf`	LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning. RV Malte Isberner, Bernhard Steffen, Falk Howar
2015	B	`conf`	Rigorous Examination of Reactive Systems: The RERS Challenge 2015. RV Maren Geske, Malte Isberner, Bernhard Steffen
2015	—	`conf`	The Open-Source LearnLib - A Framework for Active Automata Learning. CAV (1) Malte Isberner, Falk Howar, Bernhard Steffen
2015	B	`conf`	User-level synthesis: treating product lines as systems of constraints. SPLC Bernhard Steffen, Anna-Lena Lamprecht, Tiziana Margaria
2014	—	`conf`	An Abstract Framework for Counterexample Analysis in Active Automata Learning. ICGI Malte Isberner, Bernhard Steffen
2014	—	`conf`	Back-To-Back Testing of Model-Based Code Generators. ISoLA (1) Sven Jörges, Bernhard Steffen
2014	—	`conf`	Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. ISoLA (1) Stefan Naujokat, Louis-Marie Traonouez, Malte Isberner, Bernhard Steffen, Axel Legay
2014	B	`conf`	Learning Extended Finite State Machines. SEFM Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen
2014	—	`conf`	Learning Models for Verification and Testing - Special Track at ISoLA 2014 Track Introduction. ISoLA (1) Falk Howar, Bernhard Steffen
2014	J	`jnl`	Learning register automata: from languages to program structures. Mach. Learn. Malte Isberner, Falk Howar, Bernhard Steffen
2014	—	`conf`	Learning-Based Cross-Platform Conformance Testing. ISoLA (Revised Selected Papers) Johannes Neubauer, Bernhard Steffen
2014	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II ISoLA (2) Tiziana Margaria, Bernhard Steffen
2014	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I ISoLA (1) Tiziana Margaria, Bernhard Steffen
2014	—	`ch.`	Modeling and Execution of Scientific Workflows with the jABC Framework. Process Design for Natural Scientists Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen
2014	—	`conf`	Multiscale Simulation of Pedestrians for Faster Than Real Time Modeling in Large Events. ACRI Bernhard Steffen, Mohcine Chraibi
2014	J	`jnl`	Property-driven benchmark generation: synthesizing programs of realistic structure. Int. J. Softw. Tools Technol. Transf. Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske
2014	—	`conf`	Prototype-Driven Development of Web Applications with DyWA. ISoLA (1) Johannes Neubauer, Markus Frohme, Bernhard Steffen, Tiziana Margaria
2014	J	`jnl`	Rigorous examination of reactive systems - The RERS challenges 2012 and 2013. Int. J. Softw. Tools Technol. Transf. Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, Corina S. Pasareanu
2014	J	`jnl`	Risk-based testing via active continuous quality control. Int. J. Softw. Tools Technol. Transf. Johannes Neubauer, Stephan Windmüller, Bernhard Steffen
2014	J	`jnl`	Simplicity-first model-based plug-in development. Softw. Pract. Exp. Stefan Naujokat, Johannes Neubauer, Anna-Lena Lamprecht, Bernhard Steffen, Sven Jörges, Tiziana Margaria
2014	J	`jnl`	Tailored generation of concurrent benchmarks. Int. J. Softw. Tools Technol. Transf. Bernhard Steffen, Falk Howar, Malte Isberner, Stefan Naujokat, Tiziana Margaria
2014	B	`conf`	The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. RV Malte Isberner, Falk Howar, Bernhard Steffen
2014	—	`conf`	Tutorial: Automata Learning in Practice. ISoLA (1) Falk Howar, Malte Isberner, Bernhard Steffen
2013	—	`conf`	Active continuous quality control. CBSE Stephan Windmüller, Johannes Neubauer, Bernhard Steffen, Falk Howar, Oliver Bauer
2013	—	`conf`	Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond. Festschrift for Dave Schmidt Johannes Neubauer, Bernhard Steffen, Tiziana Margaria
2013	—	`conf`	Inferring Automata with State-Local Alphabet Abstractions. NASA Formal Methods Malte Isberner, Falk Howar, Bernhard Steffen
2013	J	`jnl`	Parallel real time computation of large scale pedestrian evacuations. Adv. Eng. Softw. Armel Ulrich Kemloh Wagoum, Bernhard Steffen, Armin Seyfried, Mohcine Chraibi
2013	J	`jnl`	Plug-and-Play Higher-Order Process Integration. Computer Johannes Neubauer, Bernhard Steffen
2013	—	`conf`	Property-Driven Benchmark Generation. SPIN Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske
2013	—	`conf`	Second-Order Servification. ICSOB Johannes Neubauer, Bernhard Steffen
2013	J	`jnl`	Simplicity Driven Application Development. J. Integr. Des. Process. Sci. Maik Merten, Bernhard Steffen
2012	B	`conf`	A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations. ATVA Sofia Cassel, Bengt Jonsson, Falk Howar, Bernhard Steffen
2012	J	`jnl`	A constraint-based variability modeling framework. Int. J. Softw. Tools Technol. Transf. Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen
2012	—	`conf`	Active Automata Learning: From DFAs to Interface Programs and Beyond. ICGI Bernhard Steffen, Falk Howar, Malte Isberner
2012	C	`conf`	An Evaluation of Service Integration Approaches of Business Process Management Systems. SEW Markus Doedt, Bernhard Steffen
2012	—	`conf`	Automated Inference of Models for Black Box Systems Based on Interface Descriptions. ISoLA (1) Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pelliccione, Massimo Tivoli
2012	—	`conf`	Automated Learning Setups in Automata Learning. ISoLA (1) Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria
2012	—	`conf`	Automated continuous quality assurance. FormSERA@ICSE Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, Falk Howar
2012	—	`ch.`	Customer-Oriented Business Process Management: Vision and Obstacles. Conquering Complexity Tiziana Margaria, Steve Boßelmann, Markus Doedt, Barry D. Floyd, Bernhard Steffen
2012	A	`conf`	Demonstrating Learning of Register Automata. TACAS Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson
2012	C	`conf`	Exploiting Ecore's Reflexivity for Bootstrapping Domain-Specific Code-Generators. SEW Sven Jörges, Bernhard Steffen
2012	B	`conf`	Inferring Canonical Register Automata. VMCAI Falk Howar, Bernhard Steffen, Bengt Jonsson, Sofia Cassel
2012	—	`conf`	Inferring Semantic Interfaces of Data Structures. ISoLA (1) Falk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson
2012	—	`conf`	LearnLib Tutorial: From Finite Automata to Register Interface Programs. ISoLA (1) Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen
2012	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II ISoLA (2) Tiziana Margaria, Bernhard Steffen
2012	—	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I ISoLA (1) Tiziana Margaria, Bernhard Steffen
2012	—	`ed.`	Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers ISoLA Workshops Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen
2012	B	`conf`	Loose Programming with PROPHETS. FASE Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen
2012	—	`conf`	Machine Learning for Emergent Middleware. EternalS@ECAI Amel Bennaceur, Valérie Issarny, Daniel Sykes, Falk Howar, Malte Isberner, Bernhard Steffen, Richard Johansson, Alessandro Moschitti
2012	J	`jnl`	Never-stop Learning: Continuous Validation of Learned Models for Evolving Systems through Monitoring. ERCIM News Antonia Bertolino, Antonello Calabrò, Maik Merten, Bernhard Steffen
2012	—	`conf`	Reha-Sports: The Challenge of Small Margin Healthcare Accounting. ISoLA (2) Markus Doedt, Thomas Göke, Jan Pardo, Bernhard Steffen
2012	—	`ch.`	Service-Orientation: Conquering Complexity with XMDD. Conquering Complexity Tiziana Margaria, Bernhard Steffen
2012	—	`conf`	Simplicity principles for plug-in development: the jABC approach. TOPI@ICSE Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen, Sven Jörges, Tiziana Margaria
2012	—	`conf`	The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. ISoLA (1) Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer
2012	—	`ch.`	The XMDD Approach to the Semantic Web Services Challenge. Semantic Web Services, Advancement through Evaluation Tiziana Margaria, Christian Kubczak, Bernhard Steffen
2011	B	`conf`	A Succinct Canonical Register Automaton Model. ATVA Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen
2011	J	`jnl`	Assuring property conformance of code generators via model checking. Formal Aspects Comput. Sven Jörges, Tiziana Margaria, Bernhard Steffen
2011	B	`conf`	Automata Learning with Automated Alphabet Abstraction Refinement. VMCAI Falk Howar, Bernhard Steffen, Maik Merten
2011	—	`conf`	Automata Learning with On-the-Fly Direct Hypothesis Construction. ISoLA Workshops Maik Merten, Falk Howar, Bernhard Steffen, Tiziana Margaria
2011	—	`conf`	Comparing Structure-Oriented and Behavior-Oriented Variability Modeling for Workflows. EternalS@FET Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen
2011	J	`jnl`	Game-Based Model Checking for Reliable Autonomy in Space. J. Aerosp. Comput. Inf. Commun. Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen
2011	—	`conf`	IT Simply Works: Simplicity and Embedded Systems Design. COMPSAC Workshops Tiziana Margaria, Barry D. Floyd, Bernhard Steffen
2011	—	`conf`	Introduction to Active Automata Learning from a Practical Perspective. SFM Bernhard Steffen, Falk Howar, Maik Merten
2011	B	`conf`	Leveraging Service-Orientation for Combining Code Generation Frameworks. ICECCS Sven Jörges, Bernhard Steffen
2011	A	`conf`	Next Generation LearnLib. TACAS Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria
2011	B	`conf`	Quality Engineering: Leveraging Heterogeneous Information - (Invited Talk). VMCAI Bernhard Steffen, Oliver Rüthing
2011	C	`conf`	Requirement-Driven Evaluation of Remote ERP-System Solutions: A Service-oriented Perspective. SEW Markus Doedt, Bernhard Steffen
2011	—	`conf`	Reusing System States by Active Learning Algorithms. EternalS@FET Oliver Bauer, Johannes Neubauer, Bernhard Steffen, Falk Howar
2011	—	`conf`	Runtime Optimisation Approaches for a Real-Time Evacuation Assistant. PPAM (1) Armel Ulrich Kemloh Wagoum, Bernhard Steffen, Armin Seyfried
2011	J	`jnl`	Semantics-based composition of EMBOSS services. J. Biomed. Semant. Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen
2011	C	`conf`	Simplified Validation of Emergent Systems through Automata Learning-Based Testing. SEW Bernhard Steffen, Johannes Neubauer
2011	C	`conf`	Special Session on "Simplification through Change of Perspective". SEW Tiziana Margaria, Bernhard Steffen
2011	—	`conf`	Synthesis-Based Variability Control: Correctness by Construction. FMCO Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen
2011	—	`conf`	T-junction: Experiments, trajectory collection, and analysis. ICCV Workshops Maik Boltes, Jun Zhang, Armin Seyfried, Bernhard Steffen
2011	B	`conf`	Tailoring Process Synthesis to Domain Characteristics. ICECCS Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen
2011	—	`conf`	The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning. ISoLA Workshops Falk Howar, Oliver Bauer, Maik Merten, Bernhard Steffen, Tiziana Margaria
2010	—	`ch.`	Bioinformatics: Processes and Workflows. Encyclopedia of Software Engineering Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen
2010	J	`jnl`	Constraint-Guided Workflow Composition Based on the EDAM Ontology CoRR Anna-Lena Lamprecht, Stefan Naujokat, Bernhard Steffen, Tiziana Margaria
2010	—	`conf`	Constraint-Guided Workflow Composition Based on the EDAM Ontology. SWAT4LS Anna-Lena Lamprecht, Stefan Naujokat, Bernhard Steffen, Tiziana Margaria
2010	J	`jnl`	Evolution support in heterogeneous service-oriented landscapes. J. Braz. Comput. Soc. Tiziana Margaria, Bernhard Steffen, Christian Kubczak
2010	—	`conf`	From ZULU to RERS - Lessons Learned in the ZULU Challenge. ISoLA (1) Falk Howar, Bernhard Steffen, Maik Merten
2010	—	`ed.`	Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I ISoLA (1) Tiziana Margaria, Bernhard Steffen
2010	—	`ed.`	Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II ISoLA (2) Tiziana Margaria, Bernhard Steffen
2010	—	`conf`	On Handling Data in Automata Learning - Considerations from the CONNECT Perspective. ISoLA (2) Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel
2010	—	`ch.`	Round-Trip Engineering. Encyclopedia of Software Engineering Bernhard Steffen, Tiziana Margaria, Christian Wagner
2010	J	`jnl`	Second-Order Value Numbering. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Tiziana Margaria, Bernhard Steffen, Christian Topnik
2010	J	`jnl`	Simplicity as a Driver for Agile Innovation. Computer Tiziana Margaria, Bernhard Steffen
2010	Misc	`conf`	Synthesis-Based Loose Programming. QUATIC Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen
2010	—	`conf`	Towards an Architecture for Runtime Interoperability. ISoLA (2) Amel Bennaceur, Gordon S. Blair, Franck Chauvel, Gang Huang, Nikolaos Georgantas, Paul Grace, Falk Howar, Paola Inverardi, Valérie Issarny, Massimo Paolucci, Animesh Pathak, Romina Spalazzese, Bernhard Steffen, Bertrand Souville
2009	—	`ch.`	An Approach to Discovery with miAamics and jABC. Semantic Web Services Challenge Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Christian Winkler, Hardi Hungar
2009	—	`ch.`	Automatic Generation of the SWS- Challenge Mediator with jABC/ABC. Semantic Web Services Challenge Tiziana Margaria, Marco Bakera, Christian Kubczak, Stefan Naujokat, Bernhard Steffen
2009	J	`jnl`	Bio-jETI: a framework for semantics-based service composition. BMC Bioinform. Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen
2009	—	`conf`	Building Code Generators with Genesys: A Tutorial Introduction. GTTSE Sven Jörges, Bernhard Steffen, Tiziana Margaria
2009	—	`ch.`	Business Process Modeling in the jABC. Handbook of Research on Business Process Modeling Tiziana Margaria, Bernhard Steffen
2009	B	`conf`	CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. ICECCS Valérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta
2009	—	`ch.`	Comparison: Handling Preferences with DIANE and miAamics. Semantic Web Services Challenge Ulrich Küster, Birgitta König-Ries, Tiziana Margaria, Bernhard Steffen
2009	—	`ch.`	Comparison: Mediation on WebML/WebRatio and jABC/jETI. Semantic Web Services Challenge Marco Brambilla, Stefano Ceri, Emanuele Della Valle, Federico M. Facca, Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Christian Winkler
2009	—	`conf`	Component-Oriented Behavior Extraction for Autonomic System Design. NASA Formal Methods Tiziana Margaria, Marco Bakera, Christian Wagner, Emil Vassev, Michael G. Hinchey, Bernhard Steffen
2009	J	`jnl`	Continuous Model-Driven Engineering. Computer Tiziana Margaria, Bernhard Steffen
2009	J	`jnl`	Dynamic testing via automata learning. Int. J. Softw. Tools Technol. Transf. Harald Raffelt, Maik Merten, Bernhard Steffen, Tiziana Margaria
2009	B	`conf`	From Bio-jETI Process Models to Native Code. ICECCS Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen
2009	J	`jnl`	Guest Editor's introduction. Int. J. Softw. Tools Technol. Transf. Mike Hinchey, Tiziana Margaria, Bernhard Steffen
2009	B	`conf`	Keynote: Continuous Model Driven Engineering. ICECCS Bernhard Steffen
2009	J	`jnl`	LearnLib: a framework for extrapolating behavioral models. Int. J. Softw. Tools Technol. Transf. Harald Raffelt, Bernhard Steffen, Therese Berg, Tiziana Margaria
2009	—	`conf`	Maintenance, or the 3rd dimension of eXtreme model-driven design. ICSM Bernhard Steffen, Sven Jörges, Christian Wagner, Tiziana Margaria
2009	J	`jnl`	New Insights into Pedestrian Flow Through Bottlenecks. Transp. Sci. Armin Seyfried, Oliver Passon, Bernhard Steffen, Maik Boltes, Tobias Rupprecht, Wolfram Klingsch
2009	—	`conf`	Semantics-Based Composition of EMBOSS Services with Bio-jETI. SWAT4LS Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen
2009	—	`ch.`	Service-oriented Mediation with jABC/jETI. Semantic Web Services Challenge Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Ralf Nagel
2009	Misc	`conf`	Synthesizing Semantic Web Service Compositions with jMosel and Golog. ISWC Tiziana Margaria, Daniel Meyer, Christian Kubczak, Malte Isberner, Bernhard Steffen
2009	J	`jnl`	Tool-supported enhancement of diagnosis in model-driven verification. Innov. Syst. Softw. Eng. Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen
2008	C	`conf`	Agile IT: Thinking in User-Centric Models. ISoLA Tiziana Margaria, Bernhard Steffen
2008	J	`jnl`	Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. BMC Bioinform. Tiziana Margaria, Christian Kubczak, Bernhard Steffen
2008	J	`jnl`	GeneFisher-P: variations of GeneFisher as processes in Bio-jETI. BMC Bioinform. Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen, Alexander Sczyrba, Sven Hartmeier, Robert Giegerich
2008	J	`jnl`	Genesys: service-oriented construction of property conform code generators. Innov. Syst. Softw. Eng. Sven Jörges, Tiziana Margaria, Bernhard Steffen
2008	—	`conf`	Hybrid test of web applications with webtest. TAV-WEB Harald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten
2008	C	`ed.`	Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings ISoLA Tiziana Margaria, Bernhard Steffen
2008	J	`jnl`	Plug and Play with FMICS-jETI: Beyond Scripting and Coding. ERCIM News Christian Kubczak, Tiziana Margaria, Ralf Nagel, Bernhard Steffen
2008	J	`jnl`	Preface. Theor. Comput. Sci. Tiziana Margaria, Bernhard Steffen
2008	C	`conf`	SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction. ISoLA Georg Jung, Tiziana Margaria, Ralf Nagel, Wolfgang Schubert, Bernhard Steffen, Horst Voigt
2008	—	`conf`	Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI. ISBRA Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen
2008	—	`conf`	Supporting Process Development in Bio-jETI by Model Checking and Synthesis. SWAT4LS Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen
2008	C	`conf`	The jABC Approach to Rigorous Collaborative Development of SCM Applications. ISoLA Martina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Bernhard Steffen, Hong Trinh
2007	—	`conf`	An Approach to Discovery with miAamics and jABC. Web Intelligence/IAT Workshops Christian Kubczak, Tiziana Margaria, Christian Winkler, Bernhard Steffen
2007	—	`conf`	Dynamic Testing Via Automata Learning. Haifa Verification Conference Harald Raffelt, Bernhard Steffen, Tiziana Margaria
2007	J	`jnl`	Full Life-Cycle Support for End-to-End Processes. Computer Bernhard Steffen, Prakash Narayan
2007	C	`conf`	LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. SEW Tiziana Margaria, Bernhard Steffen
2007	—	`conf`	Middleware: just another level for orchestration. MNCNA Tiziana Margaria, Bernhard Steffen
2007	—	`conf`	Pseudo-Spectral Modeling in Geodynamo. PARCO Maxim Reshetnyak, Bernhard Steffen
2007	—	`conf`	Service-Oriented Mediation with jETI/jABC: Verification and Export. Web Intelligence/IAT Workshops Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Stefan Naujokat
2007	B	`conf`	The LearnLib in FMICS-jETI. ICECCS Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker
2007	—	`conf`	The SWS Mediator with WEBML/WEBRATIO and JABC/JETI: A Comparison. ICEIS (4) Tiziana Margaria, Christian Winkler, Christian Kubczak, Bernhard Steffen, Marco Brambilla, Stefano Ceri, Dario Cerizza, Emanuele Della Valle, Federico Michele Facca, Christina Tziviskou
2007	C	`conf`	Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. ISoLA Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen
2006	C	`conf`	Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms. ISoLA Christian Kubczak, Tiziana Margaria, Arno Fritsch, Bernhard Steffen
2006	—	`conf`	Completing and Adapting Models of Biological Processes. BICC Tiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen
2006	—	`conf`	Continuous Engineering of Embedded systems. DIPES Bernhard Steffen, Tiziana Margaria
2006	B	`conf`	Data-Flow Analysis as Model Checking Within the jABC. CC Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen
2006	C	`conf`	Datenflussanalyse als Modelchecking im jABC. Software Engineering Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen
2006	—	`conf`	Enhanced Requirements-Based Programming for Embedded Systems Design. MBEES Michael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen
2006	A*	`conf`	FormulaBuilder: a tool for graph-based modelling and generation of formulae. ICSE Sven Jörges, Tiziana Margaria, Bernhard Steffen
2006	B	`conf`	LearnLib: A Library for Automata Learning and Experimentation. FASE Harald Raffelt, Bernhard Steffen
2006	C	`ed.`	Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers ISoLA Tiziana Margaria, Bernhard Steffen
2006	—	`conf`	Model-Driven Development with the jABC. Haifa Verification Conference Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak
2006	B	`conf`	Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. ICECCS Tiziana Margaria, Christian Kubczak, Marc Njoku, Bernhard Steffen
2006	C	`conf`	Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach. ISoLA Markus Bajohr, Tiziana Margaria, Bernhard Steffen
2006	C	`conf`	Service Engineering: Linking Business and IT. SEW Tiziana Margaria, Bernhard Steffen
2006	J	`jnl`	Service Engineering: Linking Business and IT. Computer Tiziana Margaria, Bernhard Steffen
2006	J	`jnl`	Special Section on "Leveraging Formal Methods". Int. J. Softw. Tools Technol. Transf. Tiziana Margaria, Bernhard Steffen
2006	C	`conf`	The FMICS-jETI Platform: Status and Perspectives. ISoLA Tiziana Margaria, Christian Kubczak, Bernhard Steffen, Stefan Naujokat
2006	—	`conf`	ViDoC - Visual Design of Optimizing Compilers. Program Analysis and Compilation Tiziana Margaria, Oliver Rüthing, Bernhard Steffen
2006	—	`conf`	jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str). SPIN Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen
2005	J	`jnl`	A particle-particle particle-multigrid method for long-range interactions in molecular simulations. Comput. Phys. Commun. Godehard Sutmann, Bernhard Steffen
2005	—	`conf`	Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints. MBEES Tiziana Margaria, Bernhard Steffen
2005	A	`conf`	Analyzing second-order effects between optimizations for system-level test-based model generation. ITC Tiziana Margaria, Harald Raffelt, Bernhard Steffen
2005	J	`jnl`	Dynamic and Formal Verification of Embedded Systems: A Comparative Survey. Int. J. Parallel Program. Mirko Loghi, Tiziana Margaria, Graziano Pravadelli, Bernhard Steffen
2005	—	`conf`	From the How to the What. VSTTE Tiziana Margaria, Bernhard Steffen
2005	A	`conf`	Interprocedural Herbrand Equalities. ESOP Markus Müller-Olm, Helmut Seidl, Bernhard Steffen
2005	J	`jnl`	Knowledge-based relevance filtering for efficient system-level test-based model generation. Innov. Syst. Softw. Eng. Tiziana Margaria, Harald Raffelt, Bernhard Steffen
2005	C	`conf`	LearnLib: a library for automata learning and experimentation. FMICS Harald Raffelt, Bernhard Steffen, Therese Berg
2005	B	`conf`	On the Correspondence Between Conformance Testing and Regular Inference. FASE Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen
2005	—	`conf`	Remote Integration and Coordination of Verification Tools in JETI. ECBS Tiziana Margaria, Ralf Nagel, Bernhard Steffen
2005	—	`conf`	Run-Time Agents as a Means of Reconciling Flexibility and Scalability of Services. WRAC Tiziana Margaria, Bernhard Steffen
2005	C	`conf`	Second-Order Semantic Web. SEW Tiziana Margaria, Bernhard Steffen
2005	A	`conf`	Service-Oriented Design: The Roots. ICSOC Tiziana Margaria, Bernhard Steffen, Manfred Reitenspieß
2005	A	`conf`	Service-Oriented Design: The jABC Approach. Service Oriented Computing Tiziana Margaria, Bernhard Steffen, Manfred Reitenspieß
2005	B	`conf`	Taming Interface Specifications. CONCUR Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck
2005	A	`conf`	jETI: A Tool for Remote Tool Integration. TACAS Tiziana Margaria, Ralf Nagel, Bernhard Steffen
2004	J	`jnl`	Behavior-based model construction. Int. J. Softw. Tools Technol. Transf. Hardi Hungar, Bernhard Steffen
2004	—	`conf`	Efficient test-based model generation for legacy reactive systems. HLDVT Tiziana Margaria, Oliver Niese, Harald Raffelt, Bernhard Steffen
2004	—	`ed.`	International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings ISoLA (Preliminary proceedings) Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß
2004	J	`jnl`	Lightweight coarse-grained coordination: a scalable system-level approach. Int. J. Softw. Tools Technol. Transf. Tiziana Margaria, Bernhard Steffen
2004	B	`conf`	Major Threat: From Formal Methods without Tools to Tools without Formal Methods. ICECCS Bernhard Steffen
2004	B	`ed.`	Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings VMCAI Bernhard Steffen, Giorgio Levi
2003	B	`conf`	Behavior-Based Model Construction. VMCAI Bernhard Steffen, Hardi Hungar
2003	A*	`conf`	Domain-Specific Optimization in Automata Learning. CAV Hardi Hungar, Oliver Niese, Bernhard Steffen
2003	A	`conf`	Test-Based Model Generation For Legacy Systems. ITC Hardi Hungar, Tiziana Margaria, Bernhard Steffen
2003	—	`conf`	The Electronic Tool Integration Platform (ETI) and the Petri Net Technology. Petri Net Technology for Communication-Based Systems Volker Braun, Tiziana Margaria, Bernhard Steffen
2002	—	`conf`	Demonstration of an Automated Integrated Test Environment for Web-Based Applications. SPIN Tiziana Margaria, Oliver Niese, Bernhard Steffen
2002	B	`conf`	Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. FASE Andreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Hans-Dieter Ide
2002	B	`conf`	Model Generation by Moderated Regular Extrapolation. FASE Andreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen
2002	—	`conf`	Model Generation for Legacy Systems. RISSEF Hardi Hungar, Tiziana Margaria, Bernhard Steffen
2002	C	`conf`	Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination. FMICS Tiziana Margaria, Bernhard Steffen
2002	—	`conf`	System level testing of virtual switch (re-)configuration over IP. ETW Tiziana Margaria, Oliver Niese, Bernhard Steffen, Andrei Erochok
2001	—	`conf`	Automated regression testing of CTI-systems. ETW Oliver Niese, Tiziana Margaria, Andreas Hagerer, Bernhard Steffen, Georg Brune, Werner Goerigk, Hans-Dieter Ide
2001	—	`conf`	Coarse-Granular Model Checking in Practice. SPIN Bernhard Steffen, Tiziana Margaria, Volker Braun
2001	J	`jnl`	Incremental Requirement Specification for Evolving Systems. Nord. J. Comput. Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen
2001	B	`conf`	Library-Based Design and Consistency Checking of System-Level Industrial Test Cases. FASE Oliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune, Hans-Dieter Ide
2001	—	`ch.`	Verification on Infinite Structures. Handbook of Process Algebra Olaf Burkart, Didier Caucal, Faron Moller, Bernhard Steffen
2000	A	`conf`	Constraint-Based Inter-Procedural Analysis of Parallel Programs. ESOP Helmut Seidl, Bernhard Steffen
2000	J	`jnl`	Constraint-Based Inter-Procedural Analysis of Parallel Programs. Nord. J. Comput. Helmut Seidl, Bernhard Steffen
2000	—	`conf`	Incremental Requirement Specification for Evolving Systems. FIW Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen
2000	A*	`conf`	Sparse Code Motion. POPL Oliver Rüthing, Jens Knoop, Bernhard Steffen
1999	B	`conf`	Code Motion for Explicitly Parallel Programs. PPoPP Jens Knoop, Bernhard Steffen
1999	—	`ed.`	Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel) Correct System Design, Recent Insight and Advances Ernst-Rüdiger Olderog, Bernhard Steffen
1999	B	`conf`	Detecting Equalities of Variables: Combining Efficiency with Precision. SAS Oliver Rüthing, Jens Knoop, Bernhard Steffen
1999	B	`conf`	Expansion-Based Removal of Semantic Partial Redundancies. CC Jens Knoop, Oliver Rüthing, Bernhard Steffen
1999	—	`conf`	METAFrame in Practice: Design of Intelligent Network Services. Correct System Design Bernhard Steffen, Tiziana Margaria
1999	J	`jnl`	Model Checking the Full Modal mu-Calculus for Infinite Sequential Processes. Theor. Comput. Sci. Olaf Burkart, Bernhard Steffen
1999	B	`conf`	Model-Checking: A Tutorial Introduction. SAS Markus Müller-Olm, David A. Schmidt, Bernhard Steffen
1999	B	`conf`	On the Evolution of Reactive Components: A Process-Algebraic Approach. FASE Markus Müller-Olm, Bernhard Steffen, Rance Cleaveland
1999	A	`conf`	The ETI Online Service in Action. TACAS Volker Braun, Jürgen Kreileder, Tiziana Margaria, Bernhard Steffen
1998	—	`conf`	Automatic Error Location for IN Service Definition. Services and Visualization: Towards User-Friendly Design Volker Braun, Tiziana Margaria, Bernhard Steffen, Haiseung Yoo
1998	B	`conf`	Backtracking-Free Design Planning by Automatic Synthesis in METAFrame. FASE Tiziana Margaria, Bernhard Steffen
1998	B	`conf`	Basic-Block Graphs: Living Dinosaurs? CC Jens Knoop, Dirk Koschützki, Bernhard Steffen
1998	A	`conf`	Code Motion and Code Placement: Just Synonyms? ESOP Jens Knoop, Oliver Rüthing, Bernhard Steffen
1998	B	`conf`	Program Analysis SAS David A. Schmidt, Bernhard Steffen
1998	—	`ed.`	Services and Visualization: Towards User-Friendly Design, ACoS'98, VISUAL'98, AIN'97, Selected Papers Services and Visualization: Towards User-Friendly Design Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga
1998	A	`ed.`	Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings TACAS Bernhard Steffen
1997	—	`conf`	A formal requirements engineering method for specification, synthesis, and verification. SEE Michael von der Beeck, Tiziana Margaria, Bernhard Steffen
1997	J	`jnl`	Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools. Int. J. Softw. Tools Technol. Transf. Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
1997	J	`jnl`	Editorial. Int. J. Softw. Tools Technol. Transf. Rance Cleaveland, Tiziana Margaria, Bernhard Steffen
1997	—	`ed.`	First International Workshop on Verification of Infinite State Systems, Infinity 1996, Università di Pisa, Pisa, Italy, August 30-31, 1996 INFINITY Bernhard Steffen, Didier Caucal
1997	A	`conf`	Graphs in METAFrame: The Unifying Power of Polymorphism. TACAS Michael von der Beeck, Volker Braun, Andreas Claßen, Achim Dannecker, Carsten Friedrich, Dirk Koschützki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen
1997	A*	`conf`	Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes. ICALP Olaf Burkart, Bernhard Steffen
1997	—	`conf`	New Preconditioned Solvers for Large Sparse Eigenvalue Problems on Massively Parallel Computers. PP Achim Basermann, Bernhard Steffen
1997	—	`conf`	Preconditioned Solvers for Large Eigenvalue Problems on Massively Parallel Computers and Workstation Clusters. PARCO Achim Basermann, Bernhard Steffen
1997	B	`conf`	Service Definition for Intelligent Networks: Experience in a Leading-edge Technological Project Based on Constraint Techniques. PACT Volker Braun, Tiziana Margaria, Bernhard Steffen, Friedrich-Karl Bruhns
1997	J	`jnl`	The Electronic Tool Integration Platform: Concepts and Design. Int. J. Softw. Tools Technol. Transf. Bernhard Steffen, Tiziana Margaria, Volker Braun
1997	A	`conf`	Unifying Models. STACS Bernhard Steffen
1996	A	`conf`	A Constraint-Oriented Service Creation Environment. TACAS Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Rita Nisius, Manfred Reitenspieß
1996	B	`conf`	Bisimulation Collapse and the Process Taxonomy. CONCUR Olaf Burkart, Didier Caucal, Bernhard Steffen
1996	J	`jnl`	Compositional Minimisation of Finite State Systems Using Interface Specifications. Formal Aspects Comput. Susanne Graf, Bernhard Steffen, Gerald Lüttgen
1996	A	`conf`	DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation. TACAS Marion Klein, Jens Knoop, Dirk Koschützki, Bernhard Steffen
1996	J	`jnl`	Foreword. Softw. Concepts Tools Tiziana Margaria, Bernhard Steffen
1996	J	`jnl`	Heterogeneous Analysis and Verification for Distributed Systems. Softw. Concepts Tools Bernhard Steffen, Tiziana Margaria, Andreas Claßen
1996	—	`conf`	Incremental Formalization. AMAST Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
1996	J	`jnl`	Incremental Formalization: A Key to Industrial Success. Softw. Concepts Tools Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
1996	J	`jnl`	Method Engineering for Real-Life Concurrent Systems. ACM Comput. Surv. Bernhard Steffen, Tiziana Margaria
1996	J	`jnl`	Modellierung und Simulation am Beispiel von Hochtemparatur-Brennstoffzellen. Prax. Inf.verarb. Kommun. Christof Schelthoff, Bernhard Steffen
1996	B	`conf`	Non-monotone Fixpoint Iterations to Resolve Second Order Effects. CC Alfons Geser, Jens Knoop, Gerald Lüttgen, Oliver Rüthing, Bernhard Steffen
1996	J	`jnl`	Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs. ACM Trans. Program. Lang. Syst. Jens Knoop, Bernhard Steffen, Jürgen Vollmer
1996	—	`conf`	Preface. INFINITY Bernhard Steffen
1996	J	`jnl`	Priority as Extremal Probability. Formal Aspects Comput. Scott A. Smolka, Bernhard Steffen
1996	B	`conf`	Property-Oriented Expansion. SAS Bernhard Steffen
1996	A*	`conf`	The METAFrame'95 Environment. CAV Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
1996	J	`jnl`	Tools Get Formal Methods into Practice. ACM Comput. Surv. Bernhard Steffen, Tiziana Margaria
1996	A	`ed.`	Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings TACAS Tiziana Margaria, Bernhard Steffen
1996	J	`jnl`	Towards a tool kit for the automatic generation of interprocedural data flow analyses. J. Program. Lang. Jens Knoop, Oliver Rüthing, Bernhard Steffen
1995	A	`conf`	A Constraint Oriented Proof Methodology Based on Modal Transition Systems. TACAS Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
1995	B	`conf`	An Approach to Intelligent Software Library Management. DASFAA Burkhard Freitag, Bernhard Steffen, Tiziana Margaria, Ulrich Zukowski
1995	B	`conf`	An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes. MFCS Olaf Burkart, Didier Caucal, Bernhard Steffen
1995	J	`jnl`	Composition, Decomposition and Model Checking of Pushdown Processes. Nord. J. Comput. Olaf Burkart, Bernhard Steffen
1995	—	`conf`	Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints. Hybrid Systems Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
1995	A	`conf`	Parallelism for Free: Bitvector Analyses -> No State Explosion! TACAS Jens Knoop, Bernhard Steffen, Jürgen Vollmer
1995	J	`jnl`	Reactive, Generative and Stratified Models of Probabilistic Processes Inf. Comput. Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen
1995	B	`conf`	The Fixpoint-Analysis Machine. CONCUR Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria
1995	—	`conf`	The META-Frame: An Environment for Flexible Tool Management. TAPSOFT Bernhard Steffen, Tiziana Margaria, Andreas Claßen
1995	A*	`conf`	The Power of Assignment Motion. PLDI Jens Knoop, Oliver Rüthing, Bernhard Steffen
1995	A	`ed.`	Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings TACAS Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen
1994	—	`conf`	A Pragmatic Approach to Software Synthesis. Workshop on Interface Definition Languages Burkhard Freitag, Tiziana Margaria, Bernhard Steffen
1994	J	`jnl`	Characteristic Formulae for Processes with Divergence Inf. Comput. Bernhard Steffen, Anna Ingólfsdóttir
1994	J	`jnl`	Local Model-Checking for Context-Free Processes. Nord. J. Comput. Hardi Hungar, Bernhard Steffen
1994	J	`jnl`	Optimal Code Motion: Theory and Practice. ACM Trans. Program. Lang. Syst. Jens Knoop, Oliver Rüthing, Bernhard Steffen
1994	A*	`conf`	Partial Dead Code Elimination. PLDI Jens Knoop, Oliver Rüthing, Bernhard Steffen
1994	B	`conf`	Pushdown Processes: Parallel Composition and Model Checking. CONCUR Olaf Burkart, Bernhard Steffen
1994	—	`conf`	The Methodology of Modal Constraints. Formal Systems Specification Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
1993	J	`jnl`	A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. Formal Methods Syst. Des. Rance Cleaveland, Bernhard Steffen
1993	B	`conf`	Deciding Testing Equivalence for Real-Time Processes with Dense Time. MFCS Bernhard Steffen, Carsten Weise
1993	J	`jnl`	Generating Data Flow Analysis Algorithms from Modal Specifications. Sci. Comput. Program. Bernhard Steffen
1993	C	`conf`	Hierarchical parallelization of imperative programs. PDP Andrea Kindler, Thomas Noll, Bernhard Steffen
1993	A*	`conf`	Local Model Checking for Context-Free Processes. ICALP Hardi Hungar, Bernhard Steffen
1993	J	`jnl`	The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems. ACM Trans. Program. Lang. Syst. Rance Cleaveland, Joachim Parrow, Bernhard Steffen
1992	J	`jnl`	Compositional characterization of observable program properties. RAIRO Theor. Informatics Appl. Bernhard Steffen, C. Barry Jay, Michael Mendler
1992	A*	`conf`	Faster Model Checking for the Modal Mu-Calculus. CAV Rance Cleaveland, Marion Klein, Bernhard Steffen
1992	A*	`conf`	Lazy Code Motion. PLDI Jens Knoop, Oliver Rüthing, Bernhard Steffen
1992	—	`conf`	Lazy code motion (with retrospective) Best of PLDI Jens Knoop, Oliver Rüthing, Bernhard Steffen
1992	B	`conf`	Model Checking for Context-Free Processes. CONCUR Olaf Burkart, Bernhard Steffen
1992	B	`conf`	The Interprocedural Coincidence Theorem. CC Jens Knoop, Bernhard Steffen
1991	A*	`conf`	A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. CAV Rance Cleaveland, Bernhard Steffen
1991	A*	`conf`	Computing Behavioural Relations, Logically. ICALP Rance Cleaveland, Bernhard Steffen
1991	—	`conf`	Data Flow Analysis as Model Checking. TACS Bernhard Steffen
1991	—	`conf`	Efficient Code Motion and an Adaption to Strength Reduction. TAPSOFT, Vol.2 Bernhard Steffen, Jens Knoop, Oliver Rüthing
1991	J	`jnl`	Finite Constants: Characterizations of a New Decidable Set of Constants. Theor. Comput. Sci. Bernhard Steffen, Jens Knoop
1990	B	`conf`	A Preorder for Partial Process Specifications. CONCUR Rance Cleaveland, Bernhard Steffen
1990	A*	`conf`	Compositional Minimization of Finite State Systems. CAV Susanne Graf, Bernhard Steffen
1990	—	`conf`	Compositional Minimization of Finite State Systems. CAV (DIMACS/AMS volume) Susanne Graf, Bernhard Steffen
1990	B	`conf`	Priority as Extremal Probability. CONCUR Scott A. Smolka, Bernhard Steffen
1990	A*	`conf`	Reactive, Generative, and Stratified Models of Probabilistic Processes LICS Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris M. N. Tofts
1990	A	`conf`	The Value Flow Graph: A Program Representation for Optimal Program Transformations. ESOP Bernhard Steffen, Jens Knoop, Oliver Rüthing
1990	A*	`conf`	When is "Partial" Adequate? A Logic-Based Proof Technique Using Partial Specifications LICS Rance Cleaveland, Bernhard Steffen
1989	—	`conf`	A Semantics Based Verification Tool for Finite State Systems. PSTV Rance Cleaveland, Joachim Parrow, Bernhard Steffen
1989	A*	`conf`	Characteristic Formulae. ICALP Bernhard Steffen
1989	B	`conf`	Finite Constants: Characterizations of a New Decidable Set of Constants. MFCS Bernhard Steffen, Jens Knoop
1989	B	`conf`	Optimal Data Flow Analysis via Observational Equivalence. MFCS Bernhard Steffen
1989	—	`conf`	The Concurrency Workbench. Automatic Verification Methods for Finite State Systems Rance Cleaveland, Joachim Parrow, Bernhard Steffen
1988	J	`jnl`	Implementation of a resonant cavity package on MIMD computers. Parallel Comput. Bernhard Steffen
1987	—	`—`	Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten - ein Optimalitätskonzept und seine Anwendung. Bernhard Steffen
1987	—	`conf`	Optimal Run Time Optimization Proved by a New Look at Abstract Interpretation. TAPSOFT, Vol.1 Bernhard Steffen