LZI - Schloss Dagstuhl - Talks + Materials of Seminar 06161
Abstract Listing
 Collector buttons: 

Seminar 06161
Simulation and Verification of Dynamic Systems

D. M. Nicol (Univ. of Illinois - Urbana, US), C. Priami (Univ. of Trento, IT), H. Riis Nielson (TU of Denmark, DK), H. Ruess (SRI - Menlo Park, US), A. M. Uhrmacher (Univ. Rostock, DE)

 

Seminar Wide Materials
 Introduction to the Seminar
Slides: ppt

 Executive Summary -- Simulation and Verification of Dynamic Systems
Abstracts: txtDROPS-Submission:pdfpdf

 
 

 


Change CoordinatesUpload 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.
  
Gregory Batt , Boston University
 Formal verification of hybrid models of genetic regulatory networks
Abstracts: txt Slides: ppt

 

Jörg Bauer , Universität des Saarlandes
 Abstract Interpretation of Graph Transformation
Abstracts: txt Slides: pdfDROPS-Submission:pdf

 

Luca Bortolussi , Università di Udine
 From pi-calculus to differential equations and return
Abstracts: txtDROPS-Submission:pdf

 From process algebras to differential equations and return
Slides: pdf

 

Jeremy Bradley , Imperial College London
 Stochastic process algebra models of a Circadian clock
Abstracts: txt Slides: pdfDROPS-Submission:pdf

 

Luca Cardelli , Microsoft Research UK
 Artificial Biochemistry
Abstracts: txt Slides: pdf

 

Matteo Cavaliere , Microsoft Research - University of Trento
 Modeling (and Simulating) Biological Processes with Stochastic Multiset Rewriting
Abstracts: txt Slides: pptDROPS-Submission:pdf

 

Roland Ewald , Universität Rostock
 

François Fages , INRIA Rocquencourt
 Biological Validation as Model Checking
Abstracts: txt Slides: ppt

 

Holger Hermanns , Universität des Saarlandes
 Guiding Simulation by Model Checking
Abstracts: txt

 

Jane Hillston , University of Edinburgh
 Population models from PEPA descriptions
Abstracts: txt Slides: pdf

 Population models from PEPA descriptions
Abstracts: txtDROPS-Submission:pdf

 

Hardi Hungar , OFFIS - Oldenburg
 Experiences with verification of dynamic systems
Abstracts: txt

 Model Checking Dynamic, Communicating Systems
Abstracts: txt Slides: zip

 

Peter Kemper , Universität Dortmund
 Verification of Simulation Models - Experiences and Challenges
Abstracts: txt Slides: pdf

 A Petri Net Approach to Verify and Debug Simulation Models
Abstracts: txt Slides: pdfDROPS-Submission:pdf

 

Céline Kuttler , Interdisciplinary Research Institute - Lille
 Bacterial gene expression in (yet) a(nother) pi calculus
Abstracts: txt Slides: pdf

 

Mila Majster-Cederbaum , Universität Mannheim
 

Alke Martens , Universität Rostock
 

Pieter J. Mosterman , The MathWorks Inc. - Natick
 Advanced Technologies to Accelerate Mixed Signal Simulation
Abstracts: txt

 

David M. Nicol , Univ. of Illinois - Urbana
 Network Simulation Performance Optimizations, and the Need for Validation
Abstracts: txt Slides: ppt

 

Flemming Nielson , Technical University of Denmark
 

Holger Pfeifer , Universität Ulm
 

Henrik Pilegaard , Technical University of Denmark
 Context Dependent Analysis of BioAmbients
Abstracts: txt Slides: pdfDROPS-Submission:pdfpdf

 

Stefan Ratschan , MPI für Informatik - Saarbrücken
 Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement and Integrated Falsification
Abstracts: txt Slides: pdf

 

Hanne Riis Nielson , Technical University of Denmark
 

Sean Sedwards , Universitá di Trento
 

Oleg Sokolsky , University of Pennsylvania
 Formal Analysis of Network Simulations
Abstracts: txt Slides: ppt

 

Helena Szczerbicka , Universität Hannover
 

Boleslaw Szymanski , Rensselaer Polytechnic
 Verifying Spatially-Explicit Simulation of Virulence Evolution Via Analytical Models
Abstracts: txtpdf Slides: ppt

 

Adelinde M. Uhrmacher , Universität Rostock
 Component-based Modeling and Simulation - An Exploration based on James II
Abstracts: txt Slides: ppt

 

Silke Wagner , MPI für Informatik - Saarbrücken
 Model Checking of Hybrid Systems: From Reachability towards Stability
Abstracts: txt Slides: ps Paper: pdf

 

Oskar Wibling , Uppsala University
 

Reinhard Wilhelm , Universität des Saarlandes
 

Verena Wolf , Universität Mannheim
 


Copyright

All data on this page is
Copyright © by LZI - Schloss Dagstuhl GmbH, D-66687 Wadern, Germany

Downloading and accessing this page for personal use is permitted and free of charge. Accessing this page for commercial use and/or indexing it in order to make it searchable is strictly prohibited without prior written consent.
Phone: +49 - 681 / 302 - 4398, Fax: +49 - 681 / 302 - 4397, E-mail: service (at) dagstuhl.de