Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISoLA 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, Jan Peleska:
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, Péter Völgyesi, Ákos Lédeczi:
Abstractions for Modeling Complex Systems. 68-79 - Gary T. Leavens, David A. Naumann, Hridesh Rajan, Tomoyuki Aotani:
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, John S. Fitzgerald, Jim Woodcock, René A. Nilsson, Carl Gamble, Simon Foster:
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. 171-186 - Timothy C. Lethbridge, Vahdat Abdelzad, Mahmoud Husseini Orabi, Ahmed Husseini Orabi, Opeyemi Adesina:
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, Johannes Neubauer, Tiziana Margaria, Bernhard Steffen:
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, Stefania Gnesi:
Formal Methods and Safety Certification: Challenges in the Railways Domain. 261-265 - Anne E. Haxthausen, Peter H. Østergaard:
On the Use of Static Checking in the Verification of Interlocking Systems. 266-278 - Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen:
Compositional Verification of Multi-station Interlocking Systems. 279-293 - Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne, Xu Wang:
OnTrack: The Railway Verification Toolset - Extended Abstract. 294-296 - Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo:
Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System. 297-314 - Davide Basile, Felicita Di Giandomenico, Stefania Gnesi:
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, Yliès Falcone:
Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction). 333-338 - Giles Reger, Klaus Havelund:
What Is a Trace? A Runtime Verification Perspective. 339-355 - Raphaël Khoury, Sylvain Hallé, Omar Waldmann:
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, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin:
The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. 371-379 - Martin Leucker, Malte Schmitz, Danilo à Tellinghusen:
Runtime Verification for Interconnected Medical Devices. 380-387 - Fabrizio Pastore, Leonardo Mariani:
Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions. 388-393 - Sean Kauffman, Rajeev Joshi, Klaus Havelund:
Towards a Logic for Inferring Properties of Event Streams. 394-399 - Christian Colombo, Gordon J. Pace, Luke Camilleri, Claire Dimech, Reuben A. Farrugia, Jean-Paul Grech, Alessio Magro, Andrew C. Sammut, Kristian Zarb Adami:
Runtime Verification for Stream Processing Applications. 400-406 - Gordon J. Pace, Raúl Pardo, Gerardo Schneider:
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, Christoph Seidl, Ingrid Chieh Yu:
Introduction to the Track on Variability Modeling for Scalable Software Evolution. 423-432 - Reiner Hähnle, Radu Muschevici:
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, Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Variability-Based Design of Services for Smart Transportation Systems. 465-481 - Einar Broch Johnsen, Jia-Chun Lin, Ingrid Chieh Yu:
Comparing AWS Deployments Using Model-Based Predictions. 482-496 - Cristina Chesta, Ferruccio Damiani, Liudmila Dobriakova, Marco Guernieri, Simone Martini, Michael Nieke, Vítor Rodrigues, Sven Schuster:
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à, Yudi Zheng, Haiyang Sun, Omar Javed, Walter Binder:
Adaptable Runtime Monitoring for the Java Virtual Machine. 531-546 - David Wille, Michael Tiede, Sandro Schulze, Christoph Seidl, Ina Schaefer:
Identifying Variability in Object-Oriented Code Using Model-Based Code Mining. 547-562 - Michael Nieke, Jacopo Mauro, Christoph Seidl, Ingrid Chieh Yu:
User Profiles for Context-Aware Reconfiguration in Software Product Lines. 563-578 - Ferruccio Damiani, Michael Lienhardt:
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, Bernd Finkbeiner, Holger Hermanns:
Facets of Software Doping. 601-608 - Marieke Huisman, Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser:
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, Malte Isberner, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen:
ALEX: Mixed-Mode Learning of Web Applications at Ease. 655-671 - Malte Mauritz, Falk Howar, Andreas Rausch:
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, Elizabeta Fourneret, Franck Le Gall, Bruno Legeard:
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, Steve Boßelmann, Axel Hessenkämper:
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, Johannes Neubauer, Dominic Wirkner, Philip Zweihoff, Bernhard Steffen:
DIME: A Programming-Less Modeling Environment for Web Applications. 809-832 - Pavithra Prabhakar, Miriam Garcia Soto, Ratan Lal:
Verification Techniques for Hybrid Systems. 833-842 - Kim G. Larsen, Axel Legay:
On the Power of Statistical Model Checking. 843-862
a service of 
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-04-22 21:07 CEST 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:
