Bernd-Holger Schlingloff

	2008
22		Stephan Weißleder, Bernd-Holger Schlingloff: Quality of Automatically Generated Test Cases based on OCL Expressions. ICST 2008: 517-520
21		Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff: Specification-Based Testing for Software Product Lines. SEFM 2008: 149-158
20		Satish Mishra, Bernd-Holger Schlingloff: Compliance of CMMI Process Area with Specification Based Development. SERA 2008: 77-84
19		Bernd-Holger Schlingloff: Zyklensuche in Graphen. Taschenbuch der Algorithmen 2008: 83-93
	2007
18		Stephan Weißleder, Bernd-Holger Schlingloff: Deriving Input Partitions from UML Models for Automatic Test Generation. MoDELS Workshops 2007: 151-163
17		Mario Friske, Bernd-Holger Schlingloff: Improving Test Coverage for UML State Machines Using Transition Instrumentation. SAFECOMP 2007: 301-314
16		Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff: Specification-based testing for refinement. SEFM 2007: 237-246
	2005
15		Bernd-Holger Schlingloff, Axel Martens, Karsten Schmidt: Modeling and Model Checking Web Services. Electr. Notes Theor. Comput. Sci. 126: 3-26 (2005)
	2004
14		Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff: Towards a Formal Specification of an Electronic Payment System in CSP-CASL. WADT 2004: 61-78
	2003
13		Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff: Hybrid Logics on Linear Structures: Expressivity and Complexity. TIME 2003: 166-173
12		Maximilian Frey, Bernd-Holger Schlingloff: Conformance of Distributed Systems. TestCom 2003: 163-179
	2002
11		Jan Bredereke, Bernd-Holger Schlingloff: An Automated, Flexible Testing Environment for UMTS. TestCom 2002: 79-94
	2001
10		Bin Zhou, Tomohiro Yoneda, Bernd-Holger Schlingloff: Conformance and mirroring for timed asychronous circuits. ASP-DAC 2001: 341-346
9		Edmund M. Clarke, Bernd-Holger Schlingloff: Model Checking. Handbook of Automated Reasoning 2001: 1635-1790
	2000
8		Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff: Editorial. Logic Journal of the IGPL 8(3): (2000)
	1998
7		Tomohiro Yoneda, Bin Zhou, Bernd-Holger Schlingloff: Verification of Bounded Delay Asynchronous Circuits with Timed Traces. AMAST 1998: 59-73
6		Maximilian Frey, Bernd-Holger Schlingloff: On-the-Fly Model Checking of Program Runs for Automated Debugging. EUROMICRO 1998: 10426-
	1997
5		Bernd-Holger Schlingloff: Modelling Message Buffers with Binary Decision Diagrams. RelMiCS 1997: 101-111
4		Tomohiro Yoneda, Bernd-Holger Schlingloff: Efficient Verification of Parallel Real-Time Systems. Formal Methods in System Design 11(2): 187-215 (1997)
	1993
3		Tomohiro Yoneda, Atsufumi Shibayama, Bernd-Holger Schlingloff, Edmund M. Clarke: Efficient Verification of Parallel Real-Time Systems. CAV 1993: 321-346
	1992
2		Bernd-Holger Schlingloff: On the Expressive Power of Modal Logics on Trees. LFCS 1992: 441-451
1		Bernd-Holger Schlingloff: Expressive completeness of temporal logic of trees. Journal of Applied Non-Classical Logics 2(2): (1992)

Coauthor Index

1	Carlos Areces	[8]
2	Jan Bredereke	[11]
3	Edmund M. Clarke	[3] [9]
4	Massimo Franceschet	[13]
5	Enrico Franconi	[8]
6	Maximilian Frey	[6] [12]
7	Mario Friske	[17]
8	Andy Gimblett	[14]
9	Rajeev Goré	[8]
10	Temesghen Kahsai	[16] [21]
11	Axel Martens	[15]
12	Satish Mishra	[20]
13	Maarten de Rijke	[8] [13]
14	Markus Roggenbach	[14] [16] [21]
15	Atsufumi Shibayama	[3]
16	Stephan Weißleder	[18] [22]
17	Karsten Wolf (Karsten Schmidt)	[15]
18	Tomohiro Yoneda	[3] [4] [7] [10]
19	Bin Zhou	[7] [10]

Colors in the list of coauthors