default search action
ISoLA 2016: Corfu, Greece
- Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. Lecture Notes in Computer Science 9953, 2016, ISBN 978-3-319-47168-6
Towards a Unified View of Modeling and Programming
- Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen:
Towards a Unified View of Modeling and Programming (Track Summary). 3-10 - Bran Selic:
Programming ⊂ Modeling ⊂ Engineering. 11-26 - Ed Seidewitz
:
On a Unified View of Modeling and Programming Position Paper. 27-31 - Anne E. Haxthausen
On the Feasibility of a Unified Modelling and Programming Paradigm. 32-49 - Maged Elaasar, Omar Badreddin:
Modeling Meets Programming: A Comparative Study in Model Driven Engineering Action Languages. 50-67 - Zsolt Lattmann, Tamás Kecskés, Patrik Meijer, Gabor Karsai
Abstractions for Modeling Complex Systems. 68-79 - Gary T. Leavens, David A. Naumann
Specifying and Verifying Advanced Control Features. 80-96 - Nicolas F. Rouquette:
Simplifying OMG MOF-Based Metamodeling. 97-118 - Andreas Prinz, Birger Møller-Pedersen, Joachim Fischer:
Modelling and Testing of Real Systems. 119-130 - Hillel Kugler
Unifying Modelling and Programming: A Systems Biology Perspective. 131-133 - Gérard Berry:
Formally Unifying Modeling and Design for Embedded Systems - A Personal View. 134-149 - Francesca Rybicki, Steven Smyth, Christian Motika, Alexander Schulz-Rosengarten, Reinhard von Hanxleden:
Interactive Model-Based Compilation Continued - Incremental Hardware Synthesis for SCCharts. 150-170 - Peter Gorm Larsen
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. 171-186 - Timothy C. Lethbridge
Merging Modeling and Programming Using Umple. 187-197 - Hilding Elmqvist, Toivo Henningsson, Martin Otter:
Systems Modeling and Programming in a Unified Environment Based on Julia. 198-217 - Stefan Naujokat
Meta-Level Reuse for Mastering Domain Specialization. 218-237 - Manfred Broy, Klaus Havelund, Rahul Kumar:
Towards a Unified View of Modeling and Programming. 238-257
Formal Methods and Safety Certification: Challenges in the Railways Domain
- Alessandro Fantechi, Alessio Ferrari
Formal Methods and Safety Certification: Challenges in the Railways Domain. 261-265 - Anne E. Haxthausen
On the Use of Static Checking in the Verification of Interlocking Systems. 266-278 - Hugo Daniel Macedo
Compositional Verification of Multi-station Interlocking Systems. 279-293 - Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne
OnTrack: The Railway Verification Toolset - Extended Abstract. 294-296 - Franco Mazzanti, Alessio Ferrari
Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System. 297-314 - Davide Basile
Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach. 315-330
RVE: Runtime Verification and Enforcement, the (Industrial) Application Perspective
- Ezio Bartocci
Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction). 333-338 - Giles Reger
What Is a Trace? A Runtime Verification Perspective. 339-355 - Raphaël Khoury, Sylvain Hallé
Execution Trace Analysis Using LTL-FO ^+. 356-362 - Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers:
Challenges in Fault-Tolerant Distributed Runtime Verification. 363-370 - Thang Nguyen, Ezio Bartocci
The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. 371-379 - Martin Leucker
Runtime Verification for Interconnected Medical Devices. 380-387 - Fabrizio Pastore
Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions. 388-393 - Sean Kauffman
Towards a Logic for Inferring Properties of Event Streams. 394-399 - Christian Colombo
Runtime Verification for Stream Processing Applications. 400-406 - Gordon J. Pace, Raúl Pardo
On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks. 407-412 - Gerardo Schneider:
On the Specification and Enforcement of Privacy-Preserving Contractual Agreements. 413-419
Variability Modeling for Scalable Software Evolution
- Ferruccio Damiani
Introduction to the Track on Variability Modeling for Scalable Software Evolution. 423-432 - Reiner Hähnle
Towards Incremental Validation of Railway Systems. 433-446 - Eldar Khalilov, Jordan A. Ross, Michal Antkiewicz, Markus Völter, Krzysztof Czarnecki:
Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners. 447-464 - Maurice H. ter Beek
Variability-Based Design of Services for Smart Transportation Systems. 465-481 - Einar Broch Johnsen
Comparing AWS Deployments Using Model-Based Predictions. 482-496 - Cristina Chesta, Ferruccio Damiani
A Toolchain for Delta-Oriented Modeling of Software Product Lines. 497-511 - Stefan Stanciulescu, Daniela Rabiser, Christoph Seidl:
A Technology-Neutral Role-Based Collaboration Model for Software Ecosystems. 512-530 - Andrea Rosà
Adaptable Runtime Monitoring for the Java Virtual Machine. 531-546 - David Wille, Michael Tiede, Sandro Schulze
Identifying Variability in Object-Oriented Code Using Model-Based Code Mining. 547-562 - Michael Nieke, Jacopo Mauro
User Profiles for Context-Aware Reconfiguration in Software Product Lines. 563-578 - Ferruccio Damiani
Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking. 579-596
Detecting and Understanding Software Doping
- Gilles Barthe, Pedro R. D'Argenio
Facets of Software Doping. 601-608 - Marieke Huisman
Software that Meets Its Intent. 609-625 - Christof Fetzer, Christoph Weidenbach, Patrick Wischnewski:
Compliance, Functional Safety and Fault Detection by Formal Methods. 626-632 - Kevin Baum
What the Hack Is Wrong with Software Doping? 633-647
Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems
- Falk Howar, Karl Meinke, Andreas Rausch:
Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems - Special Track at ISoLA 2016. 651-654 - Alexander Bainczyk, Alexander Schieweck
ALEX: Mixed-Mode Learning of Web Applications at Ease. 655-671 - Malte Mauritz
Assuring the Safety of Advanced Driver Assistance Systems Through a Combination of Simulation and Runtime Monitoring. 672-687 - Mark Schudeleit, Meng Zhang, Xiaofei Qi, Ferit Küçükay, Andreas Rausch:
Enhancement of an Adaptive HEV Operating Strategy Using Machine Learning Algorithms. 688-702
Testing the Internet of Things
- Harald Foidl, Michael Felderer:
Data Science Challenges to Improve Quality Assurance of Internet of Things Applications. 707-726 - Abbas Ahmad, Fabrice Bouquet
Model-Based Testing as a Service for IoT Platforms. 727-742
Doctoral Symposium
- Kahina Hacid:
Handling Domain Knowledge in Formal Design Models: An Ontology Based Approach. 747-751
Industrial Track
- Barbara Steffen
Effective and Efficient Customization Through Lean Trans-Departmental Configuration. 757-773 - Nils Wortmann, Malte Michel, Stefan Naujokat
A Fully Model-Based Approach to Software Development for Industrial Centrifuges. 774-783
RERS Challenge
- Maren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol:
RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. 787-803
STRESS
- Steve Boßelmann, Markus Frohme, Dawid Kopetzki, Michael Lybecait, Stefan Naujokat
DIME: A Programming-Less Modeling Environment for Web Applications. 809-832 - Pavithra Prabhakar, Miriam Garcia Soto
Verification Techniques for Hybrid Systems. 833-842 - Kim G. Larsen, Axel Legay:
On the Power of Statistical Model Checking. 843-862
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-18 18:16 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: