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
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
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
Controlling Production Variances in Complex Business Processes. 72-85 - Lucia Nasti
A Computational Model of Internet Addiction Phenomena in Social Networks. 86-100 - Sélinde van Engelenburg
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
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
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
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
Towards a Reference Dataset of Microservice-Based Applications. 219-229 - Florian Rademacher
Towards a UML Profile for Domain-Driven Design of Microservice Architectures. 230-245 - Moh. Afifun Naily, Maya Retno Ayu Setyautami
A Framework for Modelling Variable Microservices as Software Product Lines. 246-261
CoSim-CPS 2017
- Davide Basile
A Refinement Approach to Analyse Critical Cyber-Physical Systems. 267-283 - Luís Diogo Couto, Stylianos Basagiannis
Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems. 284-299 - Andrea Domenici
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle. 300-314 - Georg P. Engel
Co-simulation Between Trnsys and Simulink Based on Type155. 315-329 - Frederik F. Foldager, Peter Gorm Larsen
Development of a Driverless Lawn Mower Using Co-simulation. 330-344 - Cláudio Gomes
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
Features of Integrated Model-Based Co-modelling and Co-simulation Technology. 377-390 - Jinzhi Lu
A Tool Integration Language to Formalize Co-simulation Tool-Chains for Cyber-Physical System (CPS). 391-405 - Ian A. Mason, Vivek Nigam
A Framework for Analyzing Adaptive Autonomous Aerial Vehicles. 406-422 - Maurizio Palmieri
Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study. 423-437 - Paolo Pazzaglia
A Framework for the Co-simulation of Engine Controls and Task Scheduling. 438-452 - Frank Zeyda
Formalising Cosimulation Models. 453-468
FOCLASA 2017
- Patrícia Araújo de Oliveira
Towards the Performance Analysis of Elastic Systems with e-Motions. 475-490 - Antonio Brogi
From (Incomplete) TOSCA Specifications to Running Applications, with Docker. 491-506 - Roberto Casadei
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
Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives. 541-557 - Weijiang Hong, M. Saqib Nawaz
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
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 2024-12-22 18:48 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: