![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
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
, Julien Deantoni
, Peter Gorm Larsen
, Jörg Brauer, Hans Vangheluwe
:
Towards the Verification of Hybrid Co-simulation Algorithms. 5-20 - Maurizio Palmieri
, Cinzia Bernardeschi
, Paolo Masci
:
A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems. 21-33 - Cinzia Bernardeschi
, Andrea Domenici
, Maurizio Palmieri
:
Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator. 34-44 - Cláudio Gomes
, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen
, Hans Vangheluwe
:
Demo: Stabilization Technique in INTO-CPS. 45-51 - Maurizio Palmieri
, Cinzia Bernardeschi
, Andrea Domenici
, Adriano Fagiolini
:
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
, Sandeep K. S. Gupta:
Co-simulation of Physical Model and Self-Adaptive Predictive Controller Using Hybrid Automata. 69-76
From Data to Models and Back (DataMod)
- Lucia Nasti
, Roberta Gori, Paolo Milazzo
:
Formalizing a Notion of Concentration Robustness for Biochemical Networks. 81-97 - Riccardo Guidotti, Jacopo Soldani
, Davide Neri
, Antonio Brogi
:
Explaining Successful Docker Images Using Pattern Mining Analysis. 98-113 - Roberto Pellungrini, Luca Pappalardo
, Francesca Pratesi
, Anna Monreale:
Analyzing Privacy Risk in Human Mobility Data. 114-129 - Luca Arnaboldi
, Charles Morisset:
Generating Synthetic Data for Real World Detection of DoS Attacks in the IoT. 130-145 - Juliana Bowles
, Ricardo M. Czekster
, Thais Webber:
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
, Alessandro D'Amelio
, Raffaella Lanzarotti
, Giuseppe Boccignone
:
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
, Judy Bowen
, Steve Reeves
:
Using Abstraction with Interaction Sequences for Interactive System Modelling. 257-273 - Michael D. Harrison
, Paolo Masci
, José Creissac Campos
:
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, Farhad Arbab:
Reo Coordination Model for Simulation of Quantum Internet Software. 311-319 - Francisco Durán, Camilo Rocha
, Gwen Salaün:
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
, Luca Di Stefano
, Omar Inverso
:
Multi-agent Systems with Virtual Stigmergy. 351-366 - Nahla A. El-Araby
, Eva Kühn, Anita Messinger, Sophie Therese Radschek:
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
, Reiko Heckel:
Model Based Development of Data Integration in Graph Databases Using Triple Graph Grammars. 399-414 - Lars Fritsche
, Jens Kosiol
, Andy Schürr
, Gabriele Taentzer
:
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
, Detlef Plump:
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
, Jagadish Suryadevara, Eduard Enoiu:
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
, Emina Smajlovic, Amina Krekic, Jagadish Suryadevara:
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
, Romina Eramo
, Abel Gómez
, Valentin Besnard, Jean-Michel Bruel, Martin Gogolla, Andreas Kästner, Adrian Rutle:
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
, Florian Rademacher
, Sabine Sachweh, Albert Zündorf:
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
, Mehdi Adda
, Jean-Marie Mottu, Jean-Claude Royer, Massimo Tisi:
Towards Model-Based Communication Control for the Internet of Things. 644-655
![](https://dblp.org/img/cog.dark.24x24.png)
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.