Result 1 to 20 of 22 total
A tool for the certification of sequential function chart based system specifications. (English)
Brauer, Jörg (ed.) et al., 6th international workshop on systems software verification, SSV’11, August 26, 2011, Nijmegen, The Netherlands. Papers based on the presentations at the workshop. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-36-1). OASIcs ‒ OpenAccess Series in Informatics 24, 57-70, electronic only (2012).
1
Probabilistic compositional reasoning for guaranteeing fault tolerance properties. (English)
Fernández Anta, Antonio (ed.) et al., Principles of distributed systems. 15th international conference, OPODIS 2011, Toulouse, France, December 13‒16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25872-5/pbk). Lecture Notes in Computer Science 7109, 222-234 (2011).
2
Verification of PLC properties based on formal semantics in Coq. (English)
Barthe, Gilles (ed.) et al., Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14‒18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24689-0/pbk). Lecture Notes in Computer Science 7041, 58-73 (2011).
3
A tool for the certification of plcs based on a coq semantics for sequential function charts. (English)
Comput. Res. Repos. 2011, Article No. 1102.3529 (2011).
4
Certifying compilers using higher-order theorem provers as certificate checkers. (English)
Form. Methods Syst. Des. 38, No. 1, 33-61 (2011).
5
Verification of PLC properties based on formal semantics in coq (English)
SEFM, 58-73 (2011).
6
Reliability-aware design optimization for multiprocessor embedded systems (English)
DSD, 239-246 (2011).
7
Proving the security of elgamal encryption via indistinguishability logic (English)
SAC, 1625-1632 (2011).
8
Probabilistic compositional reasoning for guaranteeing fault tolerance properties (English)
OPODIS, 222-234 (2011).
9
Analysis and optimization of fault-tolerant task scheduling on multiprocessor embedded systems (English)
CODES+ISSS, 247-256 (2011).
10
A certifying code generation phase. (English)
Electron. Notes Theor. Comput. Sci. 190, No. 4, 65-82 (2007).
11
Coinductive verification of program optimizations using similarity relations. (English)
Electron. Notes Theor. Comput. Sci. 176, No. 3, 61-77 (2007).
12
Translation validation of system abstractions. (English)
Sokolsky, Oleg (ed.) et al., Runtime verification. 7th international workshop, RV 2007, Vancover, Canada, March 13, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-77394-8/pbk). Lecture Notes in Computer Science 4839, 139-150 (2007).
13
Translation validation of system abstractions (English)
RV, 139-150 (2007).
14
Logische und softwaretechnische Herausforderungen bei der Verifikationoptimierender Compiler. (German)
Liggesmeyer, Peter et al., Software Engineering 2005, Fachtagung des GI-Fachbereichs Softwaretechnik, 8.-11.03.2005 in Essen. GI 2005. Bonner Köllen Verlag (ISBN 3-88579-393-8). GI-Edition - Lecture Notes in Informatics (LNI), P-64, 131-140 (2005).
15
Optimizing code generation from SSA form: A comparison between two formal correctness proofs in Isabelle/HOL. (English)
Electron. Notes Theor. Comput. Sci. 141, No. 2, 33-51 (2005).
16
Formal verification of dead code elimination in isabelle/HOL (English)
SEFM, 200-209 (2005).
17
Logische und softwaretechnische herausforderungen bei der verifikation optimierender compiler (English)
Software Engineering, 131-140 (2005).
18
A formal correctness proof for code generation from SSA form in Isabelle/HOL. (English)
Dadam, Peter et al., Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Ulm, 20. - 24. September 2004. Bonner Köllen Verlag (ISBN 3-88579-380-6). GI-Edition - Lecture Notes in Informatics (LNI), P-51, 449-458 (2004).
19
Coalgebraic semantics for component systems (English)
Architecting Systems with Trustworthy Components, 245-261 (2004).
20
Result 1 to 20 of 22 total
Start
Contact
Print
General Help
