| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Inna Vistbakka, Elena Troubitsyna |
Modelling Autonomous Resilient Multi-robotic Systems.  |
SERENE  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Calinescu, Felicita Di Giandomenico (eds.) |
Software Engineering for Resilient Systems - 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings |
SERENE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi |
Ethics and Privacy in Autonomous Systems: A Software Exoskeleton to Empower the User. |
SERENE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper Andersson, Vincenzo Grassi, Raffaela Mirandola, Diego Perez-Palacin |
A Distilled Characterization of Resilience and Its Embraced Properties Based on State-Spaces. |
SERENE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur Baudet, Oum-El-Kheir Aktouf, Annabelle Mercier, Jean-Paul Jamont |
Toward Testing Self-organizations in Multi-Embedded-Agent Systems. |
SERENE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | David Ebo Adjepon-Yamoah |
Reactive Middleware for Effective Requirement Change Management of Cloud-Based Global Software Development. |
SERENE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahyar Tourchi Moghaddam, Henry Muccini |
Fault-Tolerant IoT - A Systematic Mapping Study. |
SERENE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Tânia Basso, Hebert de Oliveira Silva, Regina Moraes |
On the Use of Quality Models to Characterize Trustworthiness Properties. |
SERENE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacopo Parri, Fulvio Patara, Samuele Sampietro, Enrico Vicario |
JARVIS, A Hardware/Software Framework for Resilient Industry 4.0 Systems. |
SERENE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioannis Stefanakos |
Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems (Doctoral Forum Paper). |
SERENE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Malek |
Predictive Analytics: A Shortcut to Dependable Computing. |
SERENE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Petter Sainio Berntsson, Lars Strandén, Fredrik Warg |
Evaluation of Open Source Operating Systems for Safety-Critical Applications. |
SERENE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Rem Gensh, Ashur Rafiev, Fei Xia, Alexander B. Romanovsky, Alex Yakovlev |
Modelling for Systems with Holistic Fault Tolerance. |
SERENE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin Kubacki, Janusz Sosnowski |
Holistic Processing and Exploring Event Logs. |
SERENE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke J. W. Martin, Alexander B. Romanovsky |
Stochastic Activity Networks for the Verification of Knowledge Bases. |
SERENE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala |
Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook. |
SERENE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander B. Romanovsky, Elena Troubitsyna (eds.) |
Software Engineering for Resilient Systems - 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings |
SERENE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Havelund, Rajeev Joshi |
Modeling and Monitoring of Hierarchical State Machines in Scala. |
SERENE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry Muccini, Mahyar Tourchi Moghaddam |
A Cyber-Physical Space Operational Approach for Crowd Evacuation Handling. |
SERENE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Irum Rauf, Elena Troubitsyna |
Towards a Model-Driven Security Assurance of Open Source Components. |
SERENE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Swaib Dragule, Bart Meyers, Patrizio Pelliccione |
A Generated Property Specification Language for Resilient Multirobot Missions. |
SERENE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kostantinos Koukouvis, Roberto Alcañiz Cubero, Patrizio Pelliccione |
A/B Testing in E-commerce Sales Processes. |
SERENE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | John C. Mace, Charles Morisset, Aad P. A. van Moorsel |
WRAD: Tool Support for Workflow Resiliency Analysis and Design. |
SERENE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Wang 0042, Jérémie Guiochet, Gilles Motet |
A Framework for Assessing Safety Argumentation Confidence. |
SERENE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiuseppe Mallozzi, Massimo Sciancalepore, Patrizio Pelliccione |
Formal Verification of the On-the-Fly Vehicle Platooning Protocol. |
SERENE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | David Ebo Adjepon-Yamoah |
cloud-ATAM: Method for Analysing Resilient Attributes of Cloud-Based Architectures. |
SERENE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke J. W. Martin, Alexander B. Romanovsky |
A Formal Approach to Designing Reliable Advisory Systems. |
SERENE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Subhav Pradhan, Abhishek Dubey, Aniruddha S. Gokhale |
Designing a Resilient Deployment and Reconfiguration Infrastructure for Remotely Managed Cyber-Physical Systems. |
SERENE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitri Racordon, Didier Buchs |
Verifying Multi-core Schedulability with Data Decision Diagrams. |
SERENE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Jakobs, Peter Tröger, Matthias Werner 0001 |
Configurable Fault Trees. |
SERENE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivica Crnkovic, Elena Troubitsyna (eds.) |
Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings |
SERENE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tamás Tóth, András Vörös 0001, István Majzik |
A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol. |
SERENE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | John C. Mace, Charles Morisset, Aad P. A. van Moorsel |
Resiliency Variance in Workflows with Choice. |
SERENE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Basile 0001, 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Sporer, Georg Macher, Andrea Höller, Christian Kreiner |
Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain. |
SERENE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs |
Considering Execution Environment Resilience: A White-Box Approach. |
SERENE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Patrizio Pelliccione (eds.) |
Software Engineering for Resilient Systems - 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings |
SERENE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Guthemberg Silvestre, Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun |
Tejo: A Supervised Anomaly Detection Scheme for NewSQL Databases. |
SERENE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Höller, Tobias Rauter, Johannes Iber, Christian Kreiner |
Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems. |
SERENE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rem Gensh, Alexander B. Romanovsky, Alex Yakovlev |
Engineering Cross-Layer Fault Tolerance in Many-Core Systems. |
SERENE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Amleto Di Salle, Francesco Gallo, Alexander Perucci, Massimo Tivoli |
Biological Immunity and Software Resilience: Two Faces of the Same Coin? |
SERENE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Szilárd Bozóki, Gábor Koronka, András Pataricza |
Risk Assessment Based Cloudification. |
SERENE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama |
Verification and Validation of a Pressure Control Unit for Hydraulic Systems. |
SERENE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Lipka, Marek Paska, Tomas Potuzak |
Simulation Testing and Model Checking: A Case Study Comparing these Approaches. |
SERENE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiana Areias, Nuno Antunes, João Carlos Cunha |
On Applying FMEA to SOAs: A Proposal and Open Challenges. |
SERENE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxime Turenne, Ali Kanso, Abdelouahed Gherbi, Ronan Barrett |
Automatic Generation of Description Files for Highly Available Services. |
SERENE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione |
The Role of Parts in the System Behaviour. |
SERENE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivano Malavolta, Henry Muccini, V. Smrithi Rekha |
Enhancing Architecture Design Decisions Evolution with Group Decision Making Principles. |
SERENE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Roberto Palacin, Alexander B. Romanovsky |
Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation. |
SERENE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | David P. Y. Lawrence, Didier Buchs, Armin Wellig |
Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems. |
SERENE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Arda Ahmet Ünsal, Görkem Sazara, Baris Aktemur, Hasan Sözer |
Adaptive Domain-Specific Service Monitoring. |
SERENE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Gábor Urbanics, László Gönczy, Balázs Urbán, János Hartwig, Imre Kocsis |
Combined Error Propagation Analysis and Runtime Event Detection in Process-Driven Systems. |
SERENE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | István Majzik, Marco Vieira (eds.) |
Software Engineering for Resilient Systems - 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings |
SERENE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Höller, Nermin Kajtazovic, Christopher Preschern, Christian Kreiner |
Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages. |
SERENE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Linas Laibinis, Dmitry M. Klionskiy, Elena Troubitsyna, Anatoly Dorokhov, Johan Lilius, Mikhail Kupriyanov |
Modelling Resilience of Data Processing Capabilities of CPS. |
SERENE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo De Florio, Hong Sun, Chris Blondia |
Community Resilience Engineering: Reflections and Preliminary Contributions. |
SERENE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry A. Maevsky |
A New Approach to Software Reliability. |
SERENE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Woodard, Sahra Sedigh |
Modeling of Autonomous Vehicle Operation in Intelligent Transportation Systems. |
SERENE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | András Pataricza, Imre Kocsis, Ágnes Salánki, László Gönczy |
Empirical Assessment of Resilience. |
SERENE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Massimiliano Leone Itria |
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning. |
SERENE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin E. Bloomfield, Kateryna Netkachova, Robert J. Stroud |
Security-Informed Safety: If It's Not Secure, It's Not Safe. |
SERENE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail J. Moiseev |
Static Analysis Approach for Defect Detection in Multithreaded C/C++ Programs. |
SERENE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis |
A Case Study in Refinement-Based Modelling of a Resilient Control System. |
SERENE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo De Florio |
Preliminary Contributions Towards Auto-resilience. |
SERENE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky |
The SafeCap Project on Railway Safety Verification and Capacity Simulation. |
SERENE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatoliy Gorbenko, Alexander B. Romanovsky, Vyacheslav S. Kharchenko (eds.) |
Software Engineering for Resilient Systems, 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings |
SERENE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis |
Formal Development and Quantitative Assessment of a Resilient Multi-robotic System. |
SERENE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasir Imtiaz Khan |
Optimizing Verification of Structurally Evolving Algebraic Petri Nets. |
SERENE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Amleto Di Salle, Massimo Tivoli |
Synthesis of Resilient Choreographies. |
SERENE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz Górski, Katarzyna Lukasiewicz |
Towards Agile Development of Critical Software. |
SERENE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Di Ruscio, Patrizio Pelliccione |
Supporting the Evolution of Free and Open Source Software Distributions. |
SERENE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione |
Engineering a Platform for Mission Planning of Autonomous and Resilient Quadrotors. |
SERENE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Brahim Hamid, Jacob Geisel, Adel Ziani, David González |
Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain. |
SERENE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione |
Assume-Guarantee Testing of Evolving Software Product Line Architectures. |
SERENE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Ferrari 0001, Massimiliano Leone Itria, Silvano Chiaradonna, Giorgio Oronzo Spagnolo |
Model-Based Evaluation of the Availability of a CBTC System. |
SERENE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Prokhorova, Elena Troubitsyna |
Linking Modelling in Event-B with Safety Cases. |
SERENE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Masci 0001, Dominic Furniss, Paul Curzon, Michael D. Harrison, Ann Blandford |
Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain. |
SERENE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasir Imtiaz Khan, Matteo Risoldi |
Language Enrichment for Resilient MDE. |
SERENE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Amira Ben Hamida, Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis, Nelson Lago, Julien Lesbegueries |
Monitoring Service Choreographies from Multiple Sources. |
SERENE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis |
A Case Study in Formal Development of a Fault Tolerant Multi-robotic System. |
SERENE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Lilis, Anthony Savidis |
Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming. |
SERENE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paris Avgeriou (eds.) |
Software Engineering for Resilient Systems - 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings |
SERENE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Koray Gülcü, Hasan Sözer, Baris Aktemur |
FAS: Introducing a Service for Avoiding Faults in Composite Services. |
SERENE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatoliy Gorbenko, Alexander B. Romanovsky, Vyacheslav S. Kharchenko, Olga Tarasyuk |
Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling. |
SERENE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe A. Palanque, Yannick Deleris |
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach. |
SERENE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Antonello Calabrò, Francesca Lonetti, Antinisca Di Marco, Antonino Sabetta |
Towards a Model-Driven Infrastructure for Runtime Monitoring. |
SERENE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione |
Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem. |
SERENE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Troubitsyna (eds.) |
Software Engineering for Resilient Systems - Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings |
SERENE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Savidis |
Supporting Cross-Language Exception Handling When Extending Applications with Embedded Languages. |
SERENE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sadaf Mustafiz, Jörg Kienzle |
Idealized Fault-Tolerant Components in Requirements Engineering. |
SERENE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy |
Architecting Resilient Computing Systems: Overall Approach and Open Issues. |
SERENE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Buchs, Steve Hostettler, Alexis Marechal |
Experience-Based Model Refinement. |
SERENE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Alexander B. Romanovsky |
Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions. |
SERENE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivano Malavolta, Henry Muccini, V. Smrithi Rekha |
Supporting Architectural Design Decisions Evolution through Model Driven Engineering. |
SERENE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov |
Use Case Scenarios as Verification Conditions: Event-B/Flow Approach. |
SERENE |
2011 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license