
Bernhard 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
- [c222]Bernhard Steffen, Alnis Murtovi:
Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper). VMCAI 2021: 29-51 - 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) - [c221]Jonas Schürmann, Tim Tegeler, Bernhard Steffen:
Guaranteeing Type Consistency in Collective Adaptive Systems. ISoLA (2) 2020: 311-328 - [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]Markus Doedt, Thomas Göke, Jan Pardo, Bernhard Steffen:
Reha-Sports: The Challenge of Small Margin Healthcare Accounting. ISoLA (2) 2012: 75-77 - [c162]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 - [c161]Falk Howar
, Malte Isberner
, Bernhard Steffen, Oliver Bauer, Bengt Jonsson:
Inferring Semantic Interfaces of Data Structures. ISoLA (1) 2012: 554-571 - [c160]Falk Howar
, Malte Isberner
, Maik Merten, Bernhard Steffen:
LearnLib Tutorial: From Finite Automata to Register Interface Programs. ISoLA (1) 2012: 587-590 - [c159]Maik Merten, Malte Isberner
, Falk Howar
, Bernhard Steffen, Tiziana Margaria
:
Automated Learning Setups in Automata Learning. ISoLA (1) 2012: 591-607 - [c158]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 - [c157]Sven Jörges, Bernhard Steffen:
Exploiting Ecore's Reflexivity for Bootstrapping Domain-Specific Code-Generators. SEW 2012: 72-81 - [c156]Markus Doedt, Bernhard Steffen:
An Evaluation of Service Integration Approaches of Business Process Management Systems. SEW 2012: 158-167 - [c155]Maik Merten, Falk Howar
, Bernhard Steffen, Sofia Cassel, Bengt Jonsson:
Demonstrating Learning of Register Automata. TACAS 2012: 466-471 - [c154]Falk Howar
, Bernhard Steffen, Bengt Jonsson, Sofia Cassel:
Inferring Canonical Register Automata. VMCAI 2012: 251-266 - [c153]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.