Table of Contents

• Towards the Verification of Hybrid Co-simulation AlgorithmsCasper Thule, Cláudio Gomes, Julien DeAntoni, Peter Gorm Larsen, Jörg Brauer, Hans Vangheluwe. 5-20 [doi]
• A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical SystemsMaurizio Palmieri, Cinzia Bernardeschi, Paolo Masci. 21-33 [doi]
• Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks SimulatorCinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri. 34-44 [doi]
• Demo: Stabilization Technique in INTO-CPSCláudio Gomes, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen, Hans Vangheluwe. 45-51 [doi]
• Demo: Co-simulation of UAVs with INTO-CPS and PVSio-webMaurizio Palmieri, Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini. 52-57 [doi]
• Towards a Co-simulation Based Model Assessment Process for System ArchitectureBenjamin Bossa, Benjamin Boulbene, Sébastien Dubé, Marc Pantel. 58-68 [doi]
• Co-simulation of Physical Model and Self-Adaptive Predictive Controller Using Hybrid AutomataImane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta. 69-76 [doi]
• Formalizing a Notion of Concentration Robustness for Biochemical NetworksLucia Nasti, Roberta Gori, Paolo Milazzo. 81-97 [doi]
• Explaining Successful Docker Images Using Pattern Mining AnalysisRiccardo Guidotti, Jacopo Soldani, Davide Neri, Antonio Brogi. 98-113 [doi]
• Analyzing Privacy Risk in Human Mobility DataRoberto Pellungrini, Luca Pappalardo, Francesca Pratesi, Anna Monreale. 114-129 [doi]
• Generating Synthetic Data for Real World Detection of DoS Attacks in the IoTLuca Arnaboldi, Charles Morisset. 130-145 [doi]
• Annotated BPMN Models for Optimised Healthcare Resource PlanningJuliana Bowles, Ricardo M. Czekster, Thais Webber. 146-162 [doi]
• Using Formal Methods to Validate Research Hypotheses: The Duolingo Case StudyAntonio Cerone, Aiym Zhexenbayeva. 163-170 [doi]
• Personality Gaze Patterns Unveiled via Automatic Relevance DeterminationVittorio Cuculo, Alessandro D'Amelio, Raffaella Lanzarotti, Giuseppe Boccignone. 171-184 [doi]
• FormalMiner: A Formal Framework for Refinement MiningAntonio Cerone. 185-200 [doi]
• Exploring Applications of Formal Methods in the INSPEX ProjectJoseph Razavi, Richard Banach, Olivier Debicki, Nicolas Mareau, Suzanne Lesecq, Julie Foucault. 205-215 [doi]
• Towards a Cognitive Architecture for the Formal Analysis of Human Behaviour and LearningAntonio Cerone. 216-232 [doi]
• Towards Handling Latency in Interactive SoftwareSébastien Leriche, Stéphane Conversy, Celia Picard, Daniel Prun, Mathieu Magnaudet. 233-239 [doi]
• Refinement Based Formal Development of Human-Machine InterfaceRomain Geniet, Neeraj Kumar Singh. 240-256 [doi]
• Using Abstraction with Interaction Sequences for Interactive System ModellingJessica Turner, Judy Bowen, Steve Reeves. 257-273 [doi]
• Formal Modelling as a Component of User Centred DesignMichael D. Harrison, Paolo Masci, José Creissac Campos. 274-289 [doi]
• Coordination of Complex Socio-Technical Systems: Challenges and OpportunitiesStefano Mariani. 295-310 [doi]
• Reo Coordination Model for Simulation of Quantum Internet SoftwareEbrahim Ardeshir-Larijani, Farhad Arbab. 311-319 [doi]
• Computing the Parallelism Degree of Timed BPMN ProcessesFrancisco Durán, Camilo Rocha, Gwen Salaün. 320-335 [doi]
• ReoLive: Analysing Connectors in Your BrowserRúben Cruz, José Proença. 336-350 [doi]
• Multi-agent Systems with Virtual StigmergyRocco De Nicola, Luca Di Stefano, Omar Inverso. 351-366 [doi]
• Towards a Hybrid Verification ApproachNahla Elaraby, eva Kühn, Anita Messinger, Sophie Therese Radschek. 367-386 [doi]
• Using Reinforcement Learning to Handle the Runtime Uncertainties in Self-adaptive SoftwareTong Wu, Qingshan Li, Lu Wang, Liu He, Yujie Li. 387-393 [doi]
• Model Based Development of Data Integration in Graph Databases Using Triple Graph GrammarsAbdullah Alqahtani, Reiko Heckel. 399-414 [doi]
• Short-Cut Rules - Sequential Composition of Rules Avoiding Unnecessary DeletionsLars Fritsche, Jens Kosiol, Andy Schürr, Gabriele Taentzer. 415-430 [doi]
• Graph Repair by Graph ProgramsAnnegret Habel, Christian Sandmann. 431-446 [doi]
• Double-Pushout Rewriting in ContextMichael Löwe. 447-462 [doi]
• From Hyperedge Replacement Grammars to Decidable Hyperedge Replacement GamesChristoph Peuser. 463-478 [doi]
• Verifying a Copying Garbage Collector in GP 2Gia S. Wulandari, Detlef Plump. 479-494 [doi]
• From Modeling to Test Case Generation in the Industrial Embedded System DomainAliya Hussain, Saurabh Tiwari, Jagadish Suryadevara, Eduard Enoiu. 499-505 [doi]
• Automated Consistency Preservation in Electronics Development of Cyber-Physical SystemsDaniel Zimmermann, Ralf H. Reussner. 506-511 [doi]
• A System Modeling Approach to Enhance Functional and Software DevelopmentSaurabh Tiwari, Emina Smajlovic, Amina Krekic, Jagadish Suryadevara. 512-518 [doi]
• Embedded UML Model Execution to Bridge the Gap Between Design and RuntimeValentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy. 519-528 [doi]
• Sketching a Model-Based Technique for Integrated Design and Run Time Description - Short Paper - Tool DemonstrationAndreas Kästner, Martin Gogolla, Khanh-Hoang Doan, Nisha Desai. 529-535 [doi]
• Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - Report on the MDE@DeRun 2018 WorkshopHugo Brunelière, Romina Eramo, Abel Gómez, Valentin Besnard, Jean-Michel Bruel, Martin Gogolla, Andreas Kästner, Adrian Rutle. 536-543 [doi]
• Design and Implementation of a Remote Care Application Based on Microservice ArchitecturePhilip Nils Wizenty, Florian Rademacher, Jonas Sorgalla, Sabine Sachweh. 549-557 [doi]
• Ambient Intelligence Users in the Loop: Towards a Model-Driven ApproachMaroun Koussaifi, Sylvie Trouilhet, Jean-Paul Arcangeli, Jean-Michel Bruel. 558-572 [doi]
• Integrity Protection Against Insiders in Microservice-Based Infrastructures: From Threats to a Security FrameworkMohsen Ahmadvand, Alexander Pretschner, Keith Ball, Daniel Eyring. 573-588 [doi]
• The Aspect of Resilience in Microservices-Based Software DesignVaidas Giedrimas, Samir Omanovic, Dino Alic. 589-595 [doi]
• On Collaborative Model-Driven Development of MicroservicesJonas Sorgalla, Florian Rademacher, Sabine Sachweh, Albert Zündorf. 596-603 [doi]
• A UML Profile for Privacy EnforcementJavier Luis Cánovas Izquierdo, Julián Salas. 609-616 [doi]
• Specification of Information Flow Security Policies in Model-Based Systems EngineeringChristopher Gerking. 617-632 [doi]
• Towards Scenario-Based Security Requirements Engineering for Cyber-Physical SystemsThorsten Koch. 633-643 [doi]
• Towards Model-Based Communication Control for the Internet of ThingsImad Berrouyne, Mehdi Adda, Jean-Marie Mottu, Jean-Claude Royer, Massimo Tisi. 644-655 [doi]