• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 136 matches

• 2019
• 
  David Ebo Adjepon-Yamoah:
  Reactive Middleware for Effective Requirement Change Management of Cloud-Based Global Software Development. SERENE 2019: 46-66
• 
  Jesper Andersson, Vincenzo Grassi, Raffaela Mirandola, Diego Perez-Palacin:
  A Distilled Characterization of Resilience and Its Embraced Properties Based on State-Spaces. SERENE 2019: 11-25
• 
  Tânia Basso, Hebert de Oliveira Silva, Regina Moraes:
  On the Use of Quality Models to Characterize Trustworthiness Properties. SERENE 2019: 147-155
• 
  Arthur Baudet, Oum-El-Kheir Aktouf, Annabelle Mercier, Jean-Paul Jamont:
  Toward Testing Self-organizations in Multi-Embedded-Agent Systems. SERENE 2019: 97-108
• 
  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: 121-137
• 
  Paola Inverardi:
  Ethics and Privacy in Autonomous Systems: A Software Exoskeleton to Empower the User. SERENE 2019: 3-8
• 
  Mahyar Tourchi Moghaddam, Henry Muccini:
  Fault-Tolerant IoT - A Systematic Mapping Study. SERENE 2019: 67-84
• 
  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: 138-146
• 
  Jacopo Parri, Fulvio Patara, Samuele Sampietro, Enrico Vicario:
  JARVIS, A Hardware/Software Framework for Resilient Industry 4.0 Systems. SERENE 2019: 85-93
• 
  Ioannis Stefanakos:
  Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems (Doctoral Forum Paper). SERENE 2019: 109-117
• 
  Inna Vistbakka, Elena Troubitsyna:
  Modelling Autonomous Resilient Multi-robotic Systems. SERENE 2019: 29-45
• 
  Radu Calinescu, Felicita Di Giandomenico:
  Software Engineering for Resilient Systems - 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings. Lecture Notes in Computer Science 11732, Springer 2019, ISBN 978-3-030-30855-1 [contents]
• 2017
• 
  Petter Sainio Berntsson, Lars Strandén, Fredrik Warg:
  Evaluation of Open Source Operating Systems for Safety-Critical Applications. SERENE 2017: 117-132
• 
  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: 133-148
• 
  Swaib Dragule, Bart Meyers, Patrizio Pelliccione:
  A Generated Property Specification Language for Resilient Multirobot Missions. SERENE 2017: 45-61
• 
  Rem Gensh, Ashur Rafiev, Fei Xia, Alexander B. Romanovsky, Alex Yakovlev:
  Modelling for Systems with Holistic Fault Tolerance. SERENE 2017: 169-183
• 
  Klaus Havelund, Rajeev Joshi:
  Modeling and Monitoring of Hierarchical State Machines in Scala. SERENE 2017: 21-36
• 
  Marcin Kubacki, Janusz Sosnowski:
  Holistic Processing and Exploring Event Logs. SERENE 2017: 184-200
• 
  Miroslaw Malek:
  Predictive Analytics: A Shortcut to Dependable Computing. SERENE 2017: 3-17
• 
  Luke J. W. Martin, Alexander B. Romanovsky:
  Stochastic Activity Networks for the Verification of Knowledge Bases. SERENE 2017: 37-44
• 
  Henry Muccini, Mahyar Tourchi Moghaddam:
  A Cyber-Physical Space Operational Approach for Crowd Evacuation Handling. SERENE 2017: 81-95
• 
  Irum Rauf, Elena Troubitsyna:
  Towards a Model-Driven Security Assurance of Open Source Components. SERENE 2017: 65-80
• 
  Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala:
  Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook. SERENE 2017: 96-114
• 
  Yulai Zhou, Patrizio Pelliccione, Johan Haraldsson, Mafijul Md. Islam:
  Improving Robustness of AUTOSAR Software Components with Design by Contract: A Study Within Volvo AB. SERENE 2017: 151-168
• 
  Alexander B. Romanovsky, Elena Troubitsyna:
  Software Engineering for Resilient Systems - 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings. Lecture Notes in Computer Science 10479, Springer 2017, ISBN 978-3-319-65947-3 [contents]
• 2016
• 
  David Ebo Adjepon-Yamoah:
  cloud-ATAM: Method for Analysing Resilient Attributes of Cloud-Based Architectures. SERENE 2016: 105-114
• 
  Christine Jakobs, Peter Tröger, Matthias Werner:
  Configurable Fault Trees. SERENE 2016: 13-27
• 
  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: 117-132
• 
  Kostantinos Koukouvis, Roberto Alcañiz Cubero, Patrizio Pelliccione:
  A/B Testing in E-commerce Sales Processes. SERENE 2016: 133-148
• 
  John C. Mace, Charles Morisset, Aad P. A. van Moorsel:
  WRAD: Tool Support for Workflow Resiliency Analysis and Design. SERENE 2016: 79-87

skipping 106 more matches