The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bernd-Holger Schlingloff: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.020secs, Finished in 0.021secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002