Result 1 to 20 of 79 total
Early fault detection in industry using models at various abstraction levels. (English)
Derrick, John (ed.) et al., Integrated formal methods. 9th international conference, IFM 2012, Pisa, Italy, June 18‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30728-7/pbk). Lecture Notes in Computer Science 7321, 268-282 (2012).
1
Concurrency verification. Introduction to compositional and noncompositional methods. Reprint of the 2001 hardback ed. (English)
Cambridge Tracts in Theoretical Computer Science 54. Cambridge: Cambridge University Press (ISBN 978-0-521-16932-5/pbk). xxii, 776~p. \sterling~53.00 (2011).
2
Formal semantics of a VDM extension for distributed embedded systems. (English)
Dams, Dennis (ed.) et al., Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever. Berlin: Springer (ISBN 978-3-642-11511-0/pbk). Lecture Notes in Computer Science 5930, 142-161 (2010).
3
Proving consistency of VDM models using HOL (English)
SAC, 2503-2510 (2010).
4
Formal semantics of a VDM extension for distributed embedded systems (English)
Concurrency, Compositionality, and Correctness, 142-161 (2010).
5
Supporting UML-based development of embedded systems by formal techniques. (English)
Softw. Syst. Model. 7, No. 2, 131-155 (2008).
6
Model-based run-time error detection. (English)
Giese, Holger (ed.), Models in software engineering. Workshops and symposia at MoDELS 2007, Nashville, TN, USA, September 30‒October 5, 2007. Reports and revised selected papers. Berlin: Springer (ISBN 978-3-540-69069-6/pbk). Lecture Notes in Computer Science 5002, 225-236 (2008).
7
Dependability for high-tech systems: an industry-as-laboratory approach (English)
DATE, 1226-1231 (2008).
8
Co-simulation of distributed embedded real-time control systems. (English)
Davies, Jim (ed.) et al., Integrated formal methods. 6th international conference, IFM 2007, Oxford, UK, July 2‒5, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73209-9/pbk). Lecture Notes in Computer Science 4591, 639-658 (2007).
9
Formal specification and verification of the intrusion-tolerant enclaves protocol (English)
I. J. Network Security 5, No. 3, 288-298 (2007).
10
Co-simulation of distributed embedded real-time control systems (English)
IFM, 639-658 (2007).
11
Model-based run-time error detection (English)
MoDELS Workshops, 225-236 (2007).
12
Compositional Verification of Timed Components using PVS. (German)
Biel, Bettina et al., Software Engineering 2006, Proceedings der Fachtagung des GI-Fachbereichs Softwaretechnik, 28.-31. März 2006 in Leipzig. Bonner Köllen Verlag (ISBN 3-88579-173-0). GI-Edition - Lecture Notes in Informatics (LNI), P-79, 143-156 (2006).
13
Modeling and validating distributed embedded real-time systems with VDM++. (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, 147-162 (2006).
14
A semantics of communicating reactive objects with timing. (English)
Int. J. Softw. Tools Technol. Transf. 8, No. 2, 97-112 (2006).
15
Compositional verification of timed components using PVS (English)
Software Engineering, 143-154 (2006).
16
Modeling and validating distributed embedded real-time systems with VDM++ (English)
FM, 147-162 (2006).
17
Formalizing UML models and OCL constraints in PVS. (English)
Electron. Notes Theor. Comput. Sci. 115, 39-47 (2005).
18
Semantic models of a timed distributed dataspace architecture. (English)
Theor. Comput. Sci. 331, No. 2-3, 291-323 (2005).
19
Deductive verification of UML models in TLPVS (English)
UML, 335-349 (2004).
20
Result 1 to 20 of 79 total
Start
Contact
Print
General Help
