![](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
SEFM Workshops 2017: Trento, Italy
- Antonio Cerone, Marco Roveri
:
Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10729, Springer 2018, ISBN 978-3-319-74780-4
DataMod 2017
- Oana Andrei, Muffy Calder:
Temporal Analytics for Software Usage Models. 9-24 - Michele D'Andreagiovanni, Fabrizio Baiardi
, Jacopo Lipilini, Salvatore Ruggieri, Federico Tonelli:
Sequential Pattern Mining for ICT Risk Assessment and Prevention. 25-39 - Michael Backenköhler, Verena Wolf:
Student Performance Prediction and Optimal Course Selection: An MDP Approach. 40-47 - Giovanna Broccia, Paolo Milazzo
, Peter Csaba Ölveczky:
An Algorithm for Simulating Human Selective Attention. 48-55 - Peter Carmichael, Charles Morisset:
Learning Decision Trees from Synthetic Data Models for Human Security Behaviour. 56-71 - Paul Griffioen, Rob Christiaanse
, Joris Hulstijn
:
Controlling Production Variances in Complex Business Processes. 72-85 - Lucia Nasti
, Paolo Milazzo
:
A Computational Model of Internet Addiction Phenomena in Social Networks. 86-100 - Sélinde van Engelenburg
, Marijn Janssen
, Bram Klievink
:
What Belongs to Context? - A Definition, a Criterion and a Method for Deciding on What Context-Aware Systems Should Sense and Adapt to. 101-116 - Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev
:
Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach. 117-131
FAACS 2017
- Alessandro Bianchi
, Sebastiano Pizzutilo
, Gennaro Vessio
:
Intercepting Blackhole Attacks in MANETs: An ASM-based Model. 137-152 - Andreea Buga, Sorana Tania Nemes:
Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines. 153-167 - Matteo Camilli
, Carlo Bellettini
, Lorenzo Capra
:
Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper). 168-173 - Shin Nakajima:
Generalized Oracle for Testing Machine Learning Computer Programs. 174-179
MSE 2017
- Matteo Camilli
, Carlo Bellettini
, Lorenzo Capra
, Mattia Monga
:
A Formal Framework for Specifying and Verifying Microservices Based Process Flows. 187-202 - Martin Garriga:
Towards a Taxonomy of Microservices Architectures. 203-218 - Antonio Brogi
, Andrea Canciani, Davide Neri
, Luca Rinaldi, Jacopo Soldani
:
Towards a Reference Dataset of Microservice-Based Applications. 219-229 - Florian Rademacher
, Sabine Sachweh, Albert Zündorf:
Towards a UML Profile for Domain-Driven Design of Microservice Architectures. 230-245 - Moh. Afifun Naily, Maya Retno Ayu Setyautami
, Radu Muschevici, Ade Azurat:
A Framework for Modelling Variable Microservices as Software Product Lines. 246-261
CoSim-CPS 2017
- Davide Basile
, Felicita Di Giandomenico, Stefania Gnesi:
A Refinement Approach to Analyse Critical Cyber-Physical Systems. 267-283 - Luís Diogo Couto, Stylianos Basagiannis
, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen
:
Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems. 284-299 - Andrea Domenici
, Adriano Fagiolini
, Maurizio Palmieri
:
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle. 300-314 - Georg P. Engel
, Ajay Sathya Chakkaravarthy, Gerald Schweiger:
Co-simulation Between Trnsys and Simulink Based on Type155. 315-329 - Frederik F. Foldager, Peter Gorm Larsen
, Ole Green:
Development of a Driverless Lawn Mower Using Co-simulation. 330-344 - Cláudio Gomes
, Paschalis Karalis, Eva M. Navarro-López, Hans Vangheluwe
:
Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios. 345-360 - Mark Jackson, John S. Fitzgerald
:
Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems. 361-376 - Peter Gorm Larsen
, John S. Fitzgerald
, Jim Woodcock
, Carl Gamble, Richard John Payne, Kenneth Pierce:
Features of Integrated Model-Based Co-modelling and Co-simulation Technology. 377-390 - Jinzhi Lu
, Martin Törngren
, De-Jiu Chen
, Jian Wang:
A Tool Integration Language to Formalize Co-simulation Tool-Chains for Cyber-Physical System (CPS). 391-405 - Ian A. Mason, Vivek Nigam
, Carolyn L. Talcott, Alisson Vasconcelos de Brito
:
A Framework for Analyzing Adaptive Autonomous Aerial Vehicles. 406-422 - Maurizio Palmieri
, Cinzia Bernardeschi
, Paolo Masci
:
Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study. 423-437 - Paolo Pazzaglia
, Marco Di Natale, Giorgio C. Buttazzo, Matteo Secchiari:
A Framework for the Co-simulation of Engine Controls and Task Scheduling. 438-452 - Frank Zeyda
, Julien Ouy, Simon Foster
, Ana Cavalcanti:
Formalising Cosimulation Models. 453-468
FOCLASA 2017
- Patrícia Araújo de Oliveira
, Francisco Durán, Ernesto Pimentel:
Towards the Performance Analysis of Elastic Systems with e-Motions. 475-490 - Antonio Brogi
, Davide Neri
, Luca Rinaldi, Jacopo Soldani
:
From (Incomplete) TOSCA Specifications to Running Applications, with Docker. 491-506 - Roberto Casadei
, Alessandro Aldini
, Mirko Viroli:
Combining Trust and Aggregate Computing. 507-522 - Javier Cámara, Wenxin Peng, David Garlan, Bradley R. Schmerl:
Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation. 523-540 - Carlo Castagnari, Jacopo de Berardinis
, Giorgio Forcina, Ali Jafari, Marjan Sirjani:
Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives. 541-557 - Weijiang Hong, M. Saqib Nawaz
, Xiyue Zhang
, Yi Li, Meng Sun:
Using Coq for Formal Modeling and Verification of Timed Connectors. 558-573 - Eva Kühn, Sophie Therese Radschek:
An Initial User Study Comparing the Readability of a Graphical Coordination Model with Event-B Notation. 574-590
![](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.