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



