Bernhard Steffen

发表

Tiziana Margaria, Harald Raffelt, Bernhard Steffen, 2007, Haifa Verification Conference.
Bernhard Steffen, Prakash Narayan, B. Steffen, 2007, Computer.
Takeo Kanade, Gerhard Weikum, Jon M. Kleinberg, 2012, Lecture Notes in Computer Science.
Tiziana Margaria, Bernhard Steffen, Maik Merten, 2012, ISoLA.
Bengt Jonsson, Bernhard Steffen, Falk Howar, 2014, SEFM.
Tiziana Margaria, Bernhard Steffen, Frederik Gossen, 2019, Resilience of Cyber-Physical Systems.
Tiziana Margaria, Bernhard Steffen, Volker Braun, 1999, TACAS.
Rance Cleaveland, Bernhard Steffen, R. Cleaveland, 1991, ICALP.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2006, 2006 30th Annual IEEE/NASA Software Engineering Workshop.
Valérie Issarny, Richard Johansson, Alessandro Moschitti, 2012, EternalS@ECAI.
Tiziana Margaria, Manfred Reitenspieß, Bernhard Steffen, 2005, Service Oriented Computing.
Tiziana Margaria, Harald Raffelt, Bernhard Steffen, 2008, TAV-WEB '08.
Faron Moller, Bernhard Steffen, Olaf Burkart, 2001, Handbook of Process Algebra.
Tiziana Margaria, Bernhard Steffen, 2011, 2011 IEEE 34th Software Engineering Workshop.
Tiziana Margaria, Bernhard Steffen, Christian Kubczak, 2012, Semantic Web Services, Advancement through Evaluation.
Bernhard Steffen, Johannes Neubauer, Stephan Windmüller, 2014, International Journal on Software Tools for Technology Transfer.
Tiziana Margaria, Bernhard Steffen, Malte Isberner, 2009, SEMWEB.
Michael Huth, Bernhard Steffen, Oliver Rüthing, 2018, Springer International Publishing.
Bernhard Steffen, Jens Knoop, Dirk Koschützki, 1998, CC.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2010, Encyclopedia of Software Engineering.
Tiziana Margaria, Bernhard Steffen, Maik Merten, 2011, ISoLA Workshops.
Bernhard Steffen, Markus Schordan, Jaco van de Pol, 2017, SPIN.
Manfred Broy, Bernhard Steffen, Klaus Havelund, 2016, ISoLA.
Bernhard Steffen, Maik Merten, Malte Isberner, 2012, ISoLA.
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1999, SAS.
Tiziana Margaria, Bengt Jonsson, Bernhard Steffen, 2001, Nord. J. Comput..
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1996, J. Program. Lang..
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, Johannes Neubauer, 2016, ISoLA.
Tiziana Margaria, Hardi Hungar, Bernhard Steffen, 2002, RISSEF.
Bernhard Steffen, Johannes Neubauer, B. Steffen, 2016, ISoLA.
Tiziana Margaria, Bernhard Steffen, 2005, 29th Annual IEEE/NASA Software Engineering Workshop.
Tiziana Margaria, Bernhard Steffen, Christian Kubczak, 2006 .
Tiziana Margaria, Bernhard Steffen, Hans-Dieter Ide, 2001, FASE.
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1994, PLDI '94.
Tiziana Margaria, Bernhard Steffen, Malte Isberner, 2016, ISoLA.
Bernhard Steffen, Armin Seyfried, Armel Ulrich Kemloh Wagoum, 2011, PPAM.
Tiziana Margaria, Bernhard Steffen, 2002, Electron. Notes Theor. Comput. Sci..
Tiziana Margaria, Bernhard Steffen, Emanuele Della Valle, 2016, ICEIS.
Bernhard Steffen, Malte Isberner, Falk Howar, 2014, RV.
Bernhard Steffen, Olaf Burkart, B. Steffen, 1997, Theor. Comput. Sci..
Bernhard Steffen, Falk Howar, Johannes Neubauer, 2013, CBSE '13.
Tiziana Margaria, Bernhard Steffen, Sven Jörges, 2009, GTTSE.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2012, Conquering Complexity.
Tiziana Margaria, Bernhard Steffen, Georg Jung, 2008, ISoLA.
Bernhard Steffen, Anna-Lena Lamprecht, Stefan Naujokat, 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.
Bernhard Steffen, Markus Frohme, 2018, FMICS.
Bernhard Steffen, Armin Seyfried, Tobias Rupprecht, 2009, Transp. Sci..
A. Prasad Sistla, Tiziana Margaria, Bernhard Steffen, 2005, CONCUR.
Bernhard Steffen, Falk Howar, Alexander Bainczyk, 2017, ModelEd, TestEd, TrustEd.
Rance Cleaveland, Bernhard Steffen, Joachim Parrow, 1990, Automatic Verification Methods for Finite State Systems.
Tiziana Margaria, Bernhard Steffen, Graziano Pravadelli, 2005, International Journal of Parallel Programming.
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1999, CC.
Tiziana Margaria, Bernhard Steffen, Sven Jörges, 2006, ICSE.
Tiziana Margaria, Bernhard Steffen, Andreas Claßen, 1995, TAPSOFT.
Bernhard Steffen, Ernst-R diger Olderog, 1999 .
Bernhard Steffen, Bernhard Steffen, B. Steffen, 1997, STACS.
Tiziana Margaria, Manfred Reitenspieß, Bernhard Steffen, 1996, TACAS.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2009, Computer.
Tiziana Margaria, Bernhard Steffen, Christian Kubczak, 2008, BMC Bioinformatics.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2006, CC.
Tiziana Margaria, Bernhard Steffen, Volker Braun, 1996, CAV.
Bernhard Steffen, Malte Isberner, Marc Jasper, 2015, Semantics, Logics, and Calculi.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2012, 2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI).
Takeo Kanade, Gerhard Weikum, Jon M. Kleinberg, 2012, Lecture Notes in Computer Science.
Bernhard Steffen, Jun Zhang, Armin Seyfried, 2011, 2011 IEEE International Conference on Computer Vision Workshops (ICCV Workshops).
C. Pandu Rangan, Moni Naor, Jon M. Kleinberg, 2018, Lecture Notes in Computer Science.
Takeo Kanade, Jon M. Kleinberg, Bernhard Steffen, 2013, Lecture Notes in Computer Science.
Bernhard Steffen, Johannes Neubauer, Steve Boßelmann, 2016, ISoLA.
Tiziana Margaria, Harald Raffelt, Bernhard Steffen, 2007, International Journal on Software Tools for Technology Transfer.
Tiziana Margaria, Bernhard Steffen, Emanuele Della Valle, 2009, Semantic Web Services Challenge.
Rance Cleaveland, Bernhard Steffen, Marion Klein, 1992, CAV.
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1990, ESOP.
David A. Schmidt, Bernhard Steffen, B. Steffen, 1998, SAS.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 1993, 1993 European Conference on Design Automation with the European Event in ASIC Design.
Tiziana Margaria, Hardi Hungar, Bernhard Steffen, 2002, FASE.
Bernhard Steffen, Tim Tegeler, Frederik Gossen, 2019, 2019 9th International Conference on Cloud Computing, Data Science & Engineering (Confluence).
Tiziana Margaria, Bernhard Steffen, Christian Kubczak, 2009, Semantic Web Services Challenge.
Tiziana Margaria, Harald Raffelt, Bernhard Steffen, 2005, IEEE International Conference on Test, 2005..
Tiziana Margaria, Bernhard Steffen, Volker Braun, 1996, Softw. Concepts Tools.
Takeo Kanade, Jon M. Kleinberg, Bernhard Steffen, 2013, Lecture Notes in Computer Science.
Kim G. Larsen, Axel Legay, Bernhard Steffen, 2016, FMICS-AVoCS.
Tiziana Margaria, Bernhard Steffen, Maik Merten, 2011, ISoLA Workshops.
Tiziana Margaria, Bernhard Steffen, Sven Jörges, 2006, Haifa Verification Conference.
Bernhard Steffen, Falk Howar, Malte Mues, 2018, ISoLA.
C. Pandu Rangan, Oscar Nierstrasz, Josef Kittler, 2003, Lecture Notes in Computer Science.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2006, Software Engineering.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2008, ISoLA.
Bernhard Steffen, Oliver Rüthing, B. Steffen, 2011, VMCAI.
Bernhard Steffen, Malte Isberner, Falk Howar, 2013, NASA Formal Methods.
Bernhard Steffen, Johannes Neubauer, 2011, 2011 IEEE 34th Software Engineering Workshop.
Tiziana Margaria, Bernhard Steffen, Markus Bajohr, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Bernhard Steffen, Maik Merten, Falk Howar, 2010, ISoLA.
Rance Cleaveland, Bernhard Steffen, Joachim Parrow, 1993, TOPL.
Tiziana Margaria, Bernhard Steffen, Christian Kubczak, 2006, 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2005, WRAC.
Bernhard Steffen, B. Steffen, 1996, SAS.
Hardi Hungar, Bernhard Steffen, B. Steffen, 1993, Nord. J. Comput..
Kim G. Larsen, Bernhard Steffen, Carsten Weise, 1994, TACAS.
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1992, PLDI '92.
Bernhard Steffen, Michael Mendler, C. Barry Jay, 1990, RAIRO Theor. Informatics Appl..
Bernhard Steffen, Malte Isberner, Falk Howar, 2015, RV.
Bernhard Steffen, Alnis Murtovi, B. Steffen, 2018, FMICS.
Bernhard Steffen, Scott A. Smolka, Bernhard Steffen, 1990, Formal Aspects of Computing.
Kim G. Larsen, Bernhard Steffen, Carsten Weise, 1997, International Journal on Software Tools for Technology Transfer.
Tiziana Margaria, Bernhard Steffen, Volker Braun, 1997, International Journal on Software Tools for Technology Transfer.
Bernhard Steffen, Malte Isberner, Falk Howar, 2012, ICGI.
Bengt Jonsson, Bernhard Steffen, Maik Merten, 2011, ATVA.
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 2004, SIGP.
Bernhard Steffen, Stefan Naujokat, B. Steffen, 2016, LNCS Trans. Found. Mastering Chang..
Bengt Jonsson, Bernhard Steffen, Maik Merten, 2015, J. Log. Algebraic Methods Program..
Tiziana Margaria, Bernhard Steffen, 2006, DIPES.
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1998, ESOP.
Bernhard Steffen, Maik Merten, Falk Howar, 2011, SFM.
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1994, TOPL.
Alexander Sczyrba, Robert Giegerich, Tiziana Margaria, 2008, BMC Bioinformatics.
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 2000 .
Bernhard Steffen, Maik Merten, Falk Howar, 2010 .
Takeo Kanade, Jon M. Kleinberg, Bernhard Steffen, 2013, Lecture Notes in Computer Science.
Tiziana Margaria, Bernhard Steffen, Volker Braun, 2003, Petri Net Technology for Communication-Based Systems.
Tiziana Margaria, Bernhard Steffen, Barry D. Floyd, 2011, 2011 IEEE 35th Annual Computer Software and Applications Conference Workshops.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2012, International Journal on Software Tools for Technology Transfer.
Bernhard Steffen, B. Steffen, 1990, TACS.
Bernhard Steffen, Sven Jörges, B. Steffen, 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.
Tiziana Margaria, Bernhard Steffen, Volker Braun, 2001, SPIN '01.
Tiziana Margaria, Bernhard Steffen, Sven Jörges, 2010, Formal Aspects of Computing.
Rance Cleaveland, Bernhard Steffen, R. Cleaveland, 1990, CONCUR.
Bernhard Steffen, Malte Isberner, Falk Howar, 2014, ISoLA.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2010, SWAT4LS.
Takeo Kanade, Gerhard Weikum, Jon M. Kleinberg, 2013, Lecture Notes in Computer Science.
Bernhard Steffen, Falk Howar, Johannes Neubauer, 2011, EternalS@FET.
Bernhard Steffen, Malte Isberner, Falk Howar, 2014, Machine Learning.
Bengt Jonsson, Bernhard Steffen, Antonia Bertolino, 2011 .
Tiziana Margaria, Michael von der Beeck, Bernhard Steffen, 1997, TACAS.
Tiziana Margaria, Michael von der Beeck, Bernhard Steffen, 1997, Proceedings 8th Conference on Software Engineering Environments.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2007, MNCNA '07.
Takeo Kanade, Moni Naor, Josef Kittler, 2017, Lecture Notes in Computer Science.
Kim G. Larsen, Bernhard Steffen, Carsten Weise, 1994, Formal Systems Specification.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 1996, CSUR.
Tiziana Margaria, Bernhard Steffen, Ralf Nagel, 2005 .
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2016, Lecture Notes in Computer Science.
Bernhard Steffen, Jaco van de Pol, Jeroen Meijer, 2017, 2017 17th International Conference on Application of Concurrency to System Design (ACSD).
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2007, 31st IEEE Software Engineering Workshop (SEW 2007).
Mohcine Chraibi, Bernhard Steffen, Armin Seyfried, 2013, Adv. Eng. Softw..
Bernhard Steffen, 2016, LNCS Trans. Found. Mastering Chang..
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1995, PLDI '95.
Bernhard Steffen, Susanne Graf, S. Graf, 1990, CAV.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2011, EternalS@FET.
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 1991, TAPSOFT, Vol.2.
Fabrice Kordon, Ezio Bartocci, Dirk Beyer, 2019, TACAS.
Bernhard Steffen, Markus Doedt, 2012, 2012 35th Annual IEEE Software Engineering Workshop.
Bernhard Steffen, Jens Knoop, Jürgen Vollmer, 1995, TACAS.
Harald Raffelt, Bernhard Steffen, 2006, FASE.
Tiziana Margaria, Bernhard Steffen, Johannes Neubauer, 2013, Festschrift for Dave Schmidt.
Bernhard Steffen, Malte Isberner, Falk Howar, 2015, CAV.
Bernhard Steffen, Patrizio Pelliccione, Maik Merten, 2012, ISoLA.
Tiziana Margaria, Bernhard Steffen, Malte Isberner, 2013, SPIN.
Bernhard Steffen, Gerald Lüttgen, Susanne Graf, 1996, Formal Aspects of Computing.
Bernhard Steffen, 2009, ICECCS.
Kim G. Larsen, Bernhard Steffen, Carsten Weise, 1996, Hybrid Systems.
Bernhard Steffen, Stefan Naujokat, Dawid Kopetzki, 2018, International Journal on Software Tools for Technology Transfer.
Tiziana Margaria, Bernhard Steffen, Maik Merten, 2011, TACAS.
Tiziana Margaria, Bernhard Steffen, Christian Kubczak, 2006 .
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2006, Computer.
Tiziana Margaria, Burkhard Freitag, Bernhard Steffen, 1994 .
Takeo Kanade, Jon M. Kleinberg, Bernhard Steffen, 2012, Lecture Notes in Computer Science.
Tiziana Margaria, Bernhard Steffen, Volker Braun, 1996, AMAST.
Tiziana Margaria, Bernhard Steffen, 2018, FMICS.
Bernhard Steffen, Malte Isberner, B. Steffen, 2014, ICGI.
Takeo Kanade, Gerhard Weikum, Jon M. Kleinberg, 2013, Lecture Notes in Computer Science.
Tiziana Margaria, Bernhard Steffen, Andreas Claßen, 1996, Softw. Concepts Tools.
Bernhard Steffen, Scott A. Smolka, Rob J. van Glabbeek, 1995, Inf. Comput..
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2010, Computer.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2015, SPLC.
Bernhard Steffen, Helmut Seidl, B. Steffen, 2000, Nord. J. Comput..
Tiziana Margaria, Harald Raffelt, Bernhard Steffen, 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
Tiziana Margaria, Bernhard Steffen, Ralf Nagel, 2005, TACAS.
Tiziana Margaria, Harald Raffelt, Bernhard Steffen, 2006, BICC.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2004, International Journal on Software Tools for Technology Transfer.
Tiziana Margaria, Bernhard Steffen, Christian Kubczak, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Bernhard Steffen, Maik Merten, 2013, J. Integr. Des. Process. Sci..
Tiziana Margaria, Bernhard Steffen, Oliver Rüthing, 2006, Program Analysis and Compilation.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 1999, Correct System Design.
Bernhard Steffen, B. Steffen, 2017, International Journal on Software Tools for Technology Transfer.
Harald Raffelt, Bernhard Steffen, Tiziana Margaria, 2008 .
Hardi Hungar, Bernhard Steffen, Oliver Niese, 2003, CAV.
J. van Leeuwen, Jan van Leeuwen, Giorgio Levi, 2004, Lecture Notes in Computer Science.
Bernhard Steffen, 1997 .
Tiziana Margaria, Bernhard Steffen, Frederik Gossen, 2018, ISoLA.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2009, BMC Bioinformatics.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2014, Softw. Pract. Exp..
Rance Cleaveland, Bernhard Steffen, Joachim Parrow, 1989, PSTV.
Tiziana Margaria, Bernhard Steffen, Malte Isberner, 2014, International Journal on Software Tools for Technology Transfer.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2011, FMCO.
Bernhard Steffen, Jens Knoop, Alfons Geser, 1996, CC.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2012, Lecture Notes in Computer Science.
Tiziana Margaria, Hardi Hungar, Bernhard Steffen, 2003, International Test Conference, 2003. Proceedings. ITC 2003..
Bernhard Steffen, Anna Ingólfsdóttir, B. Steffen, 1994, Inf. Comput..
Bernhard Steffen, Stefan Naujokat, Philip Zweihoff, 2019, FASE.
Bernhard Steffen, Falk Howar, B. Steffen, 2018, Machine Learning for Dynamic Software Analysis.
Bernhard Steffen, Sven Jörges, B. Steffen, 2012, 2012 35th Annual IEEE Software Engineering Workshop.
Tiziana Margaria, Manfred Reitenspieß, Bernhard Steffen, 2005, ICSOC.
Bernhard Steffen, Marc Jasper, B. Steffen, 2017, Models, Algorithms, Logics and Tools.
Tiziana Margaria, Bernhard Steffen, Joachim Posegga, 1998 .
Takeo Kanade, Jon M. Kleinberg, Bernhard Steffen, 2013, Lecture Notes in Computer Science.
Tiziana Margaria, Harald Raffelt, Bernhard Steffen, 2009, International Journal on Software Tools for Technology Transfer.
Bernhard Steffen, Susanne Graf, S. Graf, 1990, CAV.
Bernhard Steffen, Jens Knoop, B. Steffen, 1992, CC.
Bernhard Steffen, Olaf Burkart, B. Steffen, 1992, CONCUR.
Tiziana Margaria, Bernhard Steffen, Joachim Posegga, 1998, Lecture Notes in Computer Science.
Tiziana Margaria, Harald Raffelt, Bernhard Steffen, 2004, Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940).
Tiziana Margaria, Burkhard Freitag, Bernhard Steffen, 1994, Workshop on Interface Definition Languages.
C. Pandu Rangan, Oscar Nierstrasz, Josef Kittler, 2004, Lecture Notes in Computer Science.
Frits W. Vaandrager, Bernhard Steffen, Markus Schordan, 2019, TACAS.
Tiziana Margaria, Bernhard Steffen, Christian Wagner, 2009, 2009 IEEE International Conference on Software Maintenance.
Bernhard Steffen, Johannes Neubauer, 2013, ICSOB.
Bengt Jonsson, Bernhard Steffen, Malte Isberner, 2012, ISoLA.
Tiziana Margaria, Bernhard Steffen, Marco Bakera, 2011, J. Aerosp. Comput. Inf. Commun..
Bernhard Steffen, Maik Merten, Falk Howar, 2011, VMCAI.
Bengt Jonsson, Bernhard Steffen, Falk Howar, 2012, VMCAI.
Bernhard Steffen, Stefan Naujokat, Dawid Kopetzki, 2018, ISoLA.
Bernhard Steffen, Anna-Lena Lamprecht, Stefan Naujokat, 2012, FASE.
Bengt Jonsson, Bernhard Steffen, Maik Merten, 2012, TACAS.
Tiziana Margaria, Burkhard Freitag, Bernhard Steffen, 1995, DASFAA.
Bernhard Steffen, M. Schordan, Lenore Zuck, 2014 .
Hardi Hungar, Bernhard Steffen, Andreas Hagerer, 2002, FASE.
Tiziana Margaria, Bernhard Steffen, Ralf Nagel, 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).
Bengt Jonsson, Bernhard Steffen, Maik Merten, 2010, ISoLA.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2014, Process Design for Natural Scientists.
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, Bernhard Steffen, Christian Kubczak, 2009, Semantic Web Services Challenge.
Bernhard Steffen, Olaf Burkart, Didier Caucal, 1995, MFCS.
Bernhard Steffen, Marc Jasper, B. Steffen, 2018, ISoLA.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2016, ISoLA.
Takeo Kanade, Jon M. Kleinberg, Bernhard Steffen, 2015, Lecture Notes in Computer Science.
Bernhard Steffen, Jens Knoop, Oliver Rüthing, 2000, POPL '00.
Bernhard Steffen, B. Steffen, 2016, Lecture Notes in Computer Science.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2009, SWAT4LS.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2009, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems.
Bernhard Steffen, Malte Isberner, Maren Geske, 2015, RV.
Tiziana Margaria, Bernhard Steffen, Christian Kubczak, 2010, Journal of the Brazilian Computer Society.
Valérie Issarny, Gordon S. Blair, Paola Inverardi, 2010, ISoLA.
Tiziana Margaria, Bernhard Steffen, Johannes Neubauer, 2014, ISoLA.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2010, 2010 Seventh International Conference on the Quality of Information and Communications Technology.
Rance Cleaveland, Bernhard Steffen, Bernhard Steffen, 1993, Formal Methods Syst. Des..
Rance Cleaveland, Bernhard Steffen, R. Cleaveland, 1993, Formal Methods Syst. Des..
Bernhard Steffen, Markus Schordan, Jaco van de Pol, 2016, ISoLA.
Bernhard Steffen, Johannes Neubauer, B. Steffen, 2013, Computer.
Bernhard Steffen, B. Steffen, 1988, Parallel Comput..
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2014, Lecture Notes in Computer Science.
Tiziana Margaria, Bernhard Steffen, Christian Kubczak, 2007, 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops.
Tiziana Margaria, Bernhard Steffen, Ralf Nagel, 2008, ISoLA.
Tiziana Margaria, Bernhard Steffen, Michael G. Hinchey, 2009, International Journal on Software Tools for Technology Transfer.
Tiziana Margaria, Bernhard Steffen, Malte Isberner, 2014, International Journal on Software Tools for Technology Transfer.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 1998, FASE.
Ernst-Rüdiger Olderog, Bernhard Steffen, 2000, Lecture Notes in Computer Science.
Tiziana Margaria, Bernhard Steffen, Christian Kubczak, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Takeo Kanade, Moni Naor, Gerhard Weikum, 2015, Lecture Notes in Computer Science.
Tiziana Margaria, Bernhard Steffen, 2006, International Journal on Software Tools for Technology Transfer.
Bengt Jonsson, Harald Raffelt, Bernhard Steffen, 2005, FASE.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 1996, CSUR.
Tiziana Margaria, Bernhard Steffen, Steve Boßelmann, 2012, Conquering Complexity.
Bernhard Steffen, Maxim Reshetnyak, B. Steffen, 2007, PARCO.
Tiziana Margaria, Bernhard Steffen, Christian Topnik, 2006, SPIN.
Reiner Hähnle, Bernhard Steffen, Reiner Hähnle, 2018, Machine Learning for Dynamic Software Analysis.
Bengt Jonsson, Bernhard Steffen, Falk Howar, 2016, Formal Aspects of Computing.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2009, Handbook of Research on Business Process Modeling.
Hardi Hungar, Bernhard Steffen, 2003, VMCAI.
Tiziana Margaria, Bernhard Steffen, Christian Wagner, 2010, Encyclopedia of Software Engineering.
Bengt Jonsson, Bernhard Steffen, Falk Howar, 2018, Machine Learning for Dynamic Software Analysis.
Bernhard Steffen, Jens Knoop, Jürgen Vollmer, 1995 .
Axel Legay, Bernhard Steffen, Louis-Marie Traonouez, 2014, ISoLA.
Tiziana Margaria, Bernhard Steffen, Maik Merten, 2012, 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA).
Bernhard Steffen, Olaf Burkart, Didier Caucal, 1996, CONCUR.
Bernhard Steffen, Olaf Burkart, B. Steffen, 1994, CONCUR.
Harald Raffelt, Bernhard Steffen, Therese Berg, 2005, FMICS '05.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2016, International Journal on Software Tools for Technology Transfer.
Bernhard Steffen, Sven Jörges, B. Steffen, 2014, ISoLA.
Bernhard Steffen, Steve Boßelmann, Stefan Naujokat, 2018, ISoLA.
Tiziana Margaria, Bernhard Steffen, Michael von der Beeck, 1997 .
Bernhard Steffen, Dawid Kopetzki, Michael Lybecait, 2018, ISoLA.
Antonello Calabrò, Bernhard Steffen, Antonia Bertolino, 2012, ERCIM News.
Bernhard Steffen, Jens Knoop, B. Steffen, 1991, Theor. Comput. Sci..
Bernhard Steffen, Scott A. Smolka, B. Steffen, 1990, Formal Aspects of Computing.
Harald Raffelt, Bernhard Steffen, Maik Merten, 2007 .
Bernhard Steffen, Jens Knoop, Marion Klein, 1996, TACAS.
C. Pandu Rangan, Alfred Kobsa, Gerhard Weikum, 2013 .
Bernhard Steffen, Antonia Bertolino, Gordon Blair, 2012 .
Bernhard Steffen, Frederik Gossen, Johannes Neubauer, 2017, 2017 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS).
Tiziana Margaria, Bernhard Steffen, Marco Bakera, 2009, Innovations in Systems and Software Engineering.
Takeo Kanade, Moni Naor, Gerhard Weikum, 2014, Lecture Notes in Computer Science.
Takeo Kanade, Gerhard Weikum, Jon M. Kleinberg, 2012, Lecture Notes in Computer Science.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2008, SWAT4LS.
Bernhard Steffen, Markus Doedt, 2011, 2011 IEEE 34th Software Engineering Workshop.
Bernhard Steffen, Thomas Göke, Markus Doedt, 2012, ISoLA.
Tiziana Margaria, Bernhard Steffen, Oliver Niese, 2002 .
Dirk Beyer, Bernhard Steffen, Corina S. Pasareanu, 2014, International Journal on Software Tools for Technology Transfer.
Bernhard Steffen, Jens Knoop, B. Steffen, 1999, PPoPP '99.
Tiziana Margaria, Axel Legay, Bernhard Steffen, 2017, 2017 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS).
Takeo Kanade, Jon M. Kleinberg, Bernhard Steffen, 2013, Lecture Notes in Computer Science.
Tiziana Margaria, Harald Raffelt, Bernhard Steffen, 2005, Innovations in Systems and Software Engineering.
Tiziana Margaria, Bernhard Steffen, T. Margaria, 2005, MBEES.
Manfred Broy, Bernhard Steffen, Klaus Havelund, 2018, ISoLA.
Tiziana Margaria, Bernhard Steffen, Christian Kubczak, 2008, ERCIM News.
Tiziana Margaria, Bernhard Steffen, Sven Jörges, 2008, Innovations in Systems and Software Engineering.
Tiziana Margaria, Bernhard Steffen, Christian Topnik, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Tiziana Margaria, Bernhard Steffen, Volker Braun, 1998, Services and Visualization: Towards User-Friendly Design.
Tiziana Margaria, Bernhard Steffen, Oliver Niese, 2002, SPIN.
Hardi Hungar, Bernhard Steffen, B. Steffen, 2002, International Journal on Software Tools for Technology Transfer.
Tiziana Margaria, Bernhard Steffen, Anna-Lena Lamprecht, 2011, J. Biomed. Semant..
Kim G. Larsen, Axel Legay, Bernhard Steffen, 2017, International Journal on Software Tools for Technology Transfer.
Dirk Beyer, Bernhard Steffen, Maik Merten, 2012, ISoLA.
Bernhard Steffen, Olaf Burkart, B. Steffen, 1995, Nord. J. Comput..
Bernhard Steffen, B. Steffen, 1993, Sci. Comput. Program..
Valérie Issarny, Gordon S. Blair, Radu Calinescu, 2009, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems.