Abstract is missing.
- Towards a Unified View of Modeling and Programming (Track Summary)Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen. 3-10 [doi]
- Programming ⊂ Modeling ⊂ EngineeringBran Selic. 11-26 [doi]
- On a Unified View of Modeling and Programming Position PaperEd Seidewitz. 27-31 [doi]
- On the Feasibility of a Unified Modelling and Programming ParadigmAnne E. Haxthausen, Jan Peleska. 32-49 [doi]
- Modeling Meets Programming: A Comparative Study in Model Driven Engineering Action LanguagesMaged Elaasar, Omar Badreddin. 50-67 [doi]
- Abstractions for Modeling Complex SystemsZsolt Lattmann, Tamás Kecskés, Patrik Meijer, Gabor Karsai, Péter Völgyesi, Ákos Lédeczi. 68-79 [doi]
- Specifying and Verifying Advanced Control FeaturesGary T. Leavens, David A. Naumann, Hridesh Rajan, Tomoyuki Aotani. 80-96 [doi]
- Simplifying OMG MOF-Based MetamodelingNicolas F. Rouquette. 97-118 [doi]
- Modelling and Testing of Real SystemsAndreas Prinz, Birger Møller-Pedersen, Joachim Fischer. 119-130 [doi]
- Unifying Modelling and Programming: A Systems Biology PerspectiveHillel Kugler. 131-133 [doi]
- Formally Unifying Modeling and Design for Embedded Systems - A Personal ViewG. Berry. 134-149 [doi]
- Interactive Model-Based Compilation Continued - Incremental Hardware Synthesis for SCChartsFrancesca Rybicki, Steven Smyth, Christian Motika, Alexander Schulz-Rosengarten, Reinhard von Hanxleden. 150-170 [doi]
- Towards Semantically Integrated Models and Tools for Cyber-Physical Systems DesignPeter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, René Nilsson, Carl Gamble, Simon Foster. 171-186 [doi]
- Merging Modeling and Programming Using UmpleTimothy C. Lethbridge, Vahdat Abdelzad, Mahmoud Husseini Orabi, Ahmed Husseini Orabi, Opeyemi Adesina. 187-197 [doi]
- Systems Modeling and Programming in a Unified Environment Based on JuliaHilding Elmqvist, Toivo Henningsson, Martin Otter. 198-217 [doi]
- Meta-Level Reuse for Mastering Domain SpecializationStefan Naujokat, Johannes Neubauer, Tiziana Margaria, Bernhard Steffen. 218-237 [doi]
- Towards a Unified View of Modeling and ProgrammingManfred Broy, Klaus Havelund, Rahul Kumar. 238-257 [doi]
- Formal Methods and Safety Certification: Challenges in the Railways DomainAlessandro Fantechi, Alessio Ferrari, Stefania Gnesi. 261-265 [doi]
- On the Use of Static Checking in the Verification of Interlocking SystemsAnne Elisabeth Haxthausen, Peter H. Østergaard. 266-278 [doi]
- Compositional Verification of Multi-station Interlocking SystemsHugo Dniel Macedo, Alessandro Fantechi, Anne Elisabeth Haxthausen. 279-293 [doi]
- OnTrack: The Railway Verification Toolset - Extended AbstractPhillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne, Xu Wang. 294-296 [doi]
- Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC SystemFranco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo. 297-314 [doi]
- Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based ApproachDavide Basile, Felicita Di Giandomenico, Stefania Gnesi. 315-330 [doi]
- Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction)Ezio Bartocci, Yliès Falcone. 333-338 [doi]
- What Is a Trace? A Runtime Verification PerspectiveGiles Reger, Klaus Havelund. 339-355 [doi]
- Execution Trace Analysis Using LTL-FO ^+Raphaël Khoury, Sylvain Hallé, Omar Waldmann. 356-362 [doi]
- Challenges in Fault-Tolerant Distributed Runtime VerificationBorzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers. 363-370 [doi]
- The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-SystemsThang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin. 371-379 [doi]
- Runtime Verification for Interconnected Medical DevicesMartin Leucker, Malte Schmitz 0001, Danilo à Tellinghusen. 380-387 [doi]
- Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and SolutionsFabrizio Pastore, Leonardo Mariani. 388-393 [doi]
- Towards a Logic for Inferring Properties of Event StreamsSean Kauffman, Rajeev Joshi, Klaus Havelund. 394-399 [doi]
- Runtime Verification for Stream Processing ApplicationsChristian Colombo, Gordon J. Pace, Luke Camilleri, Claire Dimech, Reuben A. Farrugia, Jean-Paul Grech, Alessio Magro, Andrew C. Sammut, Kristian Zarb Adami. 400-406 [doi]
- On the Runtime Enforcement of Evolving Privacy Policies in Online Social NetworksGordon J. Pace, Raúl Pardo, Gerardo Schneider. 407-412 [doi]
- On the Specification and Enforcement of Privacy-Preserving Contractual AgreementsGerardo Schneider. 413-419 [doi]
- Introduction to the Track on Variability Modeling for Scalable Software EvolutionFerruccio Damiani, Christoph Seidl, Ingrid Chieh Yu. 423-432 [doi]
- Towards Incremental Validation of Railway SystemsReiner Hähnle, Radu Muschevici. 433-446 [doi]
- Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to PractitionersEldar Khalilov, Jordan Ross, Michal Antkiewicz, Markus Völter, Krzysztof Czarnecki. 447-464 [doi]
- Variability-Based Design of Services for Smart Transportation SystemsMaurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Laura Semini. 465-481 [doi]
- Comparing AWS Deployments Using Model-Based PredictionsEinar Broch Johnsen, Jia-Chun Lin, Ingrid Chieh Yu. 482-496 [doi]
- A Toolchain for Delta-Oriented Modeling of Software Product LinesCristina Chesta, Ferruccio Damiani, Liudmila Dobriakova, Marco Guernieri, Simone Martini, Michael Nieke, Vitor Rodrigues, Sven Schuster. 497-511 [doi]
- A Technology-Neutral Role-Based Collaboration Model for Software EcosystemsStefan Stanciulescu, Daniela Rabiser, Christoph Seidl. 512-530 [doi]
- Adaptable Runtime Monitoring for the Java Virtual MachineAndrea Rosà, Yudi Zheng, Haiyang Sun, Omar Javed, Walter Binder. 531-546 [doi]
- Identifying Variability in Object-Oriented Code Using Model-Based Code MiningDavid Wille, Michael Tiede, Sandro Schulze, Christoph Seidl, Ina Schaefer. 547-562 [doi]
- User Profiles for Context-Aware Reconfiguration in Software Product LinesMichael Nieke, Jacopo Mauro, Christoph Seidl, Ingrid Chieh Yu. 563-578 [doi]
- Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-CheckingFerruccio Damiani, Michael Lienhardt. 579-596 [doi]
- Facets of Software DopingGilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns. 601-608 [doi]
- Software that Meets Its IntentMarieke Huisman, Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser. 609-625 [doi]
- Compliance, Functional Safety and Fault Detection by Formal MethodsChristof Fetzer, Christoph Weidenbach, Patrick Wischnewski. 626-632 [doi]
- What the Hack Is Wrong with Software Doping?Kevin Baum. 633-647 [doi]
- Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems - Special Track at ISoLA 2016Falk Howar, Karl Meinke, Andreas Rausch. 651-654 [doi]
- ALEX: Mixed-Mode Learning of Web Applications at EaseAlexander Bainczyk, Alexander Schieweck, Malte Isberner, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen. 655-671 [doi]
- Assuring the Safety of Advanced Driver Assistance Systems Through a Combination of Simulation and Runtime MonitoringMalte Mauritz, Falk Howar, Andreas Rausch. 672-687 [doi]
- Enhancement of an Adaptive HEV Operating Strategy Using Machine Learning AlgorithmsMark Schudeleit, Meng Zhang, Xiaofei Qi, Ferit Küçükay, Andreas Rausch. 688-702 [doi]
- Data Science Challenges to Improve Quality Assurance of Internet of Things ApplicationsHarald Foidl, Michael Felderer. 707-726 [doi]
- Model-Based Testing as a Service for IoT PlatformsAbbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret, Franck Le Gall, Bruno Legeard. 727-742 [doi]
- Handling Domain Knowledge in Formal Design Models: An Ontology Based ApproachKahina Hacid. 747-751 [doi]
- Effective and Efficient Customization Through Lean Trans-Departmental ConfigurationBarbara Steffen, Steve Boßelmann, Axel Hessenkämper. 757-773 [doi]
- A Fully Model-Based Approach to Software Development for Industrial CentrifugesNils Wortmann, Malte Michel, Stefan Naujokat. 774-783 [doi]
- RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL VerificationMaren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol. 787-803 [doi]
- DIME: A Programming-Less Modeling Environment for Web ApplicationsSteve Boßelmann, Markus Frohme, Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, Johannes Neubauer, Dominic Wirkner, Philip Zweihoff, Bernhard Steffen. 809-832 [doi]
- Verification Techniques for Hybrid SystemsPavithra Prabhakar. 833-842 [doi]
- On the Power of Statistical Model CheckingKim G. Larsen, Axel Legay. 843-862 [doi]