The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael Balser: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen, Christoph Duelli
    Experiences in the Formalisation and Verification of Medical Protocols. [Citation Graph (0, 0)][DBLP]
    AIME, 2003, pp:132-141 [Conf]
  2. Felix Bübl, Michael Balser
    Tracing Cross-Cutting Requirements via Context-Based Constraints. [Citation Graph (0, 0)][DBLP]
    CSMR, 2005, pp:80-90 [Conf]
  3. Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
    Verification of Medical Guidelines Using Task Execution with Background Knowledge. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:835-836 [Conf]
  4. Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen
    From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols. [Citation Graph (0, 0)][DBLP]
    EKAW, 2002, pp:49-64 [Conf]
  5. Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums
    Formal System Development with KIV. [Citation Graph (0, 0)][DBLP]
    FASE, 2000, pp:363-366 [Conf]
  6. Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
    KIV 3.0 for Provably Correct Systems. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:330-337 [Conf]
  7. Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
    VSE: Controlling the Complexity in Formal Software Developments. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:351-358 [Conf]
  8. Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos
    Interactive Verification of Medical Guidelines. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:32-47 [Conf]
  9. Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums
    Interactive Verification of UML State Machines. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:434-448 [Conf]
  10. Arjen Hommersom, Peter J. F. Lucas, Michael Balser
    Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:654-666 [Conf]
  11. Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt
    Verification of Medical Guidelines by Model Checking - A Case Study. [Citation Graph (0, 0)][DBLP]
    SPIN, 2006, pp:219-233 [Conf]
  12. Annette ten Teije, Mar Marcos, Michael Balser, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Peter J. F. Lucas, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang
    Improving medical protocols by formal methods. [Citation Graph (0, 0)][DBLP]
    Artificial Intelligence in Medicine, 2006, v:36, n:3, pp:193-209 [Journal]
  13. Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
    Combining task execution and background knowledge for the verification of medical guidelines. [Citation Graph (0, 0)][DBLP]
    Knowl.-Based Syst., 2007, v:20, n:2, pp:113-119 [Journal]
  14. Michael Balser, Christoph Duelli, Wolfgang Reif, Gerhard Schellhorn
    Verifying Concurrent Systems with Symbolic Execution. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:4, pp:549-560 [Journal]
  15. Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
    Verification of Medical Guidelines Using Background Knowledge in Task Networks. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2007, v:19, n:6, pp:832-846 [Journal]

  16. Compositional Proofs with Symbolic Execution. [Citation Graph (, )][DBLP]


  17. Interactive Verification of Concurrent Systems using Symbolic Execution. [Citation Graph (, )][DBLP]


  18. Interactive verification of concurrent systems using symbolic execution. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.003secs
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