default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISoLA 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
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.
last updated on 2024-12-19 22:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
