Result 1 to 20 from 25 total
Interactive verification of concurrent systems using symbolic execution. (English)
AI Commun. 23, No. 2-3, 285-307 (2010).
1
Compositional proofs with symbolic execution (English)
VERIFY (2008).
2
Interactive verification of concurrent systems using symbolic execution (English)
LPAR Workshops (2008).
3
io-port 05340274 Hommersom, Arjen;
Hommersom, Arjen;
Groot, Perry;
Groot, Perry;
Lucas, Peter J.F.;
Lucas, Peter J.F.;
Balser, Michael;
Balser, Michael;
Schmitt, Jonathan;
Schmitt, Jonathan
Verification of medical guidelines using background knowledge in task networks. (English)
IEEE Trans. Knowl. Data Eng. 19, No. 06, 832-846 (2007).
4
Verification of medical guidelines using background knowledge in task networks (English)
IEEE Trans. Knowl. Data Eng. 19, No. 6, 832-846 (2007).
5
Combining task execution and background knowledge for the verification of medical guidelines (English)
Knowl.-Based Syst. 20, No. 2, 113-119 (2007).
6
io-port 05391147 Teije, Annette Ten;
Marcos, Mar;
Balser, Michael;
Van Croonenborg, Joyce;
Duelli, Christoph;
Van Harmelen, Frank;
Lucas, Peter J.F.;
Miksch, Silvia;
Reif, Wolfgang;
Rosenbrand, Kitty;
Seyfang, Andreas
Improving medical protocols by formal methods. (English)
Artif. Intell. Med. 36, No. 3, 193-209 (2006).
7
Interactive verification of medical guidelines. (English)
Misra, Jayadev (ed.) et al., FM 2006: Formal methods. 14th international symposium on formal methods, Hamilton, Canada, August 21‒27, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37215-8/pbk). Lecture Notes in Computer Science 4085, 32-47 (2006).
8
Verification of medical guidelines by model checking-A case study. (English)
Valmari, Antti (ed.), Model checking software. 13th international SPIN workshop, Vienna, Austria, March 30 ‒ April 1, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33102-6/pbk). Lecture Notes in Computer Science 3925, 219-233 (2006).
9
Verifying concurrent systems with symbolic execution. Temporal reasoning is symbolic execution with a little induction. (English)
Berichte aus der Informatik. Aachen: Shaker Verlag; Augsburg: Univ. Augsburg, Fakultät für Angewandte Informatik (Diss.) (ISBN 3-8322-5074-3/pbk). xii, 229~p. EUR~49.80 (2006).
10
Verification of medical guidelines using task execution with background knowledge (English)
ECAI, 835-836 (2006).
11
Verification of medical guidelines by model checking - A case study (English)
SPIN, 219-233 (2006).
12
Interactive verification of medical guidelines (English)
FM, 32-47 (2006).
13
Tracing cross-cutting requirements via context-based constraints (English)
CSMR, 80-90 (2005).
14
Meta-level verification of the quality of medical guidelines using interactive theorem proving. (English)
Alferes, José Júlio (ed.) et al., Logics in artificial intelligence. 9th European conference, JELIA 2004, Lisbon, Portugal, September 27‒30, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23242-7/pbk). Lecture Notes in Computer Science 3229. Lecture Notes in Artificial Intelligence, 654-666 (2004).
15
Interactive verification of UML state machines (English)
ICFEM, 434-448 (2004).
16
Meta-level verification of the quality of medical guidelines using interactive theorem proving (English)
JELIA, 654-666 (2004).
17
Experiences in the formalisation and verification of medical protocols (English)
AIME, 132-141 (2003).
18
From informal knowledge to formal logic: A realistic case study in medical protocols. (English)
Gómez-Pérez, Asunción (ed.) et al., Knowledge engineering and knowledge management. Ontologies and the semantic web. 13th international conference, EKAW 2002, Sigüenza, Spain, October 1-4, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2473, 49-64 (2002).
19
Verifying concurrent systems with symbolic execution. (English)
J. Log. Comput. 12, No.4, 549-560 (2002).
20
Result 1 to 20 from 25 total
Start
Contact
Print
General Help
