Abstract is missing.
- Linux Driver Verification - (Position Paper)Dirk Beyer, Alexander K. Petrenko. 1-6 [doi]
- Bioscientific Data Processing and ModelingJoost N. Kok, Anna-Lena Lamprecht, Fons J. Verbeek, Mark D. Wilkinson. 7-11 [doi]
- Using Multiobjective Optimization and Energy Minimization to Design an Isoform-Selective Ligand of the 14-3-3 ProteinHernando Sanchez-Faddeev, Michael T. M. Emmerich, Fons J. Verbeek, Andrew H. Henry, Simon Grimshaw, Herman P. Spaink, Herman W. T. van Vlijmen, Andreas Bender. 12-24 [doi]
- Segmentation for High-Throughput Image Analysis: Watershed Masked ClusteringKuan Yan, Fons J. Verbeek. 25-41 [doi]
- Efficient and Robust Shape Retrieval from Deformable TemplatesAlexander E. Nezhinsky, Fons J. Verbeek. 42-55 [doi]
- OWL-DL Domain-Models as Abstract WorkflowsIan Wood, Benjamin P. Vandervalk, E. Luke McCarthy, Mark D. Wilkinson. 56-66 [doi]
- Processes and Data Integration in the Networked HealthcareAndrea Braun von Reinersdorff, Tiziana Margaria, Christoph Rasche. 67-69 [doi]
- Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare DomainTiziana Margaria, Steve Boßelmann, Bertold Kujath. 70-72 [doi]
- Considerations for Healthcare Applications in a Platform as a Service EnvironmentAndreas Holubek, Christian Metzger. 73-74 [doi]
- Reha-Sports: The Challenge of Small Margin Healthcare AccountingMarkus Doedt, Thomas Göke, Jan Pardo, Bernhard Steffen. 75-77 [doi]
- Timing Constraints: Theory Meets PracticeBjörn Lisper, Johan Nordlander, Sophie Quinton. 78-79 [doi]
- A Simple and Flexible Timing Constraint LogicBjörn Lisper, Johan Nordlander. 80-95 [doi]
- Generalized Weakly-Hard ConstraintsSophie Quinton, Rolf Ernst. 96-110 [doi]
- Modeling a BSG-E Automotive System with the Timing Augmented Description LanguageMarie-Agnès Peraldi-Frati, Arda Goknil, Morayo Adedjouma, Pierre Yves Gueguen. 111-125 [doi]
- Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ MethodIakovos Ouranos, Kazuhiro Ogata, Petros S. Stefaneas. 126-142 [doi]
- Formal Specification and Verification of Task Time Constraints for Real-Time SystemsNing Ge, Marc Pantel, Xavier Crégut. 143-157 [doi]
- The WCET Analysis Tool CalcWcet167Raimund Kirner. 158-172 [doi]
- Abstract Execution for Event-Driven Systems - An Application from Automotive/Infotainment DevelopmentKlaus Birken. 173-186 [doi]
- Formal Methods for Intelligent Transportation SystemsAlessandro Fantechi, Francesco Flammini, Stefania Gnesi. 187-189 [doi]
- Model-Driven V&V Processes for Computer Based Control Systems: A Unifying PerspectiveFrancesco Flammini, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini. 190-204 [doi]
- Formal Methods in Avionic Software Certification: The DO-178C PerspectiveGabriella Gigante, Domenico Pascarella. 205-215 [doi]
- Product Line Engineering Applied to CBTC Systems DevelopmentAlessio Ferrari, Giorgio Oronzo Spagnolo, Giacomo Martelli, Simone Menabeni. 216-230 [doi]
- Improving Verification Process in Driverless Metro Systems: The MBAT ProjectStefano Marrone, Roberto Nardone, Antonio Orazzo, Ida Petrone, Luigi Velardi. 231-245 [doi]
- Optimising Ordering Strategies for Symbolic Model Checking of Railway InterlockingsKirsten Winter. 246-260 [doi]
- Automated Generation of Safety Requirements from Railway Interlocking TablesAnne Elisabeth Haxthausen. 261-275 [doi]
- Distributing the Challenge of Model Checking Interlocking Control TablesAlessandro Fantechi. 276-289 [doi]
- Quantitative Modelling and AnalysisJoost-Pieter Katoen, Kim Guldstrand Larsen. 290-292 [doi]
- Schedulability of Herschel-Planck Revisited Using Statistical Model CheckingAlexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis. 293-307 [doi]
- Checking Correctness of Services Modeled as Priced Timed AutomataAida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson. 308-322 [doi]
- Software Aspects of Robotic SystemsJens Knoop, Dietmar Schreiner. 323 [doi]
- Process-Oriented Geoinformation Systems and ApplicationsHartmut Asche. 324 [doi]
- Concepts and Techniques of an Online 3D Atlas - Challenges in Cartographic 3D GeovisualizationRené Sieber, Livia Hollenstein, Remo Eichenberger. 325-326 [doi]
- Handling Heterogeneity in Formal Developments of Hardware and Software SystemsYamine Aït Ameur, Dominique Méry. 327-328 [doi]
- Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case StudyFaiez Zalila, Xavier Crégut, Marc Pantel. 329-343 [doi]
- An Ontological Pivot Model to Interoperate Heterogeneous User RequirementsIlyès Boukhari, Ladjel Bellatreche, Stéphane Jean. 344-358 [doi]