Google
Google Scholar
Semantic Scholar
IA 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
- 2021
[j80]Frederik Gossen, Tiziana Margaria
, Bernhard Steffen:
Formal Methods Boost Experimental Performance for Explainable AI. IT Prof. 23(6): 8-12 (2021)- [j79]Markus Frohme, Bernhard Steffen:
Compositional learning of mutually recursive procedural systems. Int. J. Softw. Tools Technol. Transf. 23(4): 521-543 (2021) - [j78]Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, Bernhard Steffen:
Towards language-to-language transformation. Int. J. Softw. Tools Technol. Transf. 23(5): 655-677 (2021) - [j77]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) - [j76]Falk Howar, Marc Jasper, Malte Mues, David A. Schmidt, Bernhard Steffen:
The RERS challenge: towards controllable and scalable benchmark synthesis. Int. J. Softw. Tools Technol. Transf. 23(6): 917-930 (2021) - [c232]Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi:
Model Checking, Synthesis, and Learning. Model Checking, Synthesis, and Learning 2021: 1-7 - [c231]Markus Frohme, Bernhard Steffen:
A Context-Free Symbiosis of Runtime Verification and Automata Learning. Formal Methods in Outer Space 2021: 159-181 - [c230]Markus Frohme, Bernhard Steffen:
Never-Stop Context-Free Learning. Model Checking, Synthesis, and Learning 2021: 164-185 - [c229]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 - [c228]Philip Zweihoff, Bernhard Steffen:
Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition. ISoLA 2021: 18-40 - [c227]Barbara Steffen, Bernhard Steffen:
Asking Why. ISoLA 2021: 55-67 - [c226]Barbara Steffen, Falk Howar, Tim Tegeler, Bernhard Steffen:
Agile Business Engineering: From Transformation Towards ContinuousInnovation. ISoLA 2021: 77-94 - [c225]Klaus Havelund, Bernhard Steffen:
Programming - What is Next? ISoLA 2021: 195-201 - [c224]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 - [c223]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
- [j75]Marc Jasper, Maximilian Schlüter, Bernhard Steffen:
Characteristic invariants in Hennessy-Milner logic. Acta Informatica 57(3-5): 671-687 (2020) - [j74]Frederik Gossen, Tiziana Margaria, Bernhard Steffen:
Towards Explainability in Machine Learning: The Formal Methods Way. IT Prof. 22(4): 8-12 (2020) - [j73]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) - [c222]Marc Jasper, Maximilian Schlüter, David Schmidt, Bernhard Steffen:
Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees. ISoLA (4) 2020: 242-263 - [c221]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
- [c220]Bernhard Steffen, Marc Jasper:
Generating Hard Benchmark Problems for Weak Bisimulation. From Reactive Systems to Cyber-Physical Systems 2019: 126-145 - [c219]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 - [c218]Philip Zweihoff, Stefan Naujokat, Bernhard Steffen:
Pyro: Generating Domain-Specific Collaborative Online Modeling Environments. FASE 2019: 101-115 - [c217]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 - [c216]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 - [j72]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) - [j71]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) - [c215]Mohcine Chraibi, Bernhard Steffen:
The Automatic Generation of an Efficient Floor Field for CA Simulations in Crowd Management. ACRI 2018: 185-195 - [c214]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 - [c213]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 - [c212]Reiner Hähnle, Bernhard Steffen:
Constraint-Based Behavioral Consistency of Evolving Software Systems. Machine Learning for Dynamic Software Analysis 2018: 205-218 - [c211]Markus Frohme, Bernhard Steffen:
Active Mining of Document Type Definitions. FMICS 2018: 147-161 - [c210]Bernhard Steffen, Tiziana Margaria:
Predicate Abstraction and Such... FMICS 2018: 181-188 - [c209]Bernhard Steffen, Alnis Murtovi:
M3C: Modal Meta Model Checking. FMICS 2018: 223-241 - [c208]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 - [c207]Marc Jasper, Bernhard Steffen:
Synthesizing Subtle Bugs with Known Witnesses. ISoLA (2) 2018: 235-257 - [c206]Steve Boßelmann, Stefan Naujokat, Bernhard Steffen:
On the Difficulty of Drawing the Line. ISoLA (1) 2018: 340-356 - [c205]Michael Lybecait, Dawid Kopetzki, Bernhard Steffen:
Design for 'X' Through Model Transformation. ISoLA (1) 2018: 381-398 - [c204]Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar:
RERS 2018: CTL, LTL, and Reachability. ISoLA (2) 2018: 433-447 - [c203]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 - [c202]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
- [j70]Bernhard Steffen:
The physics of software tools: SWOT analysis and vision. Int. J. Softw. Tools Technol. Transf. 19(1): 1-7 (2017) - [c201]Bernhard Steffen, Marc Jasper, Jeroen Meijer, Jaco van de Pol:
Property-Preserving Generation of Tailored Benchmark Petri Nets. ACSD 2017: 1-8 - [c200]Alexander Bainczyk, Alexander Schieweck, Bernhard Steffen, Falk Howar:
Model-Based Testing Without Models: The TodoMVC Case Study. ModelEd, TestEd, TrustEd 2017: 125-144 - [c199]Bernhard Steffen, Marc Jasper:
Property-Preserving Parallel Decomposition. Models, Algorithms, Logics and Tools 2017: 125-145 - [c198]Frederik Gossen, Johannes Neubauer, Bernhard Steffen:
Securing C/C++ applications with a SEcube™-based model-driven approach. DTIS 2017: 1-7 - [c197]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 - [c196]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
- [j69]Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen:
Active learning for extended finite state machines. Formal Aspects Comput. 28(2): 233-263 (2016) - [j68]Bernhard Steffen:
Introduction to the First Issue of FoMaC. LNCS Trans. Found. Mastering Chang. 1: 1-6 (2016) - [j67]Bernhard Steffen, Stefan Naujokat:
Archimedean Points: The Essence for Mastering Change. LNCS Trans. Found. Mastering Chang. 1: 22-46 (2016) - [j66]Mohcine Chraibi, Bernhard Steffen:
Multiscale Simulation of Pedestrians for Efficient Predictive Modeling in Large Events. J. Cell. Autom. 11(4): 299-310 (2016) - [j65]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) - [c195]Bernhard Steffen, Malte Isberner, Marc Jasper:
Playing with Abstraction and Representation. Semantics, Logics, and Calculi 2016: 191-213 - [c194]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 - [c193]Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen:
Towards a Unified View of Modeling and Programming (Track Summary). ISoLA (2) 2016: 3-10 - [c192]Stefan Naujokat, Johannes Neubauer, Tiziana Margaria, Bernhard Steffen:
Meta-Level Reuse for Mastering Domain Specialization. ISoLA (2) 2016: 218-237 - [c191]Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Stefan Naujokat, Bernhard Steffen:
Synthesis from a Practical Perspective. ISoLA (1) 2016: 282-302 - [c190]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 - [c189]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 - [c188]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
- [j64]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) - [c187]Malte Isberner, Falk Howar, Bernhard Steffen:
The Open-Source LearnLib - A Framework for Active Automata Learning. CAV (1) 2015: 487-495 - [c186]Malte Isberner, Bernhard Steffen, Falk Howar:
LearnLib Tutorial - An Open-Source Java Library for Active Automata Learning. RV 2015: 358-377 - [c185]Maren Geske, Malte Isberner, Bernhard Steffen:
Rigorous Examination of Reactive Systems: The RERS Challenge 2015. RV 2015: 423-429 - [c184]Bernhard Steffen, Anna-Lena Lamprecht, Tiziana Margaria:
User-level synthesis: treating product lines as systems of constraints. SPLC 2015: 427-431 - 2014
- [j63]Malte Isberner, Falk Howar, Bernhard Steffen:
Learning register automata: from languages to program structures. Mach. Learn. 96(1-2): 65-98 (2014) - [j62]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) - [j61]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) - [j60]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) - [j59]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) - [j58]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) - [c183]Bernhard Steffen, Mohcine Chraibi:
Multiscale Simulation of Pedestrians for Faster Than Real Time Modeling in Large Events. ACRI 2014: 492-500 - [c182]Malte Isberner, Bernhard Steffen:
An Abstract Framework for Counterexample Analysis in Active Automata Learning. ICGI 2014: 79-93 - [c181]Johannes Neubauer, Bernhard Steffen:
Learning-Based Cross-Platform Conformance Testing. ISoLA (Revised Selected Papers) 2014: 53-79 - [c180]Johannes Neubauer, Markus Frohme, Bernhard Steffen, Tiziana Margaria:
Prototype-Driven Development of Web Applications with DyWA. ISoLA (1) 2014: 56-72 - [c179]Falk Howar, Bernhard Steffen:
Learning Models for Verification and Testing - Special Track at ISoLA 2014 Track Introduction. ISoLA (1) 2014: 199-201 - [c178]Sven Jörges, Bernhard Steffen:
Back-To-Back Testing of Model-Based Code Generators. ISoLA (1) 2014: 425-444 - [c177]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 - [c176]Falk Howar, Malte Isberner, Bernhard Steffen:
Tutorial: Automata Learning in Practice. ISoLA (1) 2014: 499-513 - [c175]Malte Isberner, Falk Howar, Bernhard Steffen:
The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. RV 2014: 307-322 - [c174]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
- [j57]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) - [j56]Johannes Neubauer, Bernhard Steffen:
Plug-and-Play Higher-Order Process Integration. Computer 46(11): 56-62 (2013) - [j55]Maik Merten, Bernhard Steffen:
Simplicity Driven Application Development. J. Integr. Des. Process. Sci. 17(3): 9-23 (2013) - [c173]Stephan Windmüller, Johannes Neubauer, Bernhard Steffen, Falk Howar, Oliver Bauer:
Active continuous quality control. CBSE 2013: 111-120 - [c172]Johannes Neubauer, Bernhard Steffen:
Second-Order Servification. ICSOB 2013: 13-25 - [c171]Malte Isberner, Falk Howar, Bernhard Steffen:
Inferring Automata with State-Local Alphabet Abstractions. NASA Formal Methods 2013: 124-138 - [c170]Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske:
Property-Driven Benchmark Generation. SPIN 2013: 341-357 - [c169]Johannes Neubauer, Bernhard Steffen, Tiziana Margaria:
Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond. Festschrift for Dave Schmidt 2013: 259-283 - 2012
- [j54]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) - [c168]Sofia Cassel, Bengt Jonsson, Falk Howar, Bernhard Steffen:
A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations. ATVA 2012: 57-71 - [c167]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 - [c166]Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen:
Loose Programming with PROPHETS. FASE 2012: 94-98 - [c165]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 - [c164]Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, Falk Howar:
Automated continuous quality assurance. FormSERA@ICSE 2012: 37-43 - [c163]