Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSEFM 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
a service of 
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 2023-06-03 02:40 CEST 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:
