Publications 2004-2006

 

2 Publications 2004-2006

[QS06]

J.-D. Quesel and A. Schäfer. Spatio-temporal model checking for mobile real-time systems. In K. Barkaoui, A. Cavalcanti, and A. Cerone, editors, 3rd International Colloquium on Theoretical Aspects of Computing, ICTAC, LNCS, pages 347-361, 2006.
[ bib | Abstract ]

[BMW06]

I. Brückner, B. Metzler, and H. Wehrheim. Optimizing slicing of formal specifications by deductive verification. Nordic Journal of Computing, 13(1-2):22-45, August 2006.
[ bib | .pdf | Abstract ]

[MFR06]

R. Meyer, J. Faber, and A. Rybalchenko. Model checking duration calculus: A practical approach. In K. Barkaoui, A. Cavalcanti, and A. Cerone, editors, Theoretical Aspects of Computing - ICTAC 2006, volume 4281 of LNCS, pages 332-346, 2006. This publication is available at SpringerLink.
[ bib | .pdf | Abstract ]

[Mey06a]

R. Meyer. Model checking the pi-calculus. In Proceedings of the International Research Training Groups Workshop, volume 3 of Trustworthy Software Systems, page 15. GITO, 2006.
[ bib ]

[FM06]

J. Faber and R. Meyer. Model checking data-dependent real-time properties of the european train control system. In Formal Methods in Computer Aided Design, 2006. FMCAD '06, pages 76-77. IEEE Computer Society Press, November 2006. This publication is available free of charge at IEEE Digital Library.
[ bib | Abstract ]

[SS06]

Tim Strazny and Christian Stehno. Ein Simulator für mehrfach erweiterte höhere Petrinetze. In Matthias Becker and Helena Szczerbicka, editors, 19. Symposium Simulationstechnik (ASIM 2006), pages 171-176. SCS Publishing House e.V., September 2006.
[ bib | Abstract ]

[OS06]

E.-R. Olderog and B. Steffen. Formale Semantik und Programmverifikation. In P. Rechenberg and G. Pomberger, editors, Informatik-Handbuch, 4. Auflage, pages 145-166. Hanser Verlag, 2006.
[ bib ]

[SBO06]

P. E. Sevinç, D. Basin, and E.-R. Olderog. Controlling access to documents: A formal access control model. In Günter Müller, editor, ETRICS 2006, volume 3995 of LNCS, pages 352-367. Springer-Verlag, June 2006.
[ bib | Abstract ]

[BP06]

Bernhard Beckert and André Platzer. Dynamic logic with non-rigid functions: A basis for object-oriented program verification. In U. Furbach and N. Shankar, editors, Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, volume 4130 of LNCS, pages 266-280. Springer-Verlag, 2006. (c) Springer-Verlag.
[ bib | .pdf | Abstract ]

[DHO06]

W. Damm, H. Hungar, and E.-R. Olderog. Verification of cooperating traffic agents. International Journal of Control, 79(5):395-421, May 2006.
[ bib | Abstract ]

[Mey06b]

R. Meyer. Model checking using testing. In W. Hasselbring and S. Giesecke, editors, Dependability Engineering, volume 2 of Trustworthy Software Systems, pages 147-171. GITO, 2006.
[ bib ]

[BM05]

I. Brückner and B. Metzler. Deductive Verification for Improving Slicing of Integrated Formal Specifications. In Proceedings of the 17th Nordic Workshop on Programming Theory, pages 39-41. University of Copenhagen, Denmark, October 2005.
[ bib | .pdf ]

[Fab05]

J. Faber. Verifying real-time aspects of the European Train Control System. In Proceedings of the 17th Nordic Workshop on Programming Theory, pages 67-70. University of Copenhagen, Denmark, October 2005.
[ bib | .pdf ]

[M05]

M. Möller. Mapping formal specifications to java contracts. In Proceedings of the 17th Nordic Workshop on Programming Theory, pages 100-102. University of Copenhagen, Denmark, October 2005.
[ bib | .pdf ]

[Die05]

H. Dierks. Finding Optimal Plans for Domains with Continuous Effects with UPPAAL CORA. In Proceedings of the ICAPS'05 Workshop on Verification and Validation of Model-Based Planning and Scheduling Systems, June 2005.
[ bib ]

[BS05]

R. Boute and A. Schäfer. The timer cascade: Functional modelling and real time calculi. In D.V. Hung and M. Wirsing, editors, Theoretical Aspects of Computing, ICTAC 2005, volume 3722 of LNCS, pages 242 - 256. Springer, 2005. This publication is available at SpringerLink.
[ bib | .pdf | Abstract ]

[BW05b]

Ingo Brückner and Heike Wehrheim. Slicing an Integrated Formal Method for Verification. In Kung-Kiu Lau and Richard Banach, editors, ICFEM 2005: Seventh International Conference on Formal Engineering Methods, volume 3785 of Lecture Notes in Computer Science, pages 360-374. Springer, November 2005. This publication is available at SpringerLink.
[ bib | .pdf | Abstract ]

[HM05]

Jochen Hoenicke and Patrick Maier. Model-checking of specifications integrating processes, data and time. In J.S. Fitzgerald, I.J. Hayes, and A. Tarlecki, editors, FM 2005, volume 3582 of LNCS, pages 465-480. Springer, 2005.
[ bib | .pdf | Abstract ]

[EFM⁺05]

C. Eichner, H. Fleischhack, R. Meyer, U. Schrimpf, and C. Stehno. Compositional semantics for uml 2.0 sequence diagrams using petri nets. In SDL 2005: Model Driven, volume 3530 of LNCS, pages 133-148. Springer-Verlag, 2005.
[ bib ]

[Sch05a]

A. Schäfer. Axiomatisation and Decidability of Multi-Dimensional Duration Calculus. In J. Chomicki and D. Toman, editors, Proceedings of the 12th International Symposium on Temporal Representation and Reasoning, TIME 2005, pages 122-130. IEEE Computer Society, June 2005. This publication is available at IEEE Digital Library.
[ bib | .pdf | Abstract ]

[OW05]

E.-R. Olderog and H. Wehrheim. Specification and (property) inheritance in CSP-OZ. Science of Computer Programming, 55:227-257, 2005.
[ bib | Abstract ]

[Brü05]

I. Brückner. Slicing CSP-OZ Specifications for Verification. Poster Session, 4th International Conference of B and Z Users (ZB '05), April 2005.
[ bib ]

[BW05a]

I. Brückner and H. Wehrheim. Slicing Object-Z Specifications for Verification. In H. Treharne, S. King, M. Henson, and S. Schneider, editors, ZB 2005: Formal Specification and Development in Z and B, volume 3455 of LNCS, pages 414-433. Springer, April 2005. This publication is available at SpringerLink.
[ bib | .pdf | Abstract ]

[Sch05b]

A. Schäfer. A calculus for shapes in time and space. In Z. Liu and K. Araki, editors, Theoretical Aspects of Computing, ICTAC 2004, volume 3407 of LNCS, pages 463-478. Springer, 2005. This publication is available at SpringerLink.
[ bib | .pdf | Abstract ]

[Brü04]

I. Brückner. Slicing CSP-OZ Specifications. In P. Pettersson and W. Yi, editors, Proceedings of the 16th Nordic Workshop on Programming Theory, number 2004-041 in Technical Reports of the Department of Information Technology, pages 71-73. Uppsala University, Sweden, October 2004.
[ bib | .pdf ]

[Die04]

H. Dierks. Heuristic guided model-checking of real-time systems. In P. Pettersson and Wang Yi, editors, Proceedings of the 16th Nordic Workshop on Programming Theory, number 2004-041 in Technical Reports of the Department of Information Technology, pages 14-16. Uppsala University, Sweden, October 2004.
[ bib ]

[BHB⁺04]

M. Bretschneider, H.-J. Holberg, E. Böde, I. Brückner, T. Peikenkamp, and H. Spenke. Model-based Safety Analysis of a Flap Control System. In T. Fossnes and M. Galinier, editors, Proceedings of the 14th Annual International INCOSE Symposium 2004, Toulouse, June 2004.
[ bib | .pdf | Abstract ]

[DHO04]

W. Damm, H. Hungar, and E.-R. Olderog. On the verification of cooperating traffic agents. In F.S. de Boer, M.M. Bonsangue, S. Graf, and W.-P. de Roever, editors, FMCO 2003: Formal Methods for Components and Objects, volume 3188 of LNCS, pages 77-110, 2004.
[ bib | Abstract ]

[Weh04]

H. Wehrheim. Preserving properties under change. In F.S. de Boer, M.M. Bonsangue, S. Graf, and W.-P. de Roever, editors, FMCO 2003: Formal Methods for Components and Objects, volume 3188 of LNCS, pages 330-343, 2004.
[ bib ]

[FW04]

C. Fischer and H. Wehrheim. Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. In G. Paun, G. Rozenberg, and A. Salomaa, editors, Current Trends in Theoretical Computer Science: The Challenge of the New Century, Vol 2: Formal Models and Semantics. World Scientific, 2004.
[ bib ]

[BBB⁺04]

R. Buschermöhle, M. Brörkens, I. Brückner, W. Damm, W. Hasselbring, B. Josko, C. Schulte, and T. Wolf. Model Checking - Grundlagen und Praxiserfahrungen. Informatik Spektrum, 27(2):146-158, April 2004.
[ bib | .pdf | Abstract ]

[MORW04]

M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim. Linking CSP-OZ with UML and Java: A Case Study. In E. Boiten, J. Derrick, and G. Smith, editors, Integrated Formal Methods, number 2999 in Lecture Notes in Computer Science, pages 267-286. Springer-Verlag, March 2004.
[ bib | .pdf | Abstract ]