default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISoLA 2014: Corfu, Greece
- Tiziana Margaria
, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. Lecture Notes in Computer Science 8803, Springer 2014, ISBN 978-3-662-45230-1
Engineering Virtualized Systems
- Reiner Hähnle, Einar Broch Johnsen:
Introduction to Track on Engineering Virtualized Services. 1-4 - Georg Göri, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz:
Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling. 5-21 - Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro:
Fault Model Design Space for Cooperative Concurrency. 22-36 - Behrooz Nobakht, Frank S. de Boer:
Programming with Actors in Java 8. 37-53 - Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen:
Contracts in CML. 54-73 - Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson:
Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions. 74-87 - Elena Giachino, Cosimo Laneve:
Towards the Typing of Resource Deployment. 88-103 - Elvira Albert, Jesús Correas Fernández, Enrique Martin-Martin, Guillermo Román-Díez:
Static Inference of Transmission Data Sizes in Distributed Systems. 104-119 - Richard Bubel, Reiner Hähnle, Maria Pelevina:
Fully Abstract Operation Contracts. 120-134
Statistical Model Checking
- Kim Guldstrand Larsen, Axel Legay:
Statistical Model Checking Past, Present, and Future - (Track Introduction). 135-142 - Cyrille Jégourel, Axel Legay, Sean Sedwards:
An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking. 143-159 - Benoît Boyer, Axel Legay, Louis-Marie Traonouez:
A Formalism for Stochastic Adaptive Systems. 160-176 - Dimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll:
A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. 177-192 - Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny:
Formal Analysis of the Wnt/β-catenin through Statistical Model Checking. 193-207 - Erik Ramsgaard Wognsen, René Rydhof Hansen, Kim Guldstrand Larsen:
Battery-Aware Scheduling of Mixed Criticality Systems. 208-222 - Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang:
Using Statistical Model Checking for Measuring Systems. 223-238 - Khalil El-Harake, Yliès Falcone, Wassim Jerad, Matthieu Langet, Mariem Mamlouk:
Blocking Advertisements on Android Devices Using Monitoring Techniques. 239-253 - Klaus Havelund:
Monitoring with Data Automata. 254-273
Risk-Based Testing
- Michael Felderer, Marc-Florian Wendland, Ina Schieferdecker:
Risk-Based Testing - (Track Introduction). 274-276 - Fredrik Seehusen:
A Technique for Risk-Based Test Procedure Identification, Prioritization and Selection. 277-291 - Michael Felderer, Christian Haisjackl, Viktor Pekar, Ruth Breu:
A Risk Assessment Framework for Software Testing. 292-308 - Inbal Yahav, Ron S. Kenett, Xiaoying Bai:
Data Driven Testing of Open Source Software. 309-321 - Jürgen Großmann, Martin A. Schneider, Johannes Viehmann, Marc-Florian Wendland:
Combining Risk Analysis and Security Testing. 322-336 - Julien Botella, Bruno Legeard, Fabien Peureux, Alexandre Vernotte:
Risk-Based Vulnerability Testing Using Security Test Patterns. 337-352
Medical Cyber-Physical Systems
- Ezio Bartocci, Sicun Gao, Scott A. Smolka:
Medical Cyber-Physical Systems - (Track Introduction). 353-355 - Radu Grosu, Elizabeth Cherry, Edmund M. Clarke, Rance Cleaveland, Sanjay Dixit, Flavio H. Fenton, Sicun Gao, James Glimm, Richard A. Gray, Rahul Mangharam, Arnab Ray, Scott A. Smolka:
Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices. 356-364 - Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti:
On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers. 365-384 - Edmund M. Clarke, Sicun Gao:
Model Checking Hybrid Systems - (Invited Talk). 385-386 - Martin Leucker:
Challenges for the Dynamic Interconnection of Medical Devices. 387-390 - Sara Bufo, Ezio Bartocci, Guido Sanguinetti, Massimo Borelli, Umberto Lucangelo, Luca Bortolussi:
Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients. 391-403
Scientific Workflows
- Joost N. Kok, Anna-Lena Lamprecht, Kenneth J. Turner, Katy Wolstencroft:
Track Introduction: Scientific Workflows. 404-406 - Jonathan K. Vis, Joost N. Kok:
Meta-analysis of Disjoint Sets of Attributes in Large Cohort Studies. 407-419 - Samih Al-Areqi, Steffen Kriewald, Anna-Lena Lamprecht, Dominik Reusser, Markus Wrobel, Tiziana Margaria:
Towards a Flexible Assessment of Climate Impacts: The Example of Agile Workflows for the ci: grasp Platform. 420-435 - Vid Podpecan:
A Visual Programming Approach to Beat-Driven Humanoid Robot Dancing. 436-448 - Alexander Wickert, Anna-Lena Lamprecht:
jABCstats: An Extensible Process Library for the Empirical Analysis of jABC Workflows. 449-463 - Beatriz García Jiménez, Mark D. Wilkinson:
Automatic Annotation of Bioinformatics Workflows with Biomedical Ontologies. 464-478
Evaluation and Reproducibility of Program Analysis
- Markus Schordan, Welf Löwe, Dirk Beyer:
Evaluation and Reproducibility of Program Analysis (Track Introduction). 479-481 - Björn Lisper:
SWEET - A Tool for WCET Flow Analysis (Extended Abstract). 482-485 - George Chatzieleftheriou, Apostolos Chatzopoulos, Panagiotis Katsaros:
Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities II - (Extended Abstract). 486-488 - Xavier Rival, Antoine Toubhans, Bor-Yuh Evan Chang:
Construction of Abstract Domains for Heterogeneous Properties (Position Paper). 489-492 - Markus Schordan, Pei-Hung Lin, Daniel J. Quinlan, Louis-Noël Pouchet:
Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations. 493-508 - Jose Quaresma, Christian W. Probst, Flemming Nielson:
The Guided System Development Framework: Modeling and Verifying Communication Systems. 509-523
Processes and Data Integration in the Networked Healthcare
- Tiziana Margaria, Christoph Rasche:
Processes and Data Integration in the Networked Healthcare - (Track Introduction). 524-525 - Tiziana Margaria, Barry D. Floyd, Rodolfo Gonzalez Camargo, Anna-Lena Lamprecht, Johannes Neubauer, Marilia Seelaender:
Simple Management of High Assurance Data in Long-Lived Interdisciplinary Healthcare Research: A Proposal. 526-544 - Steve Boßelmann, Tiziana Margaria:
Domain-Specific Business Modeling with the Business Model Developer. 545-560 - Mark Gaynor, George M. Wyner, Amar Gupta:
Dr. Watson? Balancing Automation and Human Expertise in Healthcare Delivery. 561-569
Semantic Heterogeneity in the Formal Development of Complex Systems
- J. Paul Gibson, Idir Aït-Sadoune:
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. 570-572 - J. Christian Attiogbé:
Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach. 573-587 - Selma Khouri, Ladjel Bellatreche, Stéphane Jean, Yamine Aït Ameur:
Requirements Driven Data Warehouse Design: We Can Go Further. 588-603 - Yamine Aït Ameur, J. Paul Gibson, Dominique Méry:
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read. 604-618
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 2025-12-09 23:35 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:
