Search the dblp DataBase

Publications of Author

1. Bernd-Holger Schlingloff
   Modelling Message Buffers with Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 1997, pp:101-111 [Conf]
   
2. Tomohiro Yoneda, Bin Zhou, Bernd-Holger Schlingloff
   Verification of Bounded Delay Asynchronous Circuits with Timed Traces. [Citation Graph (0, 0)][DBLP]
   AMAST, 1998, pp:59-73 [Conf]
   
3. Bin Zhou, Tomohiro Yoneda, Bernd-Holger Schlingloff
   Conformance and mirroring for timed asychronous circuits. [Citation Graph (0, 0)][DBLP]
   ASP-DAC, 2001, pp:341-346 [Conf]
   
4. Tomohiro Yoneda, Atsufumi Shibayama, Bernd-Holger Schlingloff, Edmund M. Clarke
   Efficient Verification of Parallel Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   CAV, 1993, pp:321-346 [Conf]
   
5. Maximilian Frey, Bernd-Holger Schlingloff
   On-the-Fly Model Checking of Program Runs for Automated Debugging. [Citation Graph (0, 0)][DBLP]
   EUROMICRO, 1998, pp:10426-0 [Conf]
   
6. Bernd-Holger Schlingloff
   On the Expressive Power of Modal Logics on Trees. [Citation Graph (0, 0)][DBLP]
   LFCS, 1992, pp:441-451 [Conf]
   
7. Jan Bredereke, Bernd-Holger Schlingloff
   An Automated, Flexible Testing Environment for UMTS. [Citation Graph (0, 0)][DBLP]
   TestCom, 2002, pp:79-94 [Conf]
   
8. Maximilian Frey, Bernd-Holger Schlingloff
   Conformance of Distributed Systems. [Citation Graph (0, 0)][DBLP]
   TestCom, 2003, pp:163-179 [Conf]
   
9. Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff
   Hybrid Logics on Linear Structures: Expressivity and Complexity. [Citation Graph (0, 0)][DBLP]
   TIME, 2003, pp:166-173 [Conf]
   
10. Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff
    Towards a Formal Specification of an Electronic Payment System in CSP-CASL. [Citation Graph (0, 0)][DBLP]
    WADT, 2004, pp:61-78 [Conf]
    
11. Bernd-Holger Schlingloff, Axel Martens, Karsten Schmidt
    Modeling and Model Checking Web Services. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:126, n:, pp:3-26 [Journal]
    
12. Tomohiro Yoneda, Bernd-Holger Schlingloff
    Efficient Verification of Parallel Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1997, v:11, n:2, pp:187-215 [Journal]
    
13. Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff
    Editorial. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2000, v:8, n:3, pp:- [Journal]
    
14. Bernd-Holger Schlingloff
    Expressive completeness of temporal logic of trees. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1992, v:2, n:2, pp:- [Journal]
    
15. Mario Friske, Bernd-Holger Schlingloff
    Improving Test Coverage for UML State Machines Using Transition Instrumentation. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2007, pp:301-314 [Conf]
    
16. 
    Finding Uniform Strategies for Multi-agent Systems. [Citation Graph (, )][DBLP]
    
    
17. 
    Deriving Input Partitions from UML Models for Automatic Test Generation. [Citation Graph (, )][DBLP]
    
    
18. 
    Specification-based testing for refinement. [Citation Graph (, )][DBLP]
    
    
19. 
    Specification-Based Testing for Software Product Lines. [Citation Graph (, )][DBLP]
    
    
20. 
    Compliance of CMMI Process Area with Specification Based Development. [Citation Graph (, )][DBLP]
    
    
21. 
    Quality of Automatically Generated Test Cases based on OCL Expressions. [Citation Graph (, )][DBLP]
    
    
22. 
    Von Use Cases zu Test Cases: Eine systematische Vorgehensweise. [Citation Graph (, )][DBLP]
    
    
23. 
    Composition of Model-based Test Coverage Criteria. [Citation Graph (, )][DBLP]
    
    
24. 
    Generierung von UML-Modellen aus formalisierten Anwendungsfallbeschreibungen. [Citation Graph (, )][DBLP]
    
    
25. 
    Abdeckungskriterien in der modellbasierten Testfallgenerierung: Stand der Technik und Perspektiven. [Citation Graph (, )][DBLP]