LZI - Schloss Dagstuhl - Talks + Materials of Seminar 06191
Seminar 06191
J.-R. Abrial (ETH Zürich, CH), U. Glässer (SFU Burnaby, CA)
Seminar Wide Materials
A Light Simulator-Verificator for Timed Abstract State Machines
Abstracts:
Rigorous Methods for Software Construction and Analysis
Abstracts:
Upload or overwrite a document file and/or change title of talk Due to caching problems of microsofts internet explorer concerning dynamic webpages, sometimes newly uploaded files are not shown. By pressing [CTRL]+[F5], the page is completely reloaded.
Jean-Raymond Abrial , ETH Zürich
Using formally defined design patterns to improve system developments.
Abstracts:
Michael Altenhofen , SAP - Karlsruhe
A High-Level Specification for Mediators (Virtual Providers)
Abstracts:
Daniel M. Berry , University of Waterloo
An Empirical Pilot Study Investigating the Cost of Maintaining Specifications: Software Cost Reduction versus Real-time UML
Abstracts:
The Inevitable Pain of Software Development: Why There Is No Silver Bullet
Abstracts:
Formal Methods, the Very Idea, Some Thoughts
Abstracts:
Sylvain Boulmé , LSR - IMAG
Relaxing B restrictions on invariant composition using Spec# approach
Abstracts:
Jonathan P. Bowen , London South Bank Univ. - London
Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net
Abstracts:
Ten Commandments … Ten Years Later: Lessons for ASM, B, Z and VSR-net
Abstracts:
Egon Börger , Università di Pisa
Characterizing Event-B models as ASMs
Abstracts:
Dominique Cansell , LORIA - Nancy
A new IEEE 1394 leader election protocol
Abstracts:
Antonio Cisternino , Università di Pisa
Jasmine - Accessing Java code from CoreASM
Abstracts:
Giuseppe Del Castillo , München
Roozbeh Farahbod , Simon Fraser University
CoreASM: An Extensible ASM Execution Engine
Abstracts:
Nicu Georgian Fruja , ETH Zürich
Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis
Abstracts:
Thai Son Hoang , ETH Zürich
Jens Lemcke , SAP - Karlsruhe
Michael Leuschel , Universität Düsseldorf
Animating and Model Checking B Specifications with Higher-Order Recursive Functions
Abstracts:
Farhad Mehta , ETH Zürich
Designing a Proof tool for Engineering use
Abstracts:
C. Carroll Morgan , Univ. of New South Wales
Using wp-like (hence B-like) reasoning for security and privacy
Abstracts:
Peter Müller , ETH Zürich
Data Abstraction in Spec# and Boogie
Abstracts:
Ian Oliver , NOKIA Research Center - Helsinki
Experiences with UML and B in Industrial Development
Marie-Laure Potet , LSR - IMAG
Relaxing B restrictions on invariant composition using Spec# approach
Abstracts:
Andreas Prinz , Agder University College - Grimstad
Integration of ASM tools using Metamodels
Abstracts:
Peter Päppinghaus , Siemens - München
Franz J. Rammig , C-LAB - Paderborn
Elvinia Riccobene , Universitá di Milano
Exploiting the ASM method within the Model-driven Engineering paradigm
Abstracts:
Dean Rosenzweig , University of Zagreb
Interactive Algorithms 2006: from Behavioral Theory to Visual Studio?
Abstracts:
Gerhard Schellhorn , Universität Augsburg
The Mondex Challenge: Machine Checked Proofs for an Electronic Purse
Abstracts:
Klaus-Dieter Schewe , Massey University
Typed Abstract State Machines in Data-Intensive Applications
Abstracts:
Peter H. Schmitt , Universität Karlsruhe
Specification and Verification using JML (Java Modeling Language)
Abstracts:
Steve Schneider , University of Surrey
Chunks: component verification in CSP||B
Abstracts:
Anatol Slissenko , Université Paris 12
A Light Simulator-Verificator for Timed Abstract State Machines
Abstracts:
Colin F. Snook , Univ. of Southampton
UML-B: concept and development
Abstracts:
Bernhard Thalheim , Universität Kiel
ASM Applied to Teaching of Software Engineering
Abstracts:
Helen Treharne , University of Surrey
Extending the use of CSP||B
Abstracts:
Mona Vajihollahi , Simon Fraser University
Computational Modeling and Validation of Probabilistic Aspects of Public Safety and Security Systems
Abstracts:
Laurent Voisin , ETH Zürich
The Rodin Platform
Abstracts:
Amiram Yehudai , Tel Aviv University
Promoting the use of Formal Methods through Education
Abstracts:
Wolf Zimmermann , Universität Halle-Wittenberg
On the Correctness of Transformations in Compiler Backends
Abstracts:
Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 Unported License .
Attribution: You must attribute the work in the manner specified by the author or licensor (but not in any way that suggests that they endorse you or your use of the work).
Noncommercial: You may not use this work for commercial purposes.
No Derivative Works: You may not alter, transform, or build upon this work.
