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