Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Michael Balser" ( http://dblp.L3S.de/Authors/Michael_Balser )

  Author page on DBLP  Author page in RDF  Community of Michael Balser in ASPL-2

Publication years (Num. hits)
1998-2007 (16) 2008-2010 (3)
Publication types (Num. hits)
article(5) inproceedings(13) phdthesis(1)
Venues (Conferences, Journals, ...)
FM-Trends(2) AI Commun.(1) AIME(1) Artificial Intelligence in Med...(1) CSMR(1) ECAI(1) EKAW(1) FASE(1) FM(1) ICFEM(1) IEEE Trans. Knowl. Data Eng.(1) J. Log. Comput.(1) JELIA(1) Knowl.-Based Syst.(1) LPAR Workshops(1) SPIN(1) More (+10 of total 17)
Authors
Michael Balser(19) Wolfgang Reif(11) Gerhard Schellhorn(6) Jonathan Schmitt(5) Peter J. F. Lucas(5) Simon Bäumler(5) Arjen Hommersom(4) Mar Marcos(4) Annette ten Teije(3) Christoph Duelli(3) Frank van Harmelen(3) Kurt Stenzel(3) Perry Groot(3) Andreas Thums(2) Florian Nafz(2) Alexander Knapp(1) More (+10 of total 28)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 7 keywords
Results
Found 19 publication records. Showing 19 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif, Gerhard Schellhorn Interactive verification of concurrent systems using symbolic execution. Search on Bibsonomy AI Commun. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif Compositional Proofs with Symbolic Execution. Search on Bibsonomy VERIFY The full citation details ... 2008 DBLP  BibTeX  RDF
1Michael Balser, Simon Bäumler, Wolfgang Reif, Gerhard Schellhorn Interactive Verification of Concurrent Systems using Symbolic Execution. Search on Bibsonomy LPAR Workshops The full citation details ... 2008 DBLP  BibTeX  RDF
1Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt Verification of Medical Guidelines Using Background Knowledge in Task Networks. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Medical guidelines, formal verification, temporal logic, background knowledge
1Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt Combining task execution and background knowledge for the verification of medical guidelines. Search on Bibsonomy Knowl.-Based Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Michael Balser Verifying concurrent systems with symbolic execution: temporal reasoning is symbolic execution with a little induction. Search on Bibsonomy 2006   RDF
1Annette 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. Search on Bibsonomy Artificial Intelligence in Medicine The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt Verification of Medical Guidelines Using Task Execution with Background Knowledge. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt Verification of Medical Guidelines by Model Checking - A Case Study. Search on Bibsonomy SPIN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Asbru, medical guidelines, Model checking, verification, formal methods, abstraction
1Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos Interactive Verification of Medical Guidelines. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Felix Bübl, Michael Balser Tracing Cross-Cutting Requirements via Context-Based Constraints. Search on Bibsonomy CSMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums Interactive Verification of UML State Machines. Search on Bibsonomy ICFEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Arjen Hommersom, Peter J. F. Lucas, Michael Balser Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen, Christoph Duelli Experiences in the Formalisation and Verification of Medical Protocols. Search on Bibsonomy AIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Michael Balser, Christoph Duelli, Wolfgang Reif, Gerhard Schellhorn Verifying Concurrent Systems with Symbolic Execution. Search on Bibsonomy J. Log. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols. Search on Bibsonomy EKAW The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums Formal System Development with KIV. Search on Bibsonomy FASE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Dieter 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. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel KIV 3.0 for Provably Correct Systems. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #19 of 19 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.