Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Bernd-Holger Schlingloff
Holger Schlingloff
2010 – today
- 2013
[c23]- [e4]Alexander K. Petrenko, Holger Schlingloff (Eds.): Proceedings Eighth Workshop on Model-Based Testing. EPTCS 111, 2013
- 2012
- [c22]Hartmut Lackner, Holger Schlingloff: Modeling for automated test generation - a comparison. MBEES 2012: 57-70
- [p4]Hendrik Heinze, Khalid Kallow, Hartmut Lackner, Sadegh Sadeghipour, Holger Schlingloff, Salko Tahirbegovic, Hans-Werner Wiesbrock: Application and Evaluation in the Healthcare Domain. Model-Based Engineering of Embedded Systems 2012: 215-230
- [e3]Stefan Jähnichen, Bernhard Rumpe, Holger Schlingloff (Eds.): Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar - 2. März 2012 in Berlin. LNI 199, GI 2012, ISBN 978-3-88579-293-2
- [e2]Alexander K. Petrenko, Holger Schlingloff (Eds.): Proceedings 7th Workshop on Model-Based Testing. EPTCS 80, 2012
- 2011
- [p3]
- [e1]Hans-Ulrich Heiß, Peter Pepper, Holger Schlingloff, Jörg Schneider (Eds.): Informatik 2011: Informatik schafft Communities, Beiträge der 41. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 4.-7.10.2011, Berlin (Abstract Proceedings). LNI 192, GI 2011, ISBN 978-88579-286-4-7
- 2010
- [c21]Jan Calta, Dmitry Shkatov, Bernd-Holger Schlingloff: Finding Uniform Strategies for Multi-agent Systems. CLIMA 2010: 135-152
2000 – 2009
- 2008
- [j5]Holger Schlingloff, Mario Friske, Herbert Barthel: Verifkation und Test des PROFIsafe-Sicherheitsprofils. Softwaretechnik-Trends 28(1) (2008)
- [c20]Stephan Weißleder, Bernd-Holger Schlingloff: Quality of Automatically Generated Test Cases based on OCL Expressions. ICST 2008: 517-520
- [c19]Mario Friske, Bernd-Holger Schlingloff, Stephan Weißleder: Composition of Model-based Test Coverage Criteria. MBEES 2008: 87-94
- [c18]Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff: Specification-Based Testing for Software Product Lines. SEFM 2008: 149-158
- [c17]Satish Mishra, Bernd-Holger Schlingloff: Compliance of CMMI Process Area with Specification Based Development. SERA 2008: 77-84
- [p2]
- 2007
- [c16]Mario Friske, Bernd-Holger Schlingloff: Generierung von UML-Modellen aus formalisierten Anwendungsfallbeschreibungen. MBEES 2007: 113-112
- [c15]Stephan Weißleder, Bernd-Holger Schlingloff: Deriving Input Partitions from UML Models for Automatic Test Generation. MoDELS Workshops 2007: 151-163
- [c14]Mario Friske, Bernd-Holger Schlingloff: Improving Test Coverage for UML State Machines Using Transition Instrumentation. SAFECOMP 2007: 301-314
- [c13]Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff: Specification-based testing for refinement. SEFM 2007: 237-246
- 2006
- [c12]Mario Friske, Bernd-Holger Schlingloff: Abdeckungskriterien in der modellbasierten Testfallgenerierung: Stand der Technik und Perspektiven. MBEES 2006: 27-34
- 2005
- [j4]Bernd-Holger Schlingloff, Axel Martens, Karsten Schmidt: Modeling and Model Checking Web Services. Electr. Notes Theor. Comput. Sci. 126: 3-26 (2005)
- [c11]Mario Friske, Bernd-Holger Schlingloff: Von Use Cases zu Test Cases: Eine systematische Vorgehensweise. MBEES 2005: 1-10
- 2004
- [c10]Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff: Towards a Formal Specification of an Electronic Payment System in CSP-CASL. WADT 2004: 61-78
- 2003
- [c9]Maximilian Frey, Bernd-Holger Schlingloff: Conformance of Distributed Systems. TestCom 2003: 163-179
- [c8]Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff: Hybrid Logics on Linear Structures: Expressivity and Complexity. TIME 2003: 166-173
- 2002
- [c7]Jan Bredereke, Bernd-Holger Schlingloff: An Automated, Flexible Testing Environment for UMTS. TestCom 2002: 79-94
- 2001
- [c6]Bin Zhou, Tomohiro Yoneda, Bernd-Holger Schlingloff: Conformance and mirroring for timed asychronous circuits. ASP-DAC 2001: 341-346
- [p1]Edmund M. Clarke, Bernd-Holger Schlingloff: Model Checking. Handbook of Automated Reasoning 2001: 1635-1790
- 2000
- [j3]Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff: Editorial. Logic Journal of the IGPL 8(3): 231-237 (2000)
1990 – 1999
- 1998
- [c5]Tomohiro Yoneda, Bin Zhou, Bernd-Holger Schlingloff: Verification of Bounded Delay Asynchronous Circuits with Timed Traces. AMAST 1998: 59-73
- [c4]Maximilian Frey, Bernd-Holger Schlingloff: On-the-Fly Model Checking of Program Runs for Automated Debugging. EUROMICRO 1998: 10426-
- 1997
- [j2]Tomohiro Yoneda, Bernd-Holger Schlingloff: Efficient Verification of Parallel Real-Time Systems. Formal Methods in System Design 11(2): 187-215 (1997)
- [c3]Bernd-Holger Schlingloff: Modelling Message Buffers with Binary Decision Diagrams. RelMiCS 1997: 101-111
- 1993
- [c2]Tomohiro Yoneda, Atsufumi Shibayama, Bernd-Holger Schlingloff, Edmund M. Clarke: Efficient Verification of Parallel Real-Time Systems. CAV 1993: 321-346
- 1992
- [j1]Bernd-Holger Schlingloff: Expressive completeness of temporal logic of trees. Journal of Applied Non-Classical Logics 2(2): 157-180 (1992)
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:22 CEST by the dblp team