Login / Signup
SERENE
2008
2012
2014
2019
2008
2019
Keyphrases
Publications
2019
David Ebo Adjepon-Yamoah
Reactive Middleware for Effective Requirement Change Management of Cloud-Based Global Software Development.
SERENE
(2019)
Ioannis Stefanakos
Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems (Doctoral Forum Paper).
SERENE
(2019)
Arthur Darroux
,
Jean-Paul Jamont
,
Oum-El-Kheir Aktouf
,
Annabelle Mercier
An Energy Aware Approach to Trust Management Systems for Embedded Multi-Agent Systems.
SERENE
(2019)
Tânia Basso
,
Hebert de Oliveira Silva
,
Regina Moraes
On the Use of Quality Models to Characterize Trustworthiness Properties.
SERENE
(2019)
Paola Inverardi
Ethics and Privacy in Autonomous Systems: A Software Exoskeleton to Empower the User.
SERENE
(2019)
Arthur Baudet
,
Oum-El-Kheir Aktouf
,
Annabelle Mercier
,
Jean-Paul Jamont
Toward Testing Self-organizations in Multi-Embedded-Agent Systems.
SERENE
(2019)
Miguel Angel Olivero
,
Antonia Bertolino
,
Francisco José Domínguez Mayo
,
María José Escalona
,
Ilaria Matteucci
Addressing Security Properties in Systems of Systems: Challenges and Ideas.
SERENE
(2019)
Mahyar Tourchi Moghaddam
,
Henry Muccini
Fault-Tolerant IoT - A Systematic Mapping Study.
SERENE
(2019)
Jacopo Parri
,
Fulvio Patara
,
Samuele Sampietro
,
Enrico Vicario
JARVIS, A Hardware/Software Framework for Resilient Industry 4.0 Systems.
SERENE
(2019)
Inna Vistbakka
,
Elena Troubitsyna
Modelling Autonomous Resilient Multi-robotic Systems.
SERENE
(2019)
Jesper Andersson
,
Vincenzo Grassi
,
Raffaela Mirandola
,
Diego Perez-Palacin
A Distilled Characterization of Resilience and Its Embraced Properties Based on State-Spaces.
SERENE
(2019)
volume 11732, 2019
Software Engineering for Resilient Systems - 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
SERENE
11732 (2019)
2017
Rem Gensh
,
Ashur Rafiev
,
Fei Xia
,
Alexander B. Romanovsky
,
Alex Yakovlev
Modelling for Systems with Holistic Fault Tolerance.
SERENE
(2017)
Miroslaw Malek
Predictive Analytics: A Shortcut to Dependable Computing.
SERENE
(2017)
Marcin Kubacki
,
Janusz Sosnowski
Holistic Processing and Exploring Event Logs.
SERENE
(2017)
Irum Rauf
,
Elena Troubitsyna
Towards a Model-Driven Security Assurance of Open Source Components.
SERENE
(2017)
Hayley Borck
,
Paul Kline
,
Hazel Shackleton
,
John Gohde
,
Steven Johnston
,
Perry Alexander
,
Todd Carpenter
100 Years of Software - Adapting Cyber-Physical Systems to the Changing World.
SERENE
(2017)
Swaib Dragule
,
Bart Meyers
,
Patrizio Pelliccione
A Generated Property Specification Language for Resilient Multirobot Missions.
SERENE
(2017)
Luke J. W. Martin
,
Alexander B. Romanovsky
Stochastic Activity Networks for the Verification of Knowledge Bases.
SERENE
(2017)
Henry Muccini
,
Mahyar Tourchi Moghaddam
A Cyber-Physical Space Operational Approach for Crowd Evacuation Handling.
SERENE
(2017)
Yulai Zhou
,
Patrizio Pelliccione
,
Johan Haraldsson
,
Mafjiul Islam
Improving Robustness of AUTOSAR Software Components with Design by Contract: A Study Within Volvo AB.
SERENE
(2017)
Petter Sainio Berntsson
,
Lars Strandén
,
Fredrik Warg
Evaluation of Open Source Operating Systems for Safety-Critical Applications.
SERENE
(2017)
Klaus Havelund
,
Rajeev Joshi
Modeling and Monitoring of Hierarchical State Machines in Scala.
SERENE
(2017)
Inna Vistbakka
,
Elena Troubitsyna
,
Tuomas Kuismin
,
Timo Latvala
Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook.
SERENE
(2017)
volume 10479, 2017
Software Engineering for Resilient Systems - 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
SERENE
10479 (2017)
2016
Dimitri Racordon
,
Didier Buchs
Verifying Multi-core Schedulability with Data Decision Diagrams.
SERENE
(2016)
Christine Jakobs
,
Peter Tröger
,
Matthias Werner
Configurable Fault Trees.
SERENE
(2016)
Piergiuseppe Mallozzi
,
Massimo Sciancalepore
,
Patrizio Pelliccione
Formal Verification of the On-the-Fly Vehicle Platooning Protocol.
SERENE
(2016)
Stefan Klikovits
,
David P. Y. Lawrence
,
Manuel Gonzalez-Berges
,
Didier Buchs
Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned.
SERENE
(2016)
John C. Mace
,
Charles Morisset
,
Aad P. A. van Moorsel
WRAD: Tool Support for Workflow Resiliency Analysis and Design.
SERENE
(2016)
David Ebo Adjepon-Yamoah
cloud-ATAM: Method for Analysing Resilient Attributes of Cloud-Based Architectures.
SERENE
(2016)
Rui Wang
,
Jérémie Guiochet
,
Gilles Motet
A Framework for Assessing Safety Argumentation Confidence.
SERENE
(2016)
Luke J. W. Martin
,
Alexander B. Romanovsky
A Formal Approach to Designing Reliable Advisory Systems.
SERENE
(2016)
Kostantinos Koukouvis
,
Roberto Alcañiz Cubero
,
Patrizio Pelliccione
A/B Testing in E-commerce Sales Processes.
SERENE
(2016)
Subhav Pradhan
,
Abhishek Dubey
,
Aniruddha S. Gokhale
Designing a Resilient Deployment and Reconfiguration Infrastructure for Remotely Managed Cyber-Physical Systems.
SERENE
(2016)
volume 9823, 2016
Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
SERENE
9823 (2016)
2015
Guthemberg Silvestre
,
Carla Sauvanaud
,
Mohamed Kaâniche
,
Karama Kanoun
Tejo: A Supervised Anomaly Detection Scheme for NewSQL Databases.
SERENE
(2015)
Davide Basile
,
Silvano Chiaradonna
,
Felicita Di Giandomenico
,
Stefania Gnesi
,
Franco Mazzanti
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System.
SERENE
(2015)
Andrea Höller
,
Tobias Rauter
,
Johannes Iber
,
Christian Kreiner
Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems.
SERENE
(2015)
Harald Sporer
,
Georg Macher
,
Andrea Höller
,
Christian Kreiner
Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain.
SERENE
(2015)
Stefan Klikovits
,
David P. Y. Lawrence
,
Manuel Gonzalez-Berges
,
Didier Buchs
Considering Execution Environment Resilience: A White-Box Approach.
SERENE
(2015)
Szilárd Bozóki
,
Gábor Koronka
,
András Pataricza
Risk Assessment Based Cloudification.
SERENE
(2015)
Marco Autili
,
Amleto Di Salle
,
Francesco Gallo
,
Alexander Perucci
,
Massimo Tivoli
Biological Immunity and Software Resilience: Two Faces of the Same Coin?
SERENE
(2015)
Rem Gensh
,
Alexander B. Romanovsky
,
Alex Yakovlev
Engineering Cross-Layer Fault Tolerance in Many-Core Systems.
SERENE
(2015)
Tamás Tóth
,
András Vörös
,
István Majzik
A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol.
SERENE
(2015)
John C. Mace
,
Charles Morisset
,
Aad P. A. van Moorsel
Resiliency Variance in Workflows with Choice.
SERENE
(2015)
volume 9274, 2015
Software Engineering for Resilient Systems - 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
SERENE
9274 (2015)
2014
Ivano Malavolta
,
Henry Muccini
,
V. Smrithi Rekha
Enhancing Architecture Design Decisions Evolution with Group Decision Making Principles.
SERENE
(2014)
Alexei Iliasov
,
Roberto Palacin
,
Alexander B. Romanovsky
Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation.
SERENE
(2014)
volume 8785, 2014
Software Engineering for Resilient Systems - 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings
SERENE
8785 (2014)