B. Steffen

发表

Rance Cleaveland, Bernhard Steffen, R. Cleaveland, 1993, Formal Methods Syst. Des..
Clemens D. Renner, T. Margaria, Marco Bakera, 2007 .
T. Margaria, B. Steffen, H. Hungar, 2003, International Test Conference, 2003. Proceedings. ITC 2003..
C. Pandu Rangan, Alfred Kobsa, Gerhard Weikum, 2013 .
Bengt Jonsson, Bernhard Steffen, Falk Howar, 2012, VMCAI.
Bernhard Steffen, Jens Knoop, Marion Klein, 1996, TACAS.
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1994, PLDI '94.
Bernhard Steffen, Jens Knoop, Alfons Geser, 1996, CC.
T. Margaria, B. Steffen, C. Kubczak, 2009 .
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 2000, POPL '00.
Bernhard Steffen, Maik Merten, Falk Howar, 2011, SFM.
Takeo Kanade, Moni Naor, Josef Kittler, 2017, Lecture Notes in Computer Science.
B. Steffen, O. Ruthing, 2011 .
Bernhard Steffen, Olaf Burkart, Didier Caucal, 1995, MFCS.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 1996, CSUR.
Tiziana Margaria, Haiseung Yoo, T. Margaria, 1997, IEEE Intelligent Network Workshop in '97. Proceedings. 'Meeting the Challenges of Converging Networks and Global Demand'.
Tiziana Margaria, Bernhard Steffen, Volker Braun, 1996, AMAST.
B. Steffen, M. Hinchey, Tiziana Margarial, 2006 .
Bernhard Steffen, Bernhard Steffen, B. Steffen, 1997, STACS.
C. Pandu Rangan, Oscar Nierstrasz, Takeo Kanade, 2009, Lecture Notes in Computer Science.
B. Steffen, B. Jonsson, A. Bertolino, 2020 .
Rance Cleaveland, Bernhard Steffen, Joachim Parrow, 1989, PSTV.
B. Steffen, F. Gossen, Alnis Murtovi, 2019, ArXiv.
T. Margaria, B. Steffen, Christian Topnik, 2005 .
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2009, Handbook of Research on Business Process Modeling.
Rance Cleaveland, Bernhard Steffen, Bernhard Steffen, 1993, Formal Methods Syst. Des..
Glynn Winskel, Manfred Droste, Ernst-Rüdiger Olderog, 2021 .
Bernhard Steffen, Susanne Graf, S. Graf, 1990, CAV.
Bernhard Steffen, Scott A. Smolka, Bernhard Steffen, 1990, Formal Aspects of Computing.
Tiziana Margaria, Bernhard Steffen, Joachim Posegga, 1998 .
K. Larsen, B. Steffen, Axel Legay, 2017, International Journal on Software Tools for Technology Transfer.
B. Steffen, Falk Howar, Marc Jasper, 2021, International Journal on Software Tools for Technology Transfer.
T. Margaria, B. Steffen, Falk Howar, 2014, International Journal on Software Tools for Technology Transfer.
B. Steffen, Stephan Windmüller, Johannes Neubauer, 2014, International Journal on Software Tools for Technology Transfer.
Antonello Calabrò, Bernhard Steffen, Antonia Bertolino, 2012, ERCIM News.
Bernhard Steffen, Falk Howar, B. Steffen, 2018, Machine Learning for Dynamic Software Analysis.
Alexander Sczyrba, Robert Giegerich, Tiziana Margaria, 2008, BMC Bioinformatics.
Bernhard Steffen, Dawid Kopetzki, Michael Lybecait, 2018, ISoLA.
Tiziana Margaria, Bernhard Steffen, Marco Bakera, 2011, J. Aerosp. Comput. Inf. Commun..
Tiziana Margaria, Bernhard Steffen, Marco Bakera, 2009, Innovations in Systems and Software Engineering.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2004, International Journal on Software Tools for Technology Transfer.
Tiziana Margaria, Hardi Hungar, Bernhard Steffen, 2002, RISSEF.
Bernhard Steffen, Malte Isberner, Falk Howar, 2015, CAV.
A. Prasad Sistla, Tiziana Margaria, Bernhard Steffen, 2005, CONCUR.
Tiziana Margaria, Bernhard Steffen, Michael von der Beeck, 1997 .
Bernhard Steffen, Anna-Lena Lamprecht, Stefan Naujokat, 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2010, SWAT4LS.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2010, 2010 Seventh International Conference on the Quality of Information and Communications Technology.
Tiziana Margaria, Bernhard Steffen, Christian Kubczak, 2009, Semantic Web Services Challenge.
Harald Raffelt, Bernhard Steffen, Tiziana Margaria, 2008 .
John C. Mitchell, C. P. Rangan, M. Naor, 2009 .
Faron Moller, Bernhard Steffen, Olaf Burkart, 2001, Handbook of Process Algebra.
Bernhard Steffen, Olaf Burkart, Didier Caucal, 1996, CONCUR.
Bernhard Steffen, Olaf Burkart, B. Steffen, 1995, Nord. J. Comput..
Bernhard Steffen, Olaf Burkart, B. Steffen, 1994, CONCUR.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2012, Communications in Computer and Information Science.
Bernhard Steffen, Scott A. Smolka, B. Steffen, 1990, Formal Aspects of Computing.
Rance Cleaveland, Bernhard Steffen, Joachim Parrow, 1993, TOPL.
Bernhard Steffen, Scott A. Smolka, Rob J. van Glabbeek, 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Rance Cleaveland, Bernhard Steffen, R. Cleaveland, 1990, CONCUR.
Falk Howar, Malte Mues, Marc Jasper, 2021, Int. J. Softw. Tools Technol. Transf..
Frits W. Vaandrager, Bernhard Steffen, Markus Schordan, 2019, TACAS.
Tim Tegeler, Alnis Murtovi, Markus Frohme, 2019, From Software Engineering to Formal Methods and Tools, and Back.
Bernhard Steffen, Marc Jasper, B. Steffen, 2019, From Reactive Systems to Cyber-Physical Systems.
Bernhard Steffen, Falk Howar, Malte Mues, 2018, ISoLA.
Bernhard Steffen, Marc Jasper, B. Steffen, 2018, ISoLA.
Bernhard Steffen, Alnis Murtovi, B. Steffen, 2018, FMICS.
Bernhard Steffen, Markus Schordan, Jaco van de Pol, 2017, SPIN.
Bernhard Steffen, Jaco van de Pol, Jeroen Meijer, 2017, 2017 17th International Conference on Application of Concurrency to System Design (ACSD).
Bernhard Steffen, Marc Jasper, B. Steffen, 2017, Models, Algorithms, Logics and Tools.
Tiziana Margaria, Bernhard Steffen, Malte Isberner, 2014, International Journal on Software Tools for Technology Transfer.
Bernhard Steffen, B. Steffen, 2019, Lecture Notes in Computer Science.
Tiziana Margaria, Bernhard Steffen, Volker Braun, 1997, International Journal on Software Tools for Technology Transfer.
Kim G. Larsen, Bernhard Steffen, Carsten Weise, 1996, Hybrid Systems.
Kim G. Larsen, Bernhard Steffen, Carsten Weise, 1994, TACAS.
Kim G. Larsen, Bernhard Steffen, Carsten Weise, 1994, Formal Systems Specification.
Michael Huth, Bernhard Steffen, Oliver Rüthing, 2018, Springer International Publishing.
Bernhard Steffen, Stefan Naujokat, Dawid Kopetzki, 2018, International Journal on Software Tools for Technology Transfer.
B. Steffen, 2017, International Journal on Software Tools for Technology Transfer.
Tiziana Margaria, Bernhard Steffen, Malte Isberner, 2013, SPIN.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2012, Conquering Complexity.
Tiziana Margaria, Bernhard Steffen, Maik Merten, 2011, TACAS.
Bernhard Steffen, Maik Merten, Falk Howar, 2011, VMCAI.
Tiziana Margaria, Bernhard Steffen, Malte Isberner, 2009, SEMWEB.
Tiziana Margaria, Harald Raffelt, Bernhard Steffen, 2009, International Journal on Software Tools for Technology Transfer.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2009, BMC Bioinformatics.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2009, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems.
Tiziana Margaria, Harald Raffelt, Bernhard Steffen, 2007, International Journal on Software Tools for Technology Transfer.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2008, ISoLA.
Tiziana Margaria, Bernhard Steffen, Christian Kubczak, 2008, BMC Bioinformatics.
Tiziana Margaria, Bernhard Steffen, Christian Kubczak, 2008, ERCIM News.
Tiziana Margaria, Harald Raffelt, Bernhard Steffen, 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2007, 31st IEEE Software Engineering Workshop (SEW 2007).
Tiziana Margaria, Bernhard Steffen, Christian Kubczak, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2006, 2006 30th Annual IEEE/NASA Software Engineering Workshop.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2006, Computer.
Tiziana Margaria, Manfred Reitenspieß, Bernhard Steffen, 2005, ICSOC.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2005, VSTTE.
Tiziana Margaria, Bernhard Steffen, Ralf Nagel, 2005, TACAS.
Tiziana Margaria, Bernhard Steffen, Ralf Nagel, 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2005, MBEES.
Hardi Hungar, Bernhard Steffen, Oliver Niese, 2003, CAV.
Hardi Hungar, Bernhard Steffen, Andreas Hagerer, 2002, FASE.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 1999, Correct System Design.
David A. Schmidt, Bernhard Steffen, B. Steffen, 1998, SAS.
Bernhard Steffen, Olaf Burkart, B. Steffen, 1997, Theor. Comput. Sci..
Rance Cleaveland, Tiziana Margaria, Bernhard Steffen, 1997, International Journal on Software Tools for Technology Transfer.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 1996, CSUR.
Tiziana Margaria, Jens Knoop, Marion Klein, 1995, CONCUR.
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1994, TOPL.
Bernhard Steffen, Anna Ingólfsdóttir, B. Steffen, 1994, Inf. Comput..
Bernhard Steffen, B. Steffen, 1993, Sci. Comput. Program..
Bernhard Steffen, Olaf Burkart, B. Steffen, 1992, CONCUR.
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1992, PLDI '92.
Rance Cleaveland, Bernhard Steffen, R. Cleaveland, 1991, ICALP.
Bernhard Steffen, B. Steffen, 1990, TACS.
Rance Cleaveland, Bernhard Steffen, Joachim Parrow, 1990, Automatic Verification Methods for Finite State Systems.
Helmut Seidl, Markus Müller-Olm, Bernhard Steffen, 2005, ESOP.
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1999, SAS.
Bernhard Steffen, Jens Knoop, B. Steffen, 1991, Theor. Comput. Sci..
Tiziana Margaria, Bernhard Steffen, Christian Topnik, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 2004, SIGP.
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1999, CC.
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1998, ESOP.
Frederik Gossen, Bernhard Steffen, B. Steffen, 2021, International Journal on Software Tools for Technology Transfer.
Bernhard Steffen, B. Steffen, 2016, Lecture Notes in Computer Science.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2014, Lecture Notes in Computer Science.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2012, Lecture Notes in Computer Science.
Bernhard Steffen, Scott A. Smolka, Rob J. van Glabbeek, 1995, Inf. Comput..
Bernhard Steffen, Gerald Lüttgen, Susanne Graf, 1996, Formal Aspects of Computing.
Rance Cleaveland, Bernhard Steffen, Markus Müller-Olm, 1999, FASE.
Bernhard Steffen, Susanne Graf, S. Graf, 1990, CAV.
Hardi Hungar, Bernhard Steffen, B. Steffen, 1993, Nord. J. Comput..
Bernhard Steffen, Sven Jörges, B. Steffen, 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.
Bernhard Steffen, Thomas Göke, Markus Doedt, 2012, ISoLA.
Bernhard Steffen, B. Steffen, 2017, International Journal on Software Tools for Technology Transfer.
Bernhard Steffen, Helmut Seidl, B. Steffen, 2000, Nord. J. Comput..
Anna-Lena Lamprecht, Lars M. Blank, Birgitta E. Ebert, 2012, Metabolites.
Tiziana Margaria, Bernhard Steffen, Oliver Rüthing, 2006, Program Analysis and Compilation.
Bernhard Steffen, Michael Mendler, C. Barry Jay, 1990, RAIRO Theor. Informatics Appl..
R. Cleaveland, B. Steffen, R. Cleaveland, 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Hardi Hungar, Bernhard Steffen, B. Steffen, 2002, International Journal on Software Tools for Technology Transfer.
Tiziana Margaria, Bernhard Steffen, Maik Merten, 2012, ISoLA.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2011, FMCO.
Bernhard Steffen, Stefan Naujokat, Philip Zweihoff, 2019, FASE.
Bernhard Steffen, Malte Isberner, Falk Howar, 2014, RV.
Bernhard Steffen, Malte Isberner, Falk Howar, 2014, Machine Learning.
Bernhard Steffen, Jens Knoop, B. Steffen, 1999, PPoPP '99.
Bernhard Steffen, Jens Knoop, Jürgen Vollmer, 1995, TACAS.
T. Margaria, B. Steffen, M. Isberner, 2014, International Journal on Software Tools for Technology Transfer.
Fabrice Kordon, Ezio Bartocci, Dirk Beyer, 2019, TACAS.
Bernhard Steffen, Markus Schordan, Jaco van de Pol, 2016, ISoLA.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2016, ISoLA.
C. Pasareanu, B. Steffen, Falk Howar, 2014, International Journal on Software Tools for Technology Transfer.
Dirk Beyer, Bernhard Steffen, Maik Merten, 2012, ISoLA.
Bernhard Steffen, Oliver Rüthing, B. Steffen, 2011, VMCAI.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2009, Computer.
Bernhard Steffen, Prakash Narayan, B. Steffen, 2007, Computer.
Tiziana Margaria, Bernhard Steffen, Sven Jörges, 2006, Haifa Verification Conference.
Bernhard Steffen, B. Steffen, 1996, SAS.
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1995, PLDI '95.
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1991, TAPSOFT, Vol.2.
B. Steffen, 1989, ICALP.
Valérie Issarny, Gordon S. Blair, Radu Calinescu, 2009, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems.
Tiziana Margaria, Bernhard Steffen, Graziano Pravadelli, 2005, International Journal of Parallel Programming.
Bernhard Steffen, Malte Isberner, Maren Geske, 2015, RV.
Bernhard Steffen, Malte Isberner, Falk Howar, 2013, NASA Formal Methods.
Bernhard Steffen, Falk Howar, Johannes Neubauer, 2011, EternalS@FET.
Tiziana Margaria, Harald Raffelt, Bernhard Steffen, 2004, Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940).
Bernhard Steffen, David A. Schmidt, Markus Müller-Olm, 1999, SAS.
Harald Raffelt, Bernhard Steffen, Therese Berg, 2005, FMICS '05.
Bernhard Steffen, Sven Jörges, B. Steffen, 2014, ISoLA.
Bernhard Steffen, Malte Isberner, B. Steffen, 2014, ICGI.
Manfred Broy, Bernhard Steffen, Klaus Havelund, 2018, ISoLA.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2016, International Journal on Software Tools for Technology Transfer.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2016, Lecture Notes in Computer Science.
Bernhard Steffen, Anna-Lena Lamprecht, Stefan Naujokat, 2012, FASE.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 1998, FASE.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2012, Lecture Notes in Computer Science.
Bengt Jonsson, Harald Raffelt, Bernhard Steffen, 2005, FASE.
Bernhard Steffen, Falk Howar, Johannes Neubauer, 2013, CBSE '13.
Bernhard Steffen, Johannes Neubauer, Steve Boßelmann, 2016, ISoLA.
Bernhard Steffen, Gerhard Woeginger, G. Woeginger, 2019, Computing and Software Science.
John C. Mitchell, Doug J. Tygar, T. Kanade, 2019 .
Tiziana Margaria, Hardi Hungar, Bernhard Steffen, 2003, International Test Conference, 2003. Proceedings. ITC 2003..
Anna Philippou, Stefan Kowalewski, J. Hartmanis, 2018, Lecture Notes in Computer Science.
Takeo Kanade, Jon M. Kleinberg, Bernhard Steffen, 2015, Lecture Notes in Computer Science.
Takeo Kanade, Gerhard Weikum, Jon M. Kleinberg, 2013, Lecture Notes in Computer Science.
Tiziana Margaria, Harald Raffelt, Bernhard Steffen, 2006, BICC.
Kim G. Larsen, Bernhard Steffen, Carsten Weise, 1997, International Journal on Software Tools for Technology Transfer.
Tiziana Margaria, Michael von der Beeck, Bernhard Steffen, 1997, Proceedings 8th Conference on Software Engineering Environments.
T. Margaria, B. Steffen, 2019, Encyclopedia of Education and Information Technologies.
Tiziana Margaria, Bernhard Steffen, Christian Kubczak, 2006, 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).
Tiziana Margaria, Bengt Jonsson, Bernhard Steffen, 2001, Nord. J. Comput..
Tiziana Margaria, Manfred Reitenspieß, Bernhard Steffen, 1996, TACAS.
Tiziana Margaria, Frederik Gossen, Bernhard Steffen, 2019, Computing and Software Science.
Marc Jasper, Maximilian Schlüter, Bernhard Steffen, 2020, Acta Informatica.
Philip Zweihoff, Bernhard Steffen, B. Steffen, 2021, ISoLA.
C. Pandu Rangan, Oscar Nierstrasz, Josef Kittler, 2003, Lecture Notes in Computer Science.
Klaus Havelund, Bernhard Steffen, B. Steffen, 2021, ISoLA.
Bernhard Steffen, Sven Jörges, B. Steffen, 2012, 2012 35th Annual IEEE Software Engineering Workshop.
B. Steffen, B. Jonsson, Falk Howar, 2016, Formal Aspects of Computing.
Bengt Jonsson, Falk Howar, Sofia Cassel, 2015 .
Tim Tegeler, Alexander Bainczyk, Jonas Schürmann, 2021, ISoLA.
Reiner Hähnle, Bernhard Steffen, Reiner Hähnle, 2018, Machine Learning for Dynamic Software Analysis.
Bernhard Steffen, Malte Isberner, Falk Howar, 2014, ISoLA.
Tiziana Margaria, Harald Raffelt, Bernhard Steffen, 2008, TAV-WEB '08.
Tiziana Margaria, Harald Raffelt, Bernhard Steffen, 2005, Innovations in Systems and Software Engineering.
Tiziana Margaria, Bernhard Steffen, Georg Jung, 2008, ISoLA.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2015, SPLC.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2014, Softw. Pract. Exp..
T. Margaria, B. Steffen, Anna-Lena Lamprecht, 2012, International Journal on Software Tools for Technology Transfer.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2011, EternalS@FET.
Tiziana Margaria, Bernhard Steffen, Steve Boßelmann, 2012, Conquering Complexity.
Stefan Naujokat, Dawid Kopetzki, Michael Lybecait, 2021, International Journal on Software Tools for Technology Transfer.
Bernhard Steffen, Malte Isberner, Marc Jasper, 2015, Semantics, Logics, and Calculi.
Tiziana Margaria, Bernhard Steffen, Volker Braun, 2003, Petri Net Technology for Communication-Based Systems.
Takeo Kanade, Moni Naor, Gerhard Weikum, 2014, Lecture Notes in Computer Science.
Takeo Kanade, Jon M. Kleinberg, Bernhard Steffen, 2013, Lecture Notes in Computer Science.
Bernhard Steffen, Jens Knoop, B. Steffen, 1992, CC.
Kim G. Larsen, Axel Legay, Bernhard Steffen, 2017, International Journal on Software Tools for Technology Transfer.
Tiziana Margaria, Bernhard Steffen, Volker Braun, 1998, Services and Visualization: Towards User-Friendly Design.
Tiziana Margaria, Bernhard Steffen, Volker Braun, 1995 .
Rance Cleaveland, Bernhard Steffen, Marion Klein, 1992, CAV.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2011, J. Biomed. Semant..
David A. Schmidt, B. Steffen, M. Müller-Olm, 1999, SAS.
B. Steffen, J. Knoop, Oliver Rüthing, 1994, TOPL.
Bernhard Steffen, Tim Tegeler, Frederik Gossen, 2019, 2019 9th International Conference on Cloud Computing, Data Science & Engineering (Confluence).
Tiziana Margaria, Bernhard Steffen, Emanuele Della Valle, 2016, ICEIS.
Bernhard Steffen, Johannes Neubauer, B. Steffen, 2016, ISoLA.
Tiziana Margaria, Bernhard Steffen, Johannes Neubauer, 2014, ISoLA.
Bernhard Steffen, Johannes Neubauer, Stephan Windmüller, 2014, International Journal on Software Tools for Technology Transfer.
Bernhard Steffen, Johannes Neubauer, B. Steffen, 2013, Computer.
Tiziana Margaria, Bernhard Steffen, Johannes Neubauer, 2013, Festschrift for Dave Schmidt.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2010, Computer.
Christian Wagner, Tiziana Margaria, Bernhard Steffen, 2010, 2010 Seventh IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems.
Tiziana Margaria, Bernhard Steffen, Sven Jörges, 2008, Innovations in Systems and Software Engineering.
Tiziana Margaria, Bernhard Steffen, Ralf Nagel, 2008, ISoLA.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2007, MNCNA '07.
Tiziana Margaria, Bernhard Steffen, Sven Jörges, 2006, ICSE.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2006, CC.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2005, WRAC.
Bernhard Steffen, Stefan Naujokat, B. Steffen, 2016, LNCS Trans. Found. Mastering Chang..
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2014, Process Design for Natural Scientists.
Tiziana Margaria, Bernhard Steffen, Christian Kubczak, 2009, Semantic Web Services Challenge.
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1996, J. Program. Lang..
Bernhard Steffen, Frederik Gossen, Alnis Murtovi, 2019, ArXiv.
Tiziana Margaria, Bernhard Steffen, Johannes Neubauer, 2016, ISoLA.
Bernhard Steffen, Jens Knoop, Dirk Koschützki, 1998, CC.
Jens Knoop, B. Steffen, J. Knoop, 1998, ESOP.
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 2000 .
Fabrice Kordon, Dirk Beyer, Marieke Huisman, 2021, International Journal on Software Tools for Technology Transfer.
Bengt Jonsson, Bernhard Steffen, Maik Merten, 2010, ISoLA.
Bernhard Steffen, Patrizio Pelliccione, Maik Merten, 2012, ISoLA.
Markus Frohme, Bernhard Steffen, B. Steffen, 2021, International Journal on Software Tools for Technology Transfer.