![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
ISoLA 2012: Heraklion, Crete, Greece
- Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Lecture Notes in Computer Science 7610, Springer 2012, ISBN 978-3-642-34031-4
Linux Driver Verification
- Dirk Beyer
, Alexander K. Petrenko
:
Linux Driver Verification - (Position Paper). 1-6
Bioscientific Data Processing and Modeling
- Joost N. Kok, Anna-Lena Lamprecht, Fons J. Verbeek, Mark D. Wilkinson
:
Bioscientific Data Processing and Modeling. 7-11 - Hernando Sanchez-Faddeev, Michael T. M. Emmerich
, Fons J. Verbeek, Andrew H. Henry, Simon Grimshaw, Herman P. Spaink
, Herman W. T. van Vlijmen, Andreas Bender:
Using Multiobjective Optimization and Energy Minimization to Design an Isoform-Selective Ligand of the 14-3-3 Protein. 12-24 - Kuan Yan, Fons J. Verbeek:
Segmentation for High-Throughput Image Analysis: Watershed Masked Clustering. 25-41 - Alexander E. Nezhinsky, Fons J. Verbeek:
Efficient and Robust Shape Retrieval from Deformable Templates. 42-55 - Ian Wood, Benjamin P. Vandervalk, E. Luke McCarthy, Mark D. Wilkinson
:
OWL-DL Domain-Models as Abstract Workflows. 56-66
Processes and Data Integration in the Networked Healthcare
- Andrea Braun von Reinersdorff, Tiziana Margaria
, Christoph Rasche:
Processes and Data Integration in the Networked Healthcare. 67-69 - Tiziana Margaria
, Steve Boßelmann, Bertold Kujath:
Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain. 70-72 - Andreas Holubek, Christian Metzger:
Considerations for Healthcare Applications in a Platform as a Service Environment. 73-74 - Markus Doedt, Thomas Göke, Jan Pardo, Bernhard Steffen:
Reha-Sports: The Challenge of Small Margin Healthcare Accounting. 75-77
Timing Constraints: Theory Meets Practice
- Björn Lisper, Johan Nordlander, Sophie Quinton:
Timing Constraints: Theory Meets Practice. 78-79 - Björn Lisper, Johan Nordlander:
A Simple and Flexible Timing Constraint Logic. 80-95 - Sophie Quinton, Rolf Ernst:
Generalized Weakly-Hard Constraints. 96-110 - Marie-Agnès Peraldi-Frati, Arda Goknil, Morayo Adedjouma, Pierre Yves Gueguen:
Modeling a BSG-E Automotive System with the Timing Augmented Description Language. 111-125 - Iakovos Ouranos, Kazuhiro Ogata, Petros S. Stefaneas:
Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method. 126-142 - Ning Ge, Marc Pantel, Xavier Crégut:
Formal Specification and Verification of Task Time Constraints for Real-Time Systems. 143-157 - Raimund Kirner
:
The WCET Analysis Tool CalcWcet167. 158-172 - Klaus Birken:
Abstract Execution for Event-Driven Systems - An Application from Automotive/Infotainment Development. 173-186
Formal Methods for the Development and Certification of X-by-Wire Control Systems
- Alessandro Fantechi, Francesco Flammini
, Stefania Gnesi
:
Formal Methods for Intelligent Transportation Systems. 187-189 - Francesco Flammini
, Stefano Marrone
, Nicola Mazzocca
, Roberto Nardone
, Valeria Vittorini:
Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective. 190-204 - Gabriella Gigante
, Domenico Pascarella
:
Formal Methods in Avionic Software Certification: The DO-178C Perspective. 205-215 - Alessio Ferrari
, Giorgio Oronzo Spagnolo
, Giacomo Martelli, Simone Menabeni:
Product Line Engineering Applied to CBTC Systems Development. 216-230 - Stefano Marrone
, Roberto Nardone
, Antonio Orazzo, Ida Petrone, Luigi Velardi:
Improving Verification Process in Driverless Metro Systems: The MBAT Project. 231-245 - Kirsten Winter:
Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings. 246-260 - Anne E. Haxthausen
:
Automated Generation of Safety Requirements from Railway Interlocking Tables. 261-275 - Alessandro Fantechi:
Distributing the Challenge of Model Checking Interlocking Control Tables. 276-289
Quantitative Modelling and Analysis
- Joost-Pieter Katoen
, Kim Guldstrand Larsen
:
Quantitative Modelling and Analysis. 290-292 - Alexandre David, Kim Guldstrand Larsen
, Axel Legay, Marius Mikucionis
:
Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. 293-307 - Aida Causevic, Cristina Cerschi Seceleanu
, Paul Pettersson
:
Checking Correctness of Services Modeled as Priced Timed Automata. 308-322
Software Aspects of Robotic Systems
- Jens Knoop, Dietmar Schreiner:
Software Aspects of Robotic Systems. 323
Process-Oriented Geoinformation Systems and Applications
- Hartmut Asche:
Process-Oriented Geoinformation Systems and Applications. 324 - René Sieber, Livia Hollenstein, Remo Eichenberger:
Concepts and Techniques of an Online 3D Atlas - Challenges in Cartographic 3D Geovisualization. 325-326
Handling Heterogeneity in Formal Development of HW and SW Systems
- Yamine Aït Ameur, Dominique Méry:
Handling Heterogeneity in Formal Developments of Hardware and Software Systems. 327-328 - Faiez Zalila, Xavier Crégut, Marc Pantel:
Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study. 329-343 - Ilyès Boukhari, Ladjel Bellatreche, Stéphane Jean:
An Ontological Pivot Model to Interoperate Heterogeneous User Requirements. 344-358
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.