default search action
STAF Workshops 2018: Toulouse, France
- Manuel Mazzara, Iulian Ober
, Gwen Salaün:
Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11176, Springer 2018, ISBN 978-3-030-04770-2
Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS)
- Casper Thule, Cláudio Gomes
Towards the Verification of Hybrid Co-simulation Algorithms. 5-20 - Maurizio Palmieri
A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems. 21-33 - Cinzia Bernardeschi
Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator. 34-44 - Cláudio Gomes
Demo: Stabilization Technique in INTO-CPS. 45-51 - Maurizio Palmieri
Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web. 52-57 - Benjamin Bossa, Benjamin Boulbene, Sébastien Dubé, Marc Pantel:
Towards a Co-simulation Based Model Assessment Process for System Architecture. 58-68 - Imane Lamrani, Ayan Banerjee
Co-simulation of Physical Model and Self-Adaptive Predictive Controller Using Hybrid Automata. 69-76
From Data to Models and Back (DataMod)
- Lucia Nasti
Formalizing a Notion of Concentration Robustness for Biochemical Networks. 81-97 - Riccardo Guidotti, Jacopo Soldani
Explaining Successful Docker Images Using Pattern Mining Analysis. 98-113 - Roberto Pellungrini, Luca Pappalardo
Analyzing Privacy Risk in Human Mobility Data. 114-129 - Luca Arnaboldi
Generating Synthetic Data for Real World Detection of DoS Attacks in the IoT. 130-145 - Juliana Bowles
Annotated BPMN Models for Optimised Healthcare Resource Planning. 146-162 - Antonio Cerone, Aiym Zhexenbayeva:
Using Formal Methods to Validate Research Hypotheses: The Duolingo Case Study. 163-170 - Vittorio Cuculo
Personality Gaze Patterns Unveiled via Automatic Relevance Determination. 171-184 - Antonio Cerone:
FormalMiner: A Formal Framework for Refinement Mining. 185-200
Formal Methods for Interactive Systems (FMIS)
- Joseph Razavi, Richard Banach, Olivier Debicki, Nicolas Mareau, Suzanne Lesecq, Julie Foucault:
Exploring Applications of Formal Methods in the INSPEX Project. 205-215 - Antonio Cerone:
Towards a Cognitive Architecture for the Formal Analysis of Human Behaviour and Learning. 216-232 - Sébastien Leriche, Stéphane Conversy, Célia Picard, Daniel Prun, Mathieu Magnaudet:
Towards Handling Latency in Interactive Software. 233-239 - Romain Geniet, Neeraj Kumar Singh:
Refinement Based Formal Development of Human-Machine Interface. 240-256 - Jessica Turner
Using Abstraction with Interaction Sequences for Interactive System Modelling. 257-273 - Michael D. Harrison
Formal Modelling as a Component of User Centred Design. 274-289
Foundations of Coordination Languages and Self-adaptative Systems (FOCLASA)
- Stefano Mariani
Coordination of Complex Socio-Technical Systems: Challenges and Opportunities. 295-310 - Ebrahim Ardeshir-Larijani
Reo Coordination Model for Simulation of Quantum Internet Software. 311-319 - Francisco Durán, Camilo Rocha
Computing the Parallelism Degree of Timed BPMN Processes. 320-335 - Rúben Cruz, José Proença:
ReoLive: Analysing Connectors in Your Browser. 336-350 - Rocco De Nicola
Multi-agent Systems with Virtual Stigmergy. 351-366 - Nahla A. El-Araby
Towards a Hybrid Verification Approach. 367-386 - Tong Wu, Qingshan Li, Lu Wang, Liu He, Yujie Li:
Using Reinforcement Learning to Handle the Runtime Uncertainties in Self-adaptive Software. 387-393
Graph Computation Models (GCM)
- Abdullah Alqahtani
Model Based Development of Data Integration in Graph Databases Using Triple Graph Grammars. 399-414 - Lars Fritsche
Short-Cut Rules - Sequential Composition of Rules Avoiding Unnecessary Deletions. 415-430 - Annegret Habel, Christian Sandmann:
Graph Repair by Graph Programs. 431-446 - Michael Löwe:
Double-Pushout Rewriting in Context. 447-462 - Christoph Peuser:
From Hyperedge Replacement Grammars to Decidable Hyperedge Replacement Games. 463-478 - Gia Septiana Wulandari
Verifying a Copying Garbage Collector in GP 2. 479-494
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (MDE@DeRun)
- Aliya Hussain, Saurabh Tiwari
From Modeling to Test Case Generation in the Industrial Embedded System Domain. 499-505 - Daniel Zimmermann, Ralf H. Reussner
Automated Consistency Preservation in Electronics Development of Cyber-Physical Systems. 506-511 - Saurabh Tiwari
A System Modeling Approach to Enhance Functional and Software Development. 512-518 - Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy:
Embedded UML Model Execution to Bridge the Gap Between Design and Runtime. 519-528 - Andreas Kästner, Martin Gogolla, Khanh-Hoang Doan, Nisha Desai:
Sketching a Model-Based Technique for Integrated Design and Run Time Description - Short Paper - Tool Demonstration. 529-535 - Hugo Bruneliere
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - Report on the MDE@DeRun 2018 Workshop. 536-543
Microservices: Science and Engineering (MSE)
- Philip Nils Wizenty, Florian Rademacher, Jonas Sorgalla, Sabine Sachweh:
Design and Implementation of a Remote Care Application Based on Microservice Architecture. 549-557 - Maroun Koussaifi, Sylvie Trouilhet, Jean-Paul Arcangeli, Jean-Michel Bruel:
Ambient Intelligence Users in the Loop: Towards a Model-Driven Approach. 558-572 - Mohsen Ahmadvand, Alexander Pretschner, Keith Ball, Daniel Eyring:
Integrity Protection Against Insiders in Microservice-Based Infrastructures: From Threats to a Security Framework. 573-588 - Vaidas Giedrimas, Samir Omanovic, Dino Alic:
The Aspect of Resilience in Microservices-Based Software Design. 589-595 - Jonas Sorgalla
On Collaborative Model-Driven Development of Microservices. 596-603
Security for and by Model-Driven Engineering (MDE)
- Javier Luis Cánovas Izquierdo, Julián Salas:
A UML Profile for Privacy Enforcement. 609-616 - Christopher Gerking
Specification of Information Flow Security Policies in Model-Based Systems Engineering. 617-632 - Thorsten Koch:
Towards Scenario-Based Security Requirements Engineering for Cyber-Physical Systems. 633-643 - Imad Berrouyne
Towards Model-Based Communication Control for the Internet of Things. 644-655
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-02-15 00:05 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: