default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBernhard Steffen
Person information
- affiliation: TU Dortmund, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[e44]Bernhard Steffen
:
Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers. Lecture Notes in Computer Science 14129, Springer 2025, ISBN 978-3-031-73740-4 [contents]- [e43]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 15219, Springer 2025, ISBN 978-3-031-73708-4 [contents] - [e42]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 15220, Springer 2025, ISBN 978-3-031-75106-6 [contents] - [e41]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 15221, Springer 2025, ISBN 978-3-031-75379-4 [contents] - [e40]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 15222, Springer 2025, ISBN 978-3-031-75386-2 [contents] - [e39]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V. Lecture Notes in Computer Science 15223, Springer 2025, ISBN 978-3-031-75389-3 [contents] - 2024
- [j87]Bernhard Steffen:
Rance Cleaveland: a life for formal methods. Int. J. Softw. Tools Technol. Transf. 26(3): 247-248 (2024) - [c251]Alnis Murtovi, Giorgis Georgakoudis, Konstantinos Parasyris, Chunhua Liao, Ignacio Laguna, Bernhard Steffen:
Enhancing Performance Through Control-Flow Unmerging and Loop Unrolling on GPUs. CGO 2024: 106-118 - [c250]Daniel Busch, Steven Smyth, Tim Tegeler, Bernhard Steffen:
Code-Centric Code Generation. ISoLA (1) 2024: 340-355 - [c249]Maximilian Schlüter, Bernhard Steffen:
Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks. TAP 2024: 148-167 - [e38]Bernhard Steffen:
Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings. Lecture Notes in Computer Science 14380, Springer 2024, ISBN 978-3-031-46001-2 [contents] - [i11]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:
Language-Driven Engineering An Interdisciplinary Software Development Paradigm. CoRR abs/2402.10684 (2024) - 2023
- [j86]Nils Jansen, Gerrit Nolte, Bernhard Steffen:
Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn). Int. J. Softw. Tools Technol. Transf. 25(3): 241-247 (2023) - [j85]Frederik Gossen, Bernhard Steffen:
Algebraic aggregation of random forests: towards explainability and rapid evaluation. Int. J. Softw. Tools Technol. Transf. 25(3): 267-285 (2023) - [j84]Alnis Murtovi, Alexander Bainczyk, Gerrit Nolte, Maximilian Schlüter, Bernhard Steffen:
Forest GUMP: a tool for verification and explanation. Int. J. Softw. Tools Technol. Transf. 25(3): 287-299 (2023) - [j83]Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi, Bernhard Steffen:
Towards rigorous understanding of neural networks via semantics-preserving transformations. Int. J. Softw. Tools Technol. Transf. 25(3): 301-327 (2023) - [j82]Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi, Bernhard Steffen:
The power of typed affine decision structures: a case study. Int. J. Softw. Tools Technol. Transf. 25(3): 355-374 (2023) - [c248]Daniel Busch, Alexander Bainczyk, Bernhard Steffen:
Towards LLM-Based System Migration in Language-Driven Engineering. ECBS 2023: 191-200 - [c247]Daniel Busch, Gerrit Nolte, Alexander Bainczyk, Bernhard Steffen:
ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages. AISoLA 2023: 375-390 - [i10]Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi, Bernhard Steffen:
Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations. CoRR abs/2301.08013 (2023) - [i9]Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi, Bernhard Steffen:
The Power of Typed Affine Decision Structures: A Case Study. CoRR abs/2304.14888 (2023) - 2022
- [j81]Jonas Schürmann, Bernhard Steffen:
Lazy Merging: From a Potential of Universes to a Universe of Potentials. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 82 (2022) - [j80]Sebastian Teumert, Marvin Krause, Bernhard Steffen:
SOS-Supported Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 82 (2022) - [c246]Alexander Bainczyk, Bernhard Steffen, Falk Howar:
Lifelong Learning of Reactive Systems in Practice. The Logic of Software. A Tasting Menu of Formal Methods 2022: 38-53 - [c245]Markus Frohme, Bernhard Steffen:
From Languages to Behaviors and Back. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 180-200 - [c244]Falk Howar, Bernhard Steffen:
Active Automata Learning as Black-Box Search and Lazy Partition Refinement. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 321-338 - [c243]Klaus Havelund, Tim Tegeler, Steven Smyth, Bernhard Steffen:
Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction). ISoLA (2) 2022: 3-9 - [c242]Steven Smyth, Jette Petzold, Jonas Schürmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden, Bernhard Steffen:
Executable Documentation: Test-First in Action. ISoLA (2) 2022: 135-156 - [c241]Tim Tegeler, Steve Boßelmann, Jonas Schürmann, Steven Smyth, Sebastian Teumert, Bernhard Steffen:
Executable Documentation: From Documentation Languages to Purpose-Specific Languages. ISoLA (2) 2022: 174-192 - [c240]Tiziana Margaria, Dominic Wirkner, Daniel Busch, Alexander Bainczyk, Tim Tegeler, Bernhard Steffen:
DIME Days (ISoLA 2022 Track Introduction). ISoLA (2) 2022: 367-373 - [c239]Alexander Bainczyk, Steve Boßelmann, Marvin Krause, Marco Krumrey, Dominic Wirkner, Bernhard Steffen:
Towards Continuous Quality Control in the Context of Language-Driven Engineering. ISoLA (2) 2022: 389-406 - [c238]Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen:
Formal Methods Meet Machine Learning (F3ML). ISoLA (3) 2022: 393-405 - [c237]Alexander Bainczyk, Daniel Busch, Marco Krumrey, Daniel Sami Mitwalli, Jonas Schürmann, Joel Tagoukeng Dongmo, Bernhard Steffen:
Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering. ISoLA (2) 2022: 407-425 - [c236]Alnis Murtovi, Alexander Bainczyk, Bernhard Steffen:
Forest GUMP: A Tool for Explanation. TACAS (2) 2022: 314-331 - [e37]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I. Lecture Notes in Computer Science 13701, Springer 2022, ISBN 978-3-031-19848-9 [contents] - [e36]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II. Lecture Notes in Computer Science 13702, Springer 2022, ISBN 978-3-031-19755-0 [contents] - [e35]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 13703, Springer 2022, ISBN 978-3-031-19758-1 [contents] - [e34]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV. Lecture Notes in Computer Science 13704, Springer 2022, ISBN 978-3-031-19761-1 [contents] - 2021
- [j79]Frederik Gossen, Tiziana Margaria, Bernhard Steffen:
Formal Methods Boost Experimental Performance for Explainable AI. IT Prof. 23(6): 8-12 (2021) - [j78]Markus Frohme, Bernhard Steffen:
Compositional learning of mutually recursive procedural systems. Int. J. Softw. Tools Technol. Transf. 23(4): 521-543 (2021) - [j77]Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, Bernhard Steffen:
Towards language-to-language transformation. Int. J. Softw. Tools Technol. Transf. 23(5): 655-677 (2021) - [j76]Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen:
TOOLympics II: competitions on formal methods. Int. J. Softw. Tools Technol. Transf. 23(6): 879-881 (2021) - [j75]Falk Howar, Marc Jasper, Malte Mues, David Schmidt, Bernhard Steffen:
The RERS challenge: towards controllable and scalable benchmark synthesis. Int. J. Softw. Tools Technol. Transf. 23(6): 917-930 (2021) - [c235]Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi:
Model Checking, Synthesis, and Learning. Model Checking, Synthesis, and Learning 2021: 1-7 - [c234]Markus Frohme, Bernhard Steffen:
A Context-Free Symbiosis of Runtime Verification and Automata Learning. Formal Methods in Outer Space 2021: 159-181 - [c233]Markus Frohme, Bernhard Steffen:
Never-Stop Context-Free Learning. Model Checking, Synthesis, and Learning 2021: 164-185 - [c232]Tim Tegeler, Sebastian Teumert, Jonas Schürmann, Alexander Bainczyk, Daniel Busch, Bernhard Steffen:
An Introduction to Graphical Modeling of CI/CD Workflows with Rig. ISoLA 2021: 3-17 - [c231]Philip Zweihoff, Bernhard Steffen:
Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition. ISoLA 2021: 18-40 - [c230]Barbara Steffen, Bernhard Steffen:
Asking Why. ISoLA 2021: 55-67 - [c229]Barbara Steffen, Falk Howar, Tim Tegeler, Bernhard Steffen:
Agile Business Engineering: From Transformation Towards ContinuousInnovation. ISoLA 2021: 77-94 - [c228]Klaus Havelund, Bernhard Steffen:
Programming - What is Next? ISoLA 2021: 195-201 - [c227]Philip Zweihoff, Tim Tegeler, Jonas Schürmann, Alexander Bainczyk, Bernhard Steffen:
Aligned, Purpose-Driven Cooperation: The Future Way of System Development. ISoLA 2021: 426-449 - [c226]Bernhard Steffen, Alnis Murtovi:
Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper). VMCAI 2021: 29-51 - [e33]Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi:
Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. Lecture Notes in Computer Science 13030, Springer 2021, ISBN 978-3-030-91383-0 [contents] - [e32]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 12479, Springer 2021, ISBN 978-3-030-83722-8 [contents] - [e31]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 13036, Springer 2021, ISBN 978-3-030-89158-9 [contents] - [i8]Philip Zweihoff, Bernhard Steffen:
A Generative Approach for User-Centered, Collaborative, Domain-Specific Modeling Environments. CoRR abs/2104.09948 (2021) - 2020
- [j74]Marc Jasper, Maximilian Schlüter, Bernhard Steffen:
Characteristic invariants in Hennessy-Milner logic. Acta Informatica 57(3-5): 671-687 (2020) - [j73]Frederik Gossen, Tiziana Margaria, Bernhard Steffen:
Towards Explainability in Machine Learning: The Formal Methods Way. IT Prof. 22(4): 8-12 (2020) - [j72]Mohcine Chraibi, Bernhard Steffen, Jun Zhang:
The Automatic Generation of an Efficient Floor Field for CA Simulations in Crowd Management. J. Cell. Autom. 15(1-2): 3-15 (2020) - [c225]Marc Jasper, Maximilian Schlüter, David Schmidt, Bernhard Steffen:
Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees. ISoLA (4) 2020: 242-263 - [c224]Jonas Schürmann, Tim Tegeler, Bernhard Steffen:
Guaranteeing Type Consistency in Collective Adaptive Systems. ISoLA (2) 2020: 311-328 - [p15]Tiziana Margaria, Bernhard Steffen:
eXtreme Model-Driven Development (XMDD) Technologies as a Hands-On Approach to Software Development Without Coding. Encyclopedia of Education and Information Technologies 2020: 1-19 - [e30]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 12476, Springer 2020, ISBN 978-3-030-61361-7 [contents] - [e29]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 12477, Springer 2020, ISBN 978-3-030-61469-0 [contents] - [e28]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 12478, Springer 2020, ISBN 978-3-030-61466-9 [contents]
2010 – 2019
- 2019
- [c223]Bernhard Steffen, Marc Jasper:
Generating Hard Benchmark Problems for Weak Bisimulation. From Reactive Systems to Cyber-Physical Systems 2019: 126-145 - [c222]Tim Tegeler, Alnis Murtovi, Markus Frohme, Bernhard Steffen:
Product Line Verification via Modal Meta Model Checking. From Software Engineering to Formal Methods and Tools, and Back 2019: 313-337 - [c221]Philip Zweihoff, Stefan Naujokat, Bernhard Steffen:
Pyro: Generating Domain-Specific Collaborative Online Modeling Environments. FASE 2019: 101-115 - [c220]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:
TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) 2019: 3-24 - [c219]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:
RERS 2019: Combining Synthesis with Real-World Models. TACAS (3) 2019: 101-115 - [p14]Frederik Gossen, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen:
A Model-Driven and Generative Approach to Holistic Security. Resilience of Cyber-Physical Systems 2019: 123-147 - [p13]Bernhard Steffen:
Methods, Languages and Tools for Future System Development. Computing and Software Science 2019: 239-249 - [p12]Bernhard Steffen, Frederik Gossen, Stefan Naujokat, Tiziana Margaria:
Language-Driven Engineering: From General-Purpose to Purpose-Specific Languages. Computing and Software Science 2019: 311-344 - [e27]Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen:
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. Lecture Notes in Computer Science 11429, Springer 2019, ISBN 978-3-030-17501-6 [contents] - [e26]Bernhard Steffen, Gerhard J. Woeginger:
Computing and Software Science - State of the Art and Perspectives. Lecture Notes in Computer Science 10000, Springer 2019, ISBN 978-3-319-91907-2 [contents] - [i7]Frederik Gossen, Bernhard Steffen:
Large Random Forests: Optimisation for Rapid Evaluation. CoRR abs/1912.10934 (2019) - [i6]Frederik Gossen, Marc Jasper, Alnis Murtovi, Bernhard Steffen:
Aggressive Aggregation: a New Paradigm for Program Optimization. CoRR abs/1912.11281 (2019) - [i5]Frederik Gossen, Alnis Murtovi, Philip Zweihoff, Bernhard Steffen:
ADD-Lib: Decision Diagrams in Practice. CoRR abs/1912.11308 (2019) - 2018
- [b2]Bernhard Steffen, Oliver Rüthing, Michael Huth:
Mathematical Foundations of Advanced Informatics, Volume 1: Inductive Approaches. Springer 2018, ISBN 978-3-319-68396-6, pp. 1-218 - [j71]Stefan Naujokat, Michael Lybecait, Dawid Kopetzki, Bernhard Steffen:
CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. Int. J. Softw. Tools Technol. Transf. 20(3): 327-354 (2018) - [j70]Mounir Chadli, Jin Hyun Kim, Kim G. Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, Louis-Marie Traonouez:
High-level frameworks for the specification and verification of scheduling problems. Int. J. Softw. Tools Technol. Transf. 20(4): 397-422 (2018) - [c218]Mohcine Chraibi, Bernhard Steffen:
The Automatic Generation of an Efficient Floor Field for CA Simulations in Crowd Management. ACRI 2018: 185-195 - [c217]Falk Howar, Bernhard Steffen:
Active Automata Learning in Practice - An Annotated Bibliography of the Years 2011 to 2016. Machine Learning for Dynamic Software Analysis 2018: 123-148 - [c216]Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen:
Extending Automata Learning to Extended Finite State Machines. Machine Learning for Dynamic Software Analysis 2018: 149-177 - [c215]Reiner Hähnle, Bernhard Steffen:
Constraint-Based Behavioral Consistency of Evolving Software Systems. Machine Learning for Dynamic Software Analysis 2018: 205-218 - [c214]Markus Frohme, Bernhard Steffen:
Active Mining of Document Type Definitions. FMICS 2018: 147-161 - [c213]Bernhard Steffen, Tiziana Margaria:
Predicate Abstraction and Such... FMICS 2018: 181-188 - [c212]Bernhard Steffen, Alnis Murtovi:
M3C: Modal Meta Model Checking. FMICS 2018: 223-241 - [c211]Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen:
Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction). ISoLA (1) 2018: 3-21 - [c210]Marc Jasper, Bernhard Steffen:
Synthesizing Subtle Bugs with Known Witnesses. ISoLA (2) 2018: 235-257 - [c209]Steve Boßelmann, Stefan Naujokat, Bernhard Steffen:
On the Difficulty of Drawing the Line. ISoLA (1) 2018: 340-356 - [c208]Michael Lybecait, Dawid Kopetzki, Bernhard Steffen:
Design for 'X' Through Model Transformation. ISoLA (1) 2018: 381-398 - [c207]Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar:
RERS 2018: CTL, LTL, and Reachability. ISoLA (2) 2018: 433-447 - [c206]Michael Lybecait, Dawid Kopetzki, Philip Zweihoff, Annika Fuhge, Stefan Naujokat, Bernhard Steffen:
A Tutorial Introduction to Graphical Modeling and Metamodeling with CINCO. ISoLA (1) 2018: 519-538 - [c205]Frederik Gossen, Tiziana Margaria, Alnis Murtovi, Stefan Naujokat, Bernhard Steffen:
DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering. ISoLA (1) 2018: 546-564 - [e25]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I. Lecture Notes in Computer Science 11244, Springer 2018, ISBN 978-3-030-03417-7 [contents] - [e24]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II. Lecture Notes in Computer Science 11245, Springer 2018, ISBN 978-3-030-03420-7 [contents] - [e23]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. Lecture Notes in Computer Science 11246, Springer 2018, ISBN 978-3-030-03423-8 [contents] - [e22]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Lecture Notes in Computer Science 11247, Springer 2018, ISBN 978-3-030-03426-9 [contents] - 2017
- [j69]Bernhard Steffen:
The physics of software tools: SWOT analysis and vision. Int. J. Softw. Tools Technol. Transf. 19(1): 1-7 (2017) - [c204]Bernhard Steffen, Marc Jasper, Jeroen Meijer, Jaco van de Pol:
Property-Preserving Generation of Tailored Benchmark Petri Nets. ACSD 2017: 1-8 - [c203]Alexander Bainczyk, Alexander Schieweck, Bernhard Steffen, Falk Howar:
Model-Based Testing Without Models: The TodoMVC Case Study. ModelEd, TestEd, TrustEd 2017: 125-144 - [c202]Bernhard Steffen, Marc Jasper:
Property-Preserving Parallel Decomposition. Models, Algorithms, Logics and Tools 2017: 125-145 - [c201]Frederik Gossen, Johannes Neubauer, Bernhard Steffen:
Securing C/C++ applications with a SEcube™-based model-driven approach. DTIS 2017: 1-7 - [c200]Ashalatha Kunnappilly, Axel Legay, Tiziana Margaria, Cristina Cerschi Seceleanu, Bernhard Steffen, Louis-Marie Traonouez:
Analyzing ambient assisted living solutions: A research perspective. DTIS 2017: 1-7 - [c199]Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, Stephen F. Siegel:
The RERS 2017 challenge and workshop (invited paper). SPIN 2017: 11-20 - [e21]Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria:
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. Lecture Notes in Computer Science 10139, Springer 2017, ISBN 978-3-319-51962-3 [contents] - 2016
- [j68]Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen:
Active learning for extended finite state machines. Formal Aspects Comput. 28(2): 233-263 (2016) - [j67]Bernhard Steffen:
Introduction to the First Issue of FoMaC. LNCS Trans. Found. Mastering Chang. 1: 1-6 (2016) - [j66]Bernhard Steffen, Stefan Naujokat:
Archimedean Points: The Essence for Mastering Change. LNCS Trans. Found. Mastering Chang. 1: 22-46 (2016) - [j65]Mohcine Chraibi, Bernhard Steffen:
Multiscale Simulation of Pedestrians for Efficient Predictive Modeling in Large Events. J. Cell. Autom. 11(4): 299-310 (2016) - [j64]Anna-Lena Lamprecht, Bernhard Steffen, Tiziana Margaria:
Scientific workflows with the jABC framework - A review after a decade in the field. Int. J. Softw. Tools Technol. Transf. 18(6): 629-651 (2016) - [c198]Bernhard Steffen, Malte Isberner, Marc Jasper:
Playing with Abstraction and Representation. Semantics, Logics, and Calculi 2016: 191-213 - [c197]Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen:
A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS 2016: 133-141 - [c196]Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen:
Towards a Unified View of Modeling and Programming (Track Summary). ISoLA (2) 2016: 3-10 - [c195]Stefan Naujokat, Johannes Neubauer, Tiziana Margaria, Bernhard Steffen:
Meta-Level Reuse for Mastering Domain Specialization. ISoLA (2) 2016: 218-237 - [c194]Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Stefan Naujokat, Bernhard Steffen:
Synthesis from a Practical Perspective. ISoLA (1) 2016: 282-302 - [c193]Alexander Bainczyk, Alexander Schieweck, Malte Isberner, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen:
ALEX: Mixed-Mode Learning of Web Applications at Ease. ISoLA (2) 2016: 655-671 - [c192]Maren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol:
RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. ISoLA (2) 2016: 787-803 - [c191]Steve Boßelmann, Markus Frohme, Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, Johannes Neubauer, Dominic Wirkner, Philip Zweihoff, Bernhard Steffen:
DIME: A Programming-Less Modeling Environment for Web Applications. ISoLA (2) 2016: 809-832 - [e20]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 9952, 2016, ISBN 978-3-319-47165-5 [contents] - [e19]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 9953, 2016, ISBN 978-3-319-47168-6 [contents] - [e18]Bernhard Steffen:
Transactions on Foundations for Mastering Change I. Lecture Notes in Computer Science 9960, Springer 2016, ISBN 978-3-319-46507-4 [contents] - 2015
- [j63]Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen:
A succinct canonical register automaton model. J. Log. Algebraic Methods Program. 84(1): 54-66 (2015) - [c190]Malte Isberner, Falk Howar, Bernhard Steffen:
The Open-Source LearnLib - A Framework for Active Automata Learning. CAV (1) 2015: 487-495 - [c189]Malte Isberner, Bernhard Steffen, Falk Howar:
LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning. RV 2015: 358-377 - [c188]Maren Geske, Malte Isberner, Bernhard Steffen:
Rigorous Examination of Reactive Systems: The RERS Challenge 2015. RV 2015: 423-429 - [c187]Bernhard Steffen, Anna-Lena Lamprecht, Tiziana Margaria:
User-level synthesis: treating product lines as systems of constraints. SPLC 2015: 427-431 - 2014
- [j62]Malte Isberner, Falk Howar, Bernhard Steffen:
Learning register automata: from languages to program structures. Mach. Learn. 96(1-2): 65-98 (2014) - [j61]Stefan Naujokat, Johannes Neubauer, Anna-Lena Lamprecht, Bernhard Steffen, Sven Jörges, Tiziana Margaria:
Simplicity-first model-based plug-in development. Softw. Pract. Exp. 44(3): 277-297 (2014) - [j60]Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, Corina S. Pasareanu:
Rigorous examination of reactive systems - The RERS challenges 2012 and 2013. Int. J. Softw. Tools Technol. Transf. 16(5): 457-464 (2014) - [j59]Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske:
Property-driven benchmark generation: synthesizing programs of realistic structure. Int. J. Softw. Tools Technol. Transf. 16(5): 465-479 (2014) - [j58]Bernhard Steffen, Falk Howar, Malte Isberner, Stefan Naujokat, Tiziana Margaria:
Tailored generation of concurrent benchmarks. Int. J. Softw. Tools Technol. Transf. 16(5): 543-558 (2014) - [j57]Johannes Neubauer, Stephan Windmüller, Bernhard Steffen:
Risk-based testing via active continuous quality control. Int. J. Softw. Tools Technol. Transf. 16(5): 569-591 (2014) - [c186]Bernhard Steffen, Mohcine Chraibi:
Multiscale Simulation of Pedestrians for Faster Than Real Time Modeling in Large Events. ACRI 2014: 492-500 - [c185]Malte Isberner, Bernhard Steffen:
An Abstract Framework for Counterexample Analysis in Active Automata Learning. ICGI 2014: 79-93 - [c184]Johannes Neubauer, Bernhard Steffen:
Learning-Based Cross-Platform Conformance Testing. ISoLA (Revised Selected Papers) 2014: 53-79 - [c183]Johannes Neubauer, Markus Frohme, Bernhard Steffen, Tiziana Margaria:
Prototype-Driven Development of Web Applications with DyWA. ISoLA (1) 2014: 56-72 - [c182]Falk Howar, Bernhard Steffen:
Learning Models for Verification and Testing - Special Track at ISoLA 2014 Track Introduction. ISoLA (1) 2014: 199-201 - [c181]Sven Jörges, Bernhard Steffen:
Back-To-Back Testing of Model-Based Code Generators. ISoLA (1) 2014: 425-444 - [c180]Stefan Naujokat, Louis-Marie Traonouez, Malte Isberner, Bernhard Steffen, Axel Legay:
Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. ISoLA (1) 2014: 481-498 - [c179]Falk Howar, Malte Isberner, Bernhard Steffen:
Tutorial: Automata Learning in Practice. ISoLA (1) 2014: 499-513 - [c178]Malte Isberner, Falk Howar, Bernhard Steffen:
The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. RV 2014: 307-322 - [c177]Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen:
Learning Extended Finite State Machines. SEFM 2014: 250-264 - [p11]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen:
Modeling and Execution of Scientific Workflows with the jABC Framework. Process Design for Natural Scientists 2014: 14-29 - [e17]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 8802, Springer 2014, ISBN 978-3-662-45233-2 [contents] - [e16]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 8803, Springer 2014, ISBN 978-3-662-45230-1 [contents] - 2013
- [j56]Armel Ulrich Kemloh Wagoum, Bernhard Steffen, Armin Seyfried, Mohcine Chraibi:
Parallel real time computation of large scale pedestrian evacuations. Adv. Eng. Softw. 60: 98-103 (2013) - [j55]Johannes Neubauer, Bernhard Steffen:
Plug-and-Play Higher-Order Process Integration. Computer 46(11): 56-62 (2013) - [j54]Maik Merten, Bernhard Steffen:
Simplicity Driven Application Development. J. Integr. Des. Process. Sci. 17(3): 9-23 (2013) - [c176]Stephan Windmüller, Johannes Neubauer, Bernhard Steffen, Falk Howar, Oliver Bauer:
Active continuous quality control. CBSE 2013: 111-120 - [c175]Johannes Neubauer, Bernhard Steffen:
Second-Order Servification. ICSOB 2013: 13-25 - [c174]Malte Isberner, Falk Howar, Bernhard Steffen:
Inferring Automata with State-Local Alphabet Abstractions. NASA Formal Methods 2013: 124-138 - [c173]Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske:
Property-Driven Benchmark Generation. SPIN 2013: 341-357 - [c172]Johannes Neubauer, Bernhard Steffen, Tiziana Margaria:
Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond. Festschrift for Dave Schmidt 2013: 259-283 - 2012
- [j53]Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen:
A constraint-based variability modeling framework. Int. J. Softw. Tools Technol. Transf. 14(5): 511-530 (2012) - [c171]Sofia Cassel, Bengt Jonsson, Falk Howar, Bernhard Steffen:
A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations. ATVA 2012: 57-71 - [c170]Amel Bennaceur, Valérie Issarny, Daniel Sykes, Falk Howar, Malte Isberner, Bernhard Steffen, Richard Johansson, Alessandro Moschitti:
Machine Learning for Emergent Middleware. EternalS@ECAI 2012: 16-29 - [c169]Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen:
Loose Programming with PROPHETS. FASE 2012: 94-98 - [c168]Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen, Sven Jörges, Tiziana Margaria:
Simplicity principles for plug-in development: the jABC approach. TOPI@ICSE 2012: 7-12 - [c167]Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, Falk Howar:
Automated continuous quality assurance. FormSERA@ICSE 2012: 37-43 - [c166]Markus Doedt, Thomas Göke, Jan Pardo, Bernhard Steffen:
Reha-Sports: The Challenge of Small Margin Healthcare Accounting. ISoLA (2) 2012: 75-77 - [c165]Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pelliccione, Massimo Tivoli:
Automated Inference of Models for Black Box Systems Based on Interface Descriptions. ISoLA (1) 2012: 79-96 - [c164]Falk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson:
Inferring Semantic Interfaces of Data Structures. ISoLA (1) 2012: 554-571 - [c163]Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen:
LearnLib Tutorial: From Finite Automata to Register Interface Programs. ISoLA (1) 2012: 587-590 - [c162]Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria:
Automated Learning Setups in Automata Learning. ISoLA (1) 2012: 591-607 - [c161]Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer:
The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. ISoLA (1) 2012: 608-614 - [c160]Sven Jörges, Bernhard Steffen:
Exploiting Ecore's Reflexivity for Bootstrapping Domain-Specific Code-Generators. SEW 2012: 72-81 - [c159]Markus Doedt, Bernhard Steffen:
An Evaluation of Service Integration Approaches of Business Process Management Systems. SEW 2012: 158-167 - [c158]Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson:
Demonstrating Learning of Register Automata. TACAS 2012: 466-471 - [c157]Falk Howar, Bernhard Steffen, Bengt Jonsson, Sofia Cassel:
Inferring Canonical Register Automata. VMCAI 2012: 251-266 - [c156]Bernhard Steffen, Falk Howar, Malte Isberner:
Active Automata Learning: From DFAs to Interface Programs and Beyond. ICGI 2012: 195-209 - [p10]Tiziana Margaria, Bernhard Steffen:
Service-Orientation: Conquering Complexity with XMDD. Conquering Complexity 2012: 217-236 - [p9]Tiziana Margaria, Christian Kubczak, Bernhard Steffen:
The XMDD Approach to the Semantic Web Services Challenge. Semantic Web Services, Advancement through Evaluation 2012: 233-248 - [p8]Tiziana Margaria, Steve Boßelmann, Markus Doedt, Barry D. Floyd, Bernhard Steffen:
Customer-Oriented Business Process Management: Vision and Obstacles. Conquering Complexity 2012: 407-429 - [e15]Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen:
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. Communications in Computer and Information Science 336, Springer 2012, ISBN 978-3-642-34780-1 [contents] - [e14]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 7609, Springer 2012, ISBN 978-3-642-34025-3 [contents] - [e13]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 7610, Springer 2012, ISBN 978-3-642-34031-4 [contents] - [i4]Antonia Bertolino, Antonello Calabrò, Maik Merten, Bernhard Steffen:
Never-stop Learning: Continuous Validation of Learned Models for Evolving Systems through Monitoring. ERCIM News 2012(88) (2012) - 2011
- [j52]Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen:
Semantics-based composition of EMBOSS services. J. Biomed. Semant. 2(S-1): S5 (2011) - [j51]Sven Jörges, Tiziana Margaria, Bernhard Steffen:
Assuring property conformance of code generators via model checking. Formal Aspects Comput. 23(5): 589-606 (2011) - [j50]Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen:
Game-Based Model Checking for Reliable Autonomy in Space. J. Aerosp. Comput. Inf. Commun. 8(4): 100-114 (2011) - [c155]Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen:
A Succinct Canonical Register Automaton Model. ATVA 2011: 366-380 - [c154]Tiziana Margaria, Barry D. Floyd, Bernhard Steffen:
IT Simply Works: Simplicity and Embedded Systems Design. COMPSAC Workshops 2011: 194-199 - [c153]Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen:
Comparing Structure-Oriented and Behavior-Oriented Variability Modeling for Workflows. EternalS@FET 2011: 1-15 - [c152]Oliver Bauer, Johannes Neubauer, Bernhard Steffen, Falk Howar:
Reusing System States by Active Learning Algorithms. EternalS@FET 2011: 61-78 - [c151]Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen:
Synthesis-Based Variability Control: Correctness by Construction. FMCO 2011: 69-88 - [c150]Maik Boltes, Jun Zhang, Armin Seyfried, Bernhard Steffen:
T-junction: Experiments, trajectory collection, and analysis. ICCV Workshops 2011: 158-165 - [c149]Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen:
Tailoring Process Synthesis to Domain Characteristics. ICECCS 2011: 167-175 - [c148]Sven Jörges, Bernhard Steffen:
Leveraging Service-Orientation for Combining Code Generation Frameworks. ICECCS 2011: 198-207 - [c147]Falk Howar, Oliver Bauer, Maik Merten, Bernhard Steffen, Tiziana Margaria:
The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning. ISoLA Workshops 2011: 232-247 - [c146]Maik Merten, Falk Howar, Bernhard Steffen, Tiziana Margaria:
Automata Learning with On-the-Fly Direct Hypothesis Construction. ISoLA Workshops 2011: 248-260 - [c145]Armel Ulrich Kemloh Wagoum, Bernhard Steffen, Armin Seyfried:
Runtime Optimisation Approaches for a Real-Time Evacuation Assistant. PPAM (1) 2011: 386-395 - [c144]Markus Doedt, Bernhard Steffen:
Requirement-Driven Evaluation of Remote ERP-System Solutions: A Service-oriented Perspective. SEW 2011: 57-66 - [c143]Tiziana Margaria, Bernhard Steffen:
Special Session on "Simplification through Change of Perspective". SEW 2011: 67-68 - [c142]Bernhard Steffen, Johannes Neubauer:
Simplified Validation of Emergent Systems through Automata Learning-Based Testing. SEW 2011: 84-91 - [c141]Bernhard Steffen, Falk Howar, Maik Merten:
Introduction to Active Automata Learning from a Practical Perspective. SFM 2011: 256-296 - [c140]Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria:
Next Generation LearnLib. TACAS 2011: 220-223 - [c139]Bernhard Steffen, Oliver Rüthing:
Quality Engineering: Leveraging Heterogeneous Information - (Invited Talk). VMCAI 2011: 23-37 - [c138]Falk Howar, Bernhard Steffen, Maik Merten:
Automata Learning with Automated Alphabet Abstraction Refinement. VMCAI 2011: 263-277 - 2010
- [j49]Tiziana Margaria, Bernhard Steffen:
Simplicity as a Driver for Agile Innovation. Computer 43(6): 90-92 (2010) - [j48]Tiziana Margaria, Bernhard Steffen, Christian Topnik:
Second-Order Value Numbering. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010) - [j47]Tiziana Margaria, Bernhard Steffen, Christian Kubczak:
Evolution support in heterogeneous service-oriented landscapes. J. Braz. Comput. Soc. 16(1): 35-47 (2010) - [c137]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:
Towards an Architecture for Runtime Interoperability. ISoLA (2) 2010: 206-220 - [c136]Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel:
On Handling Data in Automata Learning - Considerations from the CONNECT Perspective. ISoLA (2) 2010: 221-235 - [c135]Falk Howar, Bernhard Steffen, Maik Merten:
From ZULU to RERS - Lessons Learned in the ZULU Challenge. ISoLA (1) 2010: 687-704 - [c134]Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen:
Synthesis-Based Loose Programming. QUATIC 2010: 262-267 - [c133]Anna-Lena Lamprecht, Stefan Naujokat, Bernhard Steffen, Tiziana Margaria:
Constraint-Guided Workflow Composition Based on the EDAM Ontology. SWAT4LS 2010 - [e12]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 6415, Springer 2010, ISBN 978-3-642-16557-3 [contents] - [e11]Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 6416, Springer 2010, ISBN 978-3-642-16560-3 [contents] - [r2]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen:
Bioinformatics: Processes and Workflows. Encyclopedia of Software Engineering 2010: 118-130 - [r1]Bernhard Steffen, Tiziana Margaria, Christian Wagner:
Round-Trip Engineering. Encyclopedia of Software Engineering 2010: 1044-1055 - [i3]Anna-Lena Lamprecht, Stefan Naujokat, Bernhard Steffen, Tiziana Margaria:
Constraint-Guided Workflow Composition Based on the EDAM Ontology. CoRR abs/1012.1640 (2010)
2000 – 2009
- 2009
- [j46]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen:
Bio-jETI: a framework for semantics-based service composition. BMC Bioinform. 10(S-10): 8 (2009) - [j45]Tiziana Margaria, Bernhard Steffen:
Continuous Model-Driven Engineering. Computer 42(10): 106-109 (2009) - [j44]Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen:
Tool-supported enhancement of diagnosis in model-driven verification. Innov. Syst. Softw. Eng. 5(3): 211-228 (2009) - [j43]Mike Hinchey, Tiziana Margaria, Bernhard Steffen:
Guest Editor's introduction. Int. J. Softw. Tools Technol. Transf. 11(3): 173-174 (2009) - [j42]Harald Raffelt, Maik Merten, Bernhard Steffen, Tiziana Margaria:
Dynamic testing via automata learning. Int. J. Softw. Tools Technol. Transf. 11(4): 307-324 (2009) - [j41]Harald Raffelt, Bernhard Steffen, Therese Berg, Tiziana Margaria:
LearnLib: a framework for extrapolating behavioral models. Int. J. Softw. Tools Technol. Transf. 11(5): 393-407 (2009) - [j40]Armin Seyfried, Oliver Passon, Bernhard Steffen, Maik Boltes, Tobias Rupprecht, Wolfram Klingsch:
New Insights into Pedestrian Flow Through Bottlenecks. Transp. Sci. 43(3): 395-406 (2009) - [c132]Sven Jörges, Bernhard Steffen, Tiziana Margaria:
Building Code Generators with Genesys: A Tutorial Introduction. GTTSE 2009: 364-385 - [c131]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen:
From Bio-jETI Process Models to Native Code. ICECCS 2009: 95-101 - [c130]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:
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. ICECCS 2009: 154-161 - [c129]Bernhard Steffen:
Keynote: Continuous Model Driven Engineering. ICECCS 2009 - [c128]Bernhard Steffen, Sven Jörges, Christian Wagner, Tiziana Margaria:
Maintenance, or the 3rd dimension of eXtreme model-driven design. ICSM 2009: 483-486 - [c127]Tiziana Margaria, Marco Bakera, Christian Wagner, Emil Vassev, Michael G. Hinchey, Bernhard Steffen:
Component-Oriented Behavior Extraction for Autonomic System Design. NASA Formal Methods 2009: 66-75 - [c126]Tiziana Margaria, Daniel Meyer, Christian Kubczak, Malte Isberner, Bernhard Steffen:
Synthesizing Semantic Web Service Compositions with jMosel and Golog. ISWC 2009: 392-407 - [c125]Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen:
Semantics-Based Composition of EMBOSS Services with Bio-jETI. SWAT4LS 2009 - [p7]Tiziana Margaria, Bernhard Steffen:
Business Process Modeling in the jABC. Handbook of Research on Business Process Modeling 2009: 1-26 - [p6]Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Ralf Nagel:
Service-oriented Mediation with jABC/jETI. Semantic Web Services Challenge 2009: 71-99 - [p5]Tiziana Margaria, Marco Bakera, Christian Kubczak, Stefan Naujokat, Bernhard Steffen:
Automatic Generation of the SWS- Challenge Mediator with jABC/ABC. Semantic Web Services Challenge 2009: 119-138 - [p4]Marco Brambilla, Stefano Ceri, Emanuele Della Valle, Federico M. Facca, Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Christian Winkler:
Comparison: Mediation on WebML/WebRatio and jABC/jETI. Semantic Web Services Challenge 2009: 153-166 - [p3]Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Christian Winkler, Hardi Hungar:
An Approach to Discovery with miAamics and jABC. Semantic Web Services Challenge 2009: 217-234 - [p2]Ulrich Küster, Birgitta König-Ries, Tiziana Margaria, Bernhard Steffen:
Comparison: Handling Preferences with DIANE and miAamics. Semantic Web Services Challenge 2009: 265-271 - 2008
- [j39]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen, Alexander Sczyrba, Sven Hartmeier, Robert Giegerich:
GeneFisher-P: variations of GeneFisher as processes in Bio-jETI. BMC Bioinform. 9(S-4) (2008) - [j38]Tiziana Margaria, Christian Kubczak, Bernhard Steffen:
Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. BMC Bioinform. 9(S-4) (2008) - [j37]Sven Jörges, Tiziana Margaria, Bernhard Steffen:
Genesys: service-oriented construction of property conform code generators. Innov. Syst. Softw. Eng. 4(4): 361-384 (2008) - [j36]Tiziana Margaria, Bernhard Steffen:
Preface. Theor. Comput. Sci. 404(3): 185 (2008) - [c124]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen:
Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI. ISBRA 2008: 445-456 - [c123]Georg Jung, Tiziana Margaria, Ralf Nagel, Wolfgang Schubert, Bernhard Steffen, Horst Voigt:
SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction. ISoLA 2008: 139-154 - [c122]Tiziana Margaria, Bernhard Steffen:
Agile IT: Thinking in User-Centric Models. ISoLA 2008: 490-502 - [c121]Martina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Bernhard Steffen, Hong Trinh:
The jABC Approach to Rigorous Collaborative Development of SCM Applications. ISoLA 2008: 724-737 - [c120]Harald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten:
Hybrid test of web applications with webtest. TAV-WEB 2008: 1-7 - [c119]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen:
Supporting Process Development in Bio-jETI by Model Checking and Synthesis. SWAT4LS 2008 - [e10]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. Communications in Computer and Information Science 17, Springer 2008, ISBN 978-3-540-88478-1 [contents] - [i2]Christian Kubczak, Tiziana Margaria, Ralf Nagel, Bernhard Steffen:
Plug and Play with FMICS-jETI: Beyond Scripting and Coding. ERCIM News 2008(73) (2008) - 2007
- [j35]Bernhard Steffen, Prakash Narayan:
Full Life-Cycle Support for End-to-End Processes. Computer 40(11): 64-73 (2007) - [c118]Harald Raffelt, Bernhard Steffen, Tiziana Margaria:
Dynamic Testing Via Automata Learning. Haifa Verification Conference 2007: 136-152 - [c117]Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Stefan Naujokat:
Service-Oriented Mediation with jETI/jABC: Verification and Export. Web Intelligence/IAT Workshops 2007: 144-147 - [c116]Christian Kubczak, Tiziana Margaria, Christian Winkler, Bernhard Steffen:
An Approach to Discovery with miAamics and jABC. Web Intelligence/IAT Workshops 2007: 157-160 - [c115]Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker:
The LearnLib in FMICS-jETI. ICECCS 2007: 340-352 - [c114]Tiziana Margaria, Christian Winkler, Christian Kubczak, Bernhard Steffen, Marco Brambilla, Stefano Ceri, Dario Cerizza, Emanuele Della Valle, Federico Michele Facca, Christina Tziviskou:
The SWS Mediator with WEBML/WEBRATIO and JABC/JETI: A Comparison. ICEIS (4) 2007: 422-429 - [c113]Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen:
Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. ISoLA 2007: 85-97 - [c112]Tiziana Margaria, Bernhard Steffen:
Middleware: just another level for orchestration. MNCNA 2007: 4 - [c111]Maxim Reshetnyak, Bernhard Steffen:
Pseudo-Spectral Modeling in Geodynamo. PARCO 2007: 491-498 - [c110]Tiziana Margaria, Bernhard Steffen:
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. SEW 2007: 214-226 - 2006
- [j34]Tiziana Margaria, Bernhard Steffen:
Service Engineering: Linking Business and IT. Computer 39(10): 45-55 (2006) - [j33]Tiziana Margaria, Bernhard Steffen:
Special Section on "Leveraging Formal Methods". Int. J. Softw. Tools Technol. Transf. 8(6): 467-469 (2006) - [c109]Tiziana Margaria, Oliver Rüthing, Bernhard Steffen:
ViDoC - Visual Design of Optimizing Compilers. Program Analysis and Compilation 2006: 145-159 - [c108]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen:
Data-Flow Analysis as Model Checking Within the jABC. CC 2006: 101-104 - [c107]Harald Raffelt, Bernhard Steffen:
LearnLib: A Library for Automata Learning and Experimentation. FASE 2006: 377-380 - [c106]Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak:
Model-Driven Development with the jABC. Haifa Verification Conference 2006: 92-108 - [c105]Tiziana Margaria, Christian Kubczak, Marc Njoku, Bernhard Steffen:
Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. ICECCS 2006: 169-176 - [c104]Sven Jörges, Tiziana Margaria, Bernhard Steffen:
FormulaBuilder: a tool for graph-based modelling and generation of formulae. ICSE 2006: 815-818 - [c103]Tiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen:
Completing and Adapting Models of Biological Processes. BICC 2006: 43-54 - [c102]Bernhard Steffen, Tiziana Margaria:
Continuous Engineering of Embedded systems. DIPES 2006: 45-54 - [c101]Christian Kubczak, Tiziana Margaria, Arno Fritsch, Bernhard Steffen:
Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms. ISoLA 2006: 303-308 - [c100]Markus Bajohr, Tiziana Margaria, Bernhard Steffen:
Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach. ISoLA 2006: 317-324 - [c99]Tiziana Margaria, Christian Kubczak, Bernhard Steffen, Stefan Naujokat:
The FMICS-jETI Platform: Status and Perspectives. ISoLA 2006: 402-407 - [c98]Michael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen:
Enhanced Requirements-Based Programming for Embedded Systems Design. MBEES 2006: 43-52 - [c97]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen:
Datenflussanalyse als Modelchecking im jABC. Software Engineering 2006: 125-130 - [c96]Tiziana Margaria, Bernhard Steffen:
Service Engineering: Linking Business and IT. SEW 2006: 33-36 - [c95]Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen:
jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str). SPIN 2006: 293-298 - [e9]Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers. Lecture Notes in Computer Science 4313, Springer 2006, ISBN 3-540-48928-2 [contents] - 2005
- [j32]Godehard Sutmann, Bernhard Steffen:
A particle-particle particle-multigrid method for long-range interactions in molecular simulations. Comput. Phys. Commun. 169(1-3): 343-346 (2005) - [j31]Mirko Loghi, Tiziana Margaria, Graziano Pravadelli, Bernhard Steffen:
Dynamic and Formal Verification of Embedded Systems: A Comparative Survey. Int. J. Parallel Program. 33(6): 585-611 (2005) - [j30]Tiziana Margaria, Harald Raffelt, Bernhard Steffen:
Knowledge-based relevance filtering for efficient system-level test-based model generation. Innov. Syst. Softw. Eng. 1(2): 147-156 (2005) - [c94]Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck:
Taming Interface Specifications. CONCUR 2005: 548-561 - [c93]Tiziana Margaria, Ralf Nagel, Bernhard Steffen:
Remote Integration and Coordination of Verification Tools in JETI. ECBS 2005: 431-436 - [c92]Markus Müller-Olm, Helmut Seidl, Bernhard Steffen:
Interprocedural Herbrand Equalities. ESOP 2005: 31-45 - [c91]Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen:
On the Correspondence Between Conformance Testing and Regular Inference. FASE 2005: 175-189 - [c90]Harald Raffelt, Bernhard Steffen, Therese Berg:
LearnLib: a library for automata learning and experimentation. FMICS 2005: 62-71 - [c89]Tiziana Margaria, Bernhard Steffen, Manfred Reitenspieß:
Service-Oriented Design: The Roots. ICSOC 2005: 450-464 - [c88]Tiziana Margaria, Harald Raffelt, Bernhard Steffen:
Analyzing second-order effects between optimizations for system-level test-based model generation. ITC 2005: 7 - [c87]Tiziana Margaria, Bernhard Steffen:
Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints. MBEES 2005: 51-62 - [c86]Tiziana Margaria, Bernhard Steffen:
Second-Order Semantic Web. SEW 2005: 219-227 - [c85]Tiziana Margaria, Ralf Nagel, Bernhard Steffen:
jETI: A Tool for Remote Tool Integration. TACAS 2005: 557-562 - [c84]Tiziana Margaria, Bernhard Steffen:
From the How to the What. VSTTE 2005: 448-459 - [c83]Tiziana Margaria, Bernhard Steffen:
Run-Time Agents as a Means of Reconciling Flexibility and Scalability of Services. WRAC 2005: 257-268 - [i1]Tiziana Margaria, Bernhard Steffen, Manfred Reitenspieß:
Service-Oriented Design: The jABC Approach. Service Oriented Computing 2005 - 2004
- [j29]Tiziana Margaria, Bernhard Steffen:
Lightweight coarse-grained coordination: a scalable system-level approach. Int. J. Softw. Tools Technol. Transf. 5(2-3): 107-123 (2004) - [j28]Hardi Hungar, Bernhard Steffen:
Behavior-based model construction. Int. J. Softw. Tools Technol. Transf. 6(1): 4-14 (2004) - [c82]Tiziana Margaria, Oliver Niese, Harald Raffelt, Bernhard Steffen:
Efficient test-based model generation for legacy reactive systems. HLDVT 2004: 95-100 - [c81]Bernhard Steffen:
Major Threat: From Formal Methods without Tools to Tools without Formal Methods. ICECCS 2004: 15 - [e8]Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß:
International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings. Technical Report TR-2004-6, Department of Computer Science, University of Cyprus 2004 [contents] - [e7]Bernhard Steffen, Giorgio Levi:
Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings. Lecture Notes in Computer Science 2937, Springer 2004, ISBN 3-540-20803-8 [contents] - 2003
- [c80]Hardi Hungar, Oliver Niese, Bernhard Steffen:
Domain-Specific Optimization in Automata Learning. CAV 2003: 315-327 - [c79]Volker Braun, Tiziana Margaria, Bernhard Steffen:
The Electronic Tool Integration Platform (ETI) and the Petri Net Technology. Petri Net Technology for Communication-Based Systems 2003: 363-382 - [c78]Hardi Hungar, Tiziana Margaria, Bernhard Steffen:
Test-Based Model Generation For Legacy Systems. ITC 2003: 971-980 - [c77]Bernhard Steffen, Hardi Hungar:
Behavior-Based Model Construction. VMCAI 2003: 5-19 - 2002
- [c76]Tiziana Margaria, Oliver Niese, Bernhard Steffen, Andrei Erochok:
System level testing of virtual switch (re-)configuration over IP. ETW 2002: 67-72 - [c75]Andreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen:
Model Generation by Moderated Regular Extrapolation. FASE 2002: 80-95 - [c74]Andreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Hans-Dieter Ide:
Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. FASE 2002: 336-340 - [c73]Hardi Hungar, Tiziana Margaria, Bernhard Steffen:
Model Generation for Legacy Systems. RISSEF 2002: 167-183 - [c72]Tiziana Margaria, Oliver Niese, Bernhard Steffen:
Demonstration of an Automated Integrated Test Environment for Web-Based Applications. SPIN 2002: 250-253 - [c71]Tiziana Margaria, Bernhard Steffen:
Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination. FMICS 2002: 66-83 - 2001
- [j27]Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen:
Incremental Requirement Specification for Evolving Systems. Nord. J. Comput. 8(1): 65-87 (2001) - [c70]Oliver Niese, Tiziana Margaria, Andreas Hagerer, Bernhard Steffen, Georg Brune, Werner Goerigk, Hans-Dieter Ide:
Automated regression testing of CTI-systems. ETW 2001: 51-57 - [c69]Oliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune, Hans-Dieter Ide:
Library-Based Design and Consistency Checking of System-Level Industrial Test Cases. FASE 2001: 233-248 - [c68]Bernhard Steffen, Tiziana Margaria, Volker Braun:
Coarse-Granular Model Checking in Practice. SPIN 2001: 304-312 - [p1]Olaf Burkart, Didier Caucal, Faron Moller, Bernhard Steffen:
Verification on Infinite Structures. Handbook of Process Algebra 2001: 545-623 - 2000
- [j26]Helmut Seidl, Bernhard Steffen:
Constraint-Based Inter-Procedural Analysis of Parallel Programs. Nord. J. Comput. 7(4): 375- (2000) - [c67]Helmut Seidl, Bernhard Steffen:
Constraint-Based Inter-Procedural Analysis of Parallel Programs. ESOP 2000: 351-365 - [c66]Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen:
Incremental Requirement Specification for Evolving Systems. FIW 2000: 145-162 - [c65]Oliver Rüthing, Jens Knoop, Bernhard Steffen:
Sparse Code Motion. POPL 2000: 170-183
1990 – 1999
- 1999
- [j25]Olaf Burkart, Bernhard Steffen:
Model Checking the Full Modal mu-Calculus for Infinite Sequential Processes. Theor. Comput. Sci. 221(1-2): 251-270 (1999) - [c64]Bernhard Steffen, Tiziana Margaria:
METAFrame in Practice: Design of Intelligent Network Services. Correct System Design 1999: 390-415 - [c63]Jens Knoop, Oliver Rüthing, Bernhard Steffen:
Expansion-Based Removal of Semantic Partial Redundancies. CC 1999: 91-106 - [c62]Markus Müller-Olm, Bernhard Steffen, Rance Cleaveland:
On the Evolution of Reactive Components: A Process-Algebraic Approach. FASE 1999: 161-175 - [c61]Jens Knoop, Bernhard Steffen:
Code Motion for Explicitly Parallel Programs. PPoPP 1999: 13-24 - [c60]Oliver Rüthing, Jens Knoop, Bernhard Steffen:
Detecting Equalities of Variables: Combining Efficiency with Precision. SAS 1999: 232-247 - [c59]Markus Müller-Olm, David A. Schmidt, Bernhard Steffen:
Model-Checking: A Tutorial Introduction. SAS 1999: 330-354 - [c58]Volker Braun, Jürgen Kreileder, Tiziana Margaria, Bernhard Steffen:
The ETI Online Service in Action. TACAS 1999: 439-443 - [e6]Ernst-Rüdiger Olderog, Bernhard Steffen:
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel). Lecture Notes in Computer Science 1710, Springer 1999, ISBN 3-540-66624-9 [contents] - 1998
- [c57]Jens Knoop, Dirk Koschützki, Bernhard Steffen:
Basic-Block Graphs: Living Dinosaurs? CC 1998: 65-79 - [c56]Jens Knoop, Oliver Rüthing, Bernhard Steffen:
Code Motion and Code Placement: Just Synonyms? ESOP 1998: 154-169 - [c55]Tiziana Margaria, Bernhard Steffen:
Backtracking-Free Design Planning by Automatic Synthesis in METAFrame. FASE 1998: 188-204 - [c54]David A. Schmidt, Bernhard Steffen:
Program Analysis as Model Checking of Abstract Interpretations. SAS 1998: 351-380 - [c53]Volker Braun, Tiziana Margaria, Bernhard Steffen, Haiseung Yoo:
Automatic Error Location for IN Service Definition. Services and Visualization: Towards User-Friendly Design 1998: 222-237 - [e5]Bernhard Steffen:
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. Lecture Notes in Computer Science 1384, Springer 1998, ISBN 3-540-64356-7 [contents] - [e4]Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga:
Services and Visualization: Towards User-Friendly Design, ACoS'98, VISUAL'98, AIN'97, Selected Papers. Lecture Notes in Computer Science 1385, Springer 1998, ISBN 3-540-64367-2 [contents] - 1997
- [j24]Rance Cleaveland, Tiziana Margaria, Bernhard Steffen:
Editorial. Int. J. Softw. Tools Technol. Transf. 1(1-2): 1-5 (1997) - [j23]Bernhard Steffen, Tiziana Margaria, Volker Braun:
The Electronic Tool Integration Platform: Concepts and Design. Int. J. Softw. Tools Technol. Transf. 1(1-2): 9-30 (1997) - [j22]Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise:
Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools. Int. J. Softw. Tools Technol. Transf. 1(1-2): 64-85 (1997) - [c52]Olaf Burkart, Bernhard Steffen:
Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes. ICALP 1997: 419-429 - [c51]Volker Braun, Tiziana Margaria, Bernhard Steffen, Friedrich-Karl Bruhns:
Service Definition for Intelligent Networks: Experience in a Leading-edge Technological Project Based on Constraint Techniques. PACT 1997: 91-106 - [c50]Achim Basermann, Bernhard Steffen:
Preconditioned Solvers for Large Eigenvalue Problems on Massively Parallel Computers and Workstation Clusters. PARCO 1997: 565-572 - [c49]Achim Basermann, Bernhard Steffen:
New Preconditioned Solvers for Large Sparse Eigenvalue Problems on Massively Parallel Computers. PP 1997 - [c48]Michael von der Beeck, Tiziana Margaria, Bernhard Steffen:
A formal requirements engineering method for specification, synthesis, and verification. SEE 1997: 131-144 - [c47]Bernhard Steffen:
Unifying Models. STACS 1997: 1-20 - [c46]Michael von der Beeck, Volker Braun, Andreas Claßen, Achim Dannecker, Carsten Friedrich, Dirk Koschützki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen:
Graphs in METAFrame: The Unifying Power of Polymorphism. TACAS 1997: 112-129 - [e3]Bernhard Steffen, Didier Caucal:
First International Workshop on Verification of Infinite State Systems, Infinity 1996, Università di Pisa, Pisa, Italy, August 30-31, 1996. Electronic Notes in Theoretical Computer Science 5, Elsevier 1997 [contents] - 1996
- [j21]Bernhard Steffen, Tiziana Margaria:
Method Engineering for Real-Life Concurrent Systems. ACM Comput. Surv. 28(4es): 56 (1996) - [j20]Bernhard Steffen, Tiziana Margaria:
Tools Get Formal Methods into Practice. ACM Comput. Surv. 28(4es): 126 (1996) - [j19]Scott A. Smolka, Bernhard Steffen:
Priority as Extremal Probability. Formal Aspects Comput. 8(5): 585-606 (1996) - [j18]Susanne Graf, Bernhard Steffen, Gerald Lüttgen:
Compositional Minimisation of Finite State Systems Using Interface Specifications. Formal Aspects Comput. 8(5): 607-616 (1996) - [j17]Jens Knoop, Oliver Rüthing, Bernhard Steffen:
Towards a tool kit for the automatic generation of interprocedural data flow analyses. J. Program. Lang. 4(4): 211-246 (1996) - [j16]Christof Schelthoff, Bernhard Steffen:
Modellierung und Simulation am Beispiel von Hochtemparatur-Brennstoffzellen. Prax. Inf.verarb. Kommun. 19(3): 138-141 (1996) - [j15]Bernhard Steffen, Tiziana Margaria, Andreas Claßen:
Heterogeneous Analysis and Verification for Distributed Systems. Softw. Concepts Tools 17(1): 13-25 (1996) - [j14]Tiziana Margaria, Bernhard Steffen:
Foreword. Softw. Concepts Tools 17(2): 49 (1996) - [j13]Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun:
Incremental Formalization: A Key to Industrial Success. Softw. Concepts Tools 17(2): 78- (1996) - [j12]Jens Knoop, Bernhard Steffen, Jürgen Vollmer:
Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs. ACM Trans. Program. Lang. Syst. 18(3): 268-299 (1996) - [c45]Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun:
Incremental Formalization. AMAST 1996: 608-611 - [c44]Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun:
The METAFrame'95 Environment. CAV 1996: 450-453 - [c43]Alfons Geser, Jens Knoop, Gerald Lüttgen, Oliver Rüthing, Bernhard Steffen:
Non-monotone Fixpoint Iterations to Resolve Second Order Effects. CC 1996: 106-120 - [c42]Olaf Burkart, Didier Caucal, Bernhard Steffen:
Bisimulation Collapse and the Process Taxonomy. CONCUR 1996: 247-262 - [c41]Bernhard Steffen:
Property-Oriented Expansion. SAS 1996: 22-41 - [c40]Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Rita Nisius, Manfred Reitenspieß:
A Constraint-Oriented Service Creation Environment. TACAS 1996: 418-421 - [c39]Marion Klein, Jens Knoop, Dirk Koschützki, Bernhard Steffen:
DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation. TACAS 1996: 422-426 - [c38]Bernhard Steffen:
Preface. INFINITY 1996: 1 - [e2]Tiziana Margaria, Bernhard Steffen:
Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings. Lecture Notes in Computer Science 1055, Springer 1996, ISBN 3-540-61042-1 [contents] - 1995
- [j11]Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen:
Reactive, Generative and Stratified Models of Probabilistic Processes. Inf. Comput. 121(1): 59-80 (1995) - [j10]Olaf Burkart, Bernhard Steffen:
Composition, Decomposition and Model Checking of Pushdown Processes. Nord. J. Comput. 2(2): 89-125 (1995) - [c37]Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria:
The Fixpoint-Analysis Machine. CONCUR 1995: 72-87 - [c36]Burkhard Freitag, Bernhard Steffen, Tiziana Margaria, Ulrich Zukowski:
An Approach to Intelligent Software Library Management. DASFAA 1995: 71-78 - [c35]Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise:
Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints. Hybrid Systems 1995: 604-615 - [c34]Olaf Burkart, Didier Caucal, Bernhard Steffen:
An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes. MFCS 1995: 423-433 - [c33]Jens Knoop, Oliver Rüthing, Bernhard Steffen:
The Power of Assignment Motion. PLDI 1995: 233-245 - [c32]Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise:
A Constraint Oriented Proof Methodology Based on Modal Transition Systems. TACAS 1995: 17-40 - [c31]Jens Knoop, Bernhard Steffen, Jürgen Vollmer:
Parallelism for Free: Bitvector Analyses -> No State Explosion! TACAS 1995: 264-289 - [c30]Bernhard Steffen, Tiziana Margaria, Andreas Claßen:
The META-Frame: An Environment for Flexible Tool Management. TAPSOFT 1995: 791-792 - [e1]Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen:
Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings. Lecture Notes in Computer Science 1019, Springer 1995, ISBN 3-540-60630-0 [contents] - 1994
- [j9]Bernhard Steffen, Anna Ingólfsdóttir:
Characteristic Formulae for Processes with Divergence. Inf. Comput. 110(1): 149-163 (1994) - [j8]Hardi Hungar, Bernhard Steffen:
Local Model-Checking for Context-Free Processes. Nord. J. Comput. 1(3): 364- (1994) - [j7]Jens Knoop, Oliver Rüthing, Bernhard Steffen:
Optimal Code Motion: Theory and Practice. ACM Trans. Program. Lang. Syst. 16(4): 1117-1155 (1994) - [c29]Olaf Burkart, Bernhard Steffen:
Pushdown Processes: Parallel Composition and Model Checking. CONCUR 1994: 98-113 - [c28]Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise:
The Methodology of Modal Constraints. Formal Systems Specification 1994: 405-435 - [c27]Burkhard Freitag, Tiziana Margaria, Bernhard Steffen:
A Pragmatic Approach to Software Synthesis. Workshop on Interface Definition Languages 1994: 46-58 - [c26]Jens Knoop, Oliver Rüthing, Bernhard Steffen:
Partial Dead Code Elimination. PLDI 1994: 147-158 - 1993
- [j6]Rance Cleaveland, Bernhard Steffen:
A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. Formal Methods Syst. Des. 2(2): 121-147 (1993) - [j5]Bernhard Steffen:
Generating Data Flow Analysis Algorithms from Modal Specifications. Sci. Comput. Program. 21(2): 115-139 (1993) - [j4]Rance Cleaveland, Joachim Parrow, Bernhard Steffen:
The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems. ACM Trans. Program. Lang. Syst. 15(1): 36-72 (1993) - [c25]Hardi Hungar, Bernhard Steffen:
Local Model Checking for Context-Free Processes. ICALP 1993: 593-605 - [c24]Bernhard Steffen, Carsten Weise:
Deciding Testing Equivalence for Real-Time Processes with Dense Time. MFCS 1993: 703-713 - [c23]Andrea Kindler, Thomas Noll, Bernhard Steffen:
Hierarchical parallelization of imperative programs. PDP 1993: 178-184 - 1992
- [j3]Bernhard Steffen, C. Barry Jay, Michael Mendler:
Compositional characterization of observable program properties. RAIRO Theor. Informatics Appl. 26: 403-424 (1992) - [c22]Rance Cleaveland, Marion Klein, Bernhard Steffen:
Faster Model Checking for the Modal Mu-Calculus. CAV 1992: 410-422 - [c21]Jens Knoop, Bernhard Steffen:
The Interprocedural Coincidence Theorem. CC 1992: 125-140 - [c20]Olaf Burkart, Bernhard Steffen:
Model Checking for Context-Free Processes. CONCUR 1992: 123-137 - [c19]Jens Knoop, Oliver Rüthing, Bernhard Steffen:
Lazy Code Motion. PLDI 1992: 224-234 - [c18]Jens Knoop, Oliver Rüthing, Bernhard Steffen:
Lazy code motion (with retrospective). Best of PLDI 1992: 460-472 - 1991
- [j2]Bernhard Steffen, Jens Knoop:
Finite Constants: Characterizations of a New Decidable Set of Constants. Theor. Comput. Sci. 80(2): 303-318 (1991) - [c17]Rance Cleaveland, Bernhard Steffen:
A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. CAV 1991: 48-58 - [c16]Rance Cleaveland, Bernhard Steffen:
Computing Behavioural Relations, Logically. ICALP 1991: 127-138 - [c15]Bernhard Steffen:
Data Flow Analysis as Model Checking. TACS 1991: 346-365 - [c14]Bernhard Steffen, Jens Knoop, Oliver Rüthing:
Efficient Code Motion and an Adaption to Strength Reduction. TAPSOFT, Vol.2 1991: 394-415 - 1990
- [c13]Susanne Graf, Bernhard Steffen:
Compositional Minimization of Finite State Systems. CAV 1990: 186-196 - [c12]Rance Cleaveland, Bernhard Steffen:
A Preorder for Partial Process Specifications. CONCUR 1990: 141-151 - [c11]Scott A. Smolka, Bernhard Steffen:
Priority as Extremal Probability. CONCUR 1990: 456-466 - [c10]Susanne Graf, Bernhard Steffen:
Compositional Minimization of Finite State Systems. CAV (DIMACS/AMS volume) 1990: 57-74 - [c9]Bernhard Steffen, Jens Knoop, Oliver Rüthing:
The Value Flow Graph: A Program Representation for Optimal Program Transformations. ESOP 1990: 389-405 - [c8]Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris M. N. Tofts:
Reactive, Generative, and Stratified Models of Probabilistic Processes. LICS 1990: 130-141 - [c7]Rance Cleaveland, Bernhard Steffen:
When is "Partial" Adequate? A Logic-Based Proof Technique Using Partial Specifications. LICS 1990: 440-449
1980 – 1989
- 1989
- [c6]Rance Cleaveland, Joachim Parrow, Bernhard Steffen:
The Concurrency Workbench. Automatic Verification Methods for Finite State Systems 1989: 24-37 - [c5]Bernhard Steffen:
Characteristic Formulae. ICALP 1989: 723-732 - [c4]Bernhard Steffen, Jens Knoop:
Finite Constants: Characterizations of a New Decidable Set of Constants. MFCS 1989: 481-491 - [c3]Bernhard Steffen:
Optimal Data Flow Analysis via Observational Equivalence. MFCS 1989: 492-502 - [c2]Rance Cleaveland, Joachim Parrow, Bernhard Steffen:
A Semantics Based Verification Tool for Finite State Systems. PSTV 1989: 287-302 - 1988
- [j1]Bernhard Steffen:
Implementation of a resonant cavity package on MIMD computers. Parallel Comput. 7(1): 55-63 (1988) - 1987
- [b1]Bernhard Steffen:
Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten - ein Optimalitätskonzept und seine Anwendung. University of Kiel, Germany, 1987, pp. 1-183 - [c1]Bernhard Steffen:
Optimal Run Time Optimization Proved by a New Look at Abstract Interpretation. TAPSOFT, Vol.1 1987: 52-68
Coauthor Index
[i11] [c246] [c244] [j75] [c229] [c219] [c217] [c216] [c207] [c203] [c199] [j68] [c192] [j63] [c190] [c189] [j62] [j60] [j58] [c182] [c179] [c178] [c177] [c176] [c174] [c171] [c170] [c167] [c165] [c164] [c163] [c162] [c161] [c158] [c157] [c156] [c155] [c152] [c147] [c146] [c141] [c140] [c138] [c137] [c136] [c135]
[e43] [e42] [e41] [e40] [e39] [i11] [c242] [c240] [e37] [e36] [e35] [e34] [j79] [e32] [e31] [j73] [p15] [e30] [e29] [e28] [p14] [p12] [c213] [c205] [e25] [e24] [e23] [e22] [c200] [e21] [j64] [c195] [c194] [c193] [e20] [e19] [c187] [j61] [j59] [j58] [c183] [p11] [e17] [e16] [c173] [c172] [j53] [c168] [c167] [c162] [p10] [p9] [p8] [e15] [e14] [e13] [j52] [j51] [j50] [c154] [c153] [c151] [c147] [c146] [c143] [c140] [j49] [j48] [j47] [c134] [c133] [e12] [e11] [r2] [r1] [i3] [j46] [j45] [j44] [j43] [j42] [j41] [c132] [c131] [c128] [c127] [c126] [c125] [p7] [p6] [p5] [p4] [p3] [p2] [j39] [j38] [j37] [j36] [c124] [c123] [c122] [c121] [c120] [c119] [e10] [i2] [c118] [c117] [c116] [c115] [c114] [c113] [c112] [c110] [j34] [j33] [c109] [c108] [c106] [c105] [c104] [c103] [c102] [c101] [c100] [c99] [c98] [c97] [c96] [c95] [e9] [j31] [j30] [c94] [c93] [c89] [c88] [c87] [c86] [c85] [c84] [c83] [i1] [j29] [c82] [e8] [c79] [c78] [c76] [c74] [c73] [c72] [c71] [j27] [c70] [c69] [c68] [c66] [c64] [c58] [c55] [c53] [e4] [j24] [j23] [c51] [c48] [c46] [j21] [j20] [j15] [j14] [j13] [c45] [c44] [c40] [e2] [c37] [c36] [c30] [e1] [c27]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 21:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
