SERENE - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 136

2019

Reactive Middleware for Effective Requirement Change Management of Cloud-Based Global Software DevelopmentDavid Ebo Adjepon-Yamoah. SERENE 2019: 46-66 [doi]

A Distilled Characterization of Resilience and Its Embraced Properties Based on State-SpacesJesper Andersson, Vincenzo Grassi, Raffaela Mirandola, Diego Perez-Palacin. SERENE 2019: 11-25 [doi]

On the Use of Quality Models to Characterize Trustworthiness PropertiesTânia Basso, Hebert de Oliveira Silva, Regina Moraes. SERENE 2019: 147-155 [doi]

Toward Testing Self-organizations in Multi-Embedded-Agent SystemsArthur Baudet, Oum-El-Kheir Aktouf, Annabelle Mercier, Jean-Paul Jamont. SERENE 2019: 97-108 [doi]

Software Engineering for Resilient Systems - 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, ProceedingsRadu Calinescu, Felicita Di Giandomenico, editors, Volume 11732 of Lecture Notes in Computer Science, Springer, 2019. [doi]

An Energy Aware Approach to Trust Management Systems for Embedded Multi-Agent SystemsArthur Darroux, Jean-Paul Jamont, Oum-El-Kheir Aktouf, Annabelle Mercier. SERENE 2019: 121-137 [doi]

Ethics and Privacy in Autonomous Systems: A Software Exoskeleton to Empower the UserPaola Inverardi. SERENE 2019: 3-8 [doi]

Fault-Tolerant IoT - A Systematic Mapping StudyMahyar Tourchi Moghaddam, Henry Muccini. SERENE 2019: 67-84 [doi]

Addressing Security Properties in Systems of Systems: Challenges and IdeasMiguel Angel Olivero, Antonia Bertolino, Francisco José Domínguez-Mayo, María José Escalona, Ilaria Matteucci. SERENE 2019: 138-146 [doi]

JARVIS, A Hardware/Software Framework for Resilient Industry 4.0 SystemsJacopo Parri, Fulvio Patara, Samuele Sampietro, Enrico Vicario. SERENE 2019: 85-93 [doi]

Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems (Doctoral Forum Paper)Ioannis Stefanakos. SERENE 2019: 109-117 [doi]

Modelling Autonomous Resilient Multi-robotic SystemsInna Vistbakka, Elena Troubitsyna. SERENE 2019: 29-45 [doi]

2017

Evaluation of Open Source Operating Systems for Safety-Critical ApplicationsPetter Sainio Berntsson, Lars Strandén, Fredrik Warg. SERENE 2017: 117-132 [doi]

100 Years of Software - Adapting Cyber-Physical Systems to the Changing WorldHayley Borck, Paul Kline, Hazel Shackleton, John Gohde, Steven Johnston, Perry Alexander, Todd Carpenter. SERENE 2017: 133-148 [doi]

A Generated Property Specification Language for Resilient Multirobot MissionsSwaib Dragule, Bart Meyers, Patrizio Pelliccione. SERENE 2017: 45-61 [doi]

Modelling for Systems with Holistic Fault ToleranceRem Gensh, Ashur Rafiev, Fei Xia, Alexander Romanovsky, Alex Yakovlev. SERENE 2017: 169-183 [doi]

Modeling and Monitoring of Hierarchical State Machines in ScalaKlaus Havelund, Rajeev Joshi. SERENE 2017: 21-36 [doi]

Holistic Processing and Exploring Event LogsMarcin Kubacki, Janusz Sosnowski. SERENE 2017: 184-200 [doi]

Predictive Analytics: A Shortcut to Dependable ComputingMiroslaw Malek. SERENE 2017: 3-17 [doi]

Stochastic Activity Networks for the Verification of Knowledge BasesLuke J. W. Martin, Alexander Romanovsky. SERENE 2017: 37-44 [doi]

A Cyber-Physical Space Operational Approach for Crowd Evacuation HandlingHenry Muccini, Mahyar Tourchi Moghaddam. SERENE 2017: 81-95 [doi]

Towards a Model-Driven Security Assurance of Open Source ComponentsIrum Rauf, Elena Troubitsyna. SERENE 2017: 65-80 [doi]

Software Engineering for Resilient Systems - 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, ProceedingsAlexander Romanovsky, Elena Troubitsyna, editors, Volume 10479 of Lecture Notes in Computer Science, Springer, 2017. [doi]

Co-engineering Safety and Security in Industrial Control Systems: A Formal OutlookInna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala. SERENE 2017: 96-114 [doi]

Improving Robustness of AUTOSAR Software Components with Design by Contract: A Study Within Volvo ABYulai Zhou, Patrizio Pelliccione, Johan Haraldsson, Mafjiul Islam. SERENE 2017: 151-168 [doi]

2016

cloud-ATAM: Method for Analysing Resilient Attributes of Cloud-Based ArchitecturesDavid Ebo Adjepon-Yamoah. SERENE 2016: 105-114 [doi]

Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, ProceedingsIvica Crnkovic, Elena Troubitsyna, editors, Volume 9823 of Lecture Notes in Computer Science, Springer, 2016. [doi]

Configurable Fault TreesChristine Jakobs, Peter Tröger, Matthias Werner. SERENE 2016: 13-27 [doi]

Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons LearnedStefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs. SERENE 2016: 117-132 [doi]

A/B Testing in E-commerce Sales ProcessesKostantinos Koukouvis, Roberto Alcañiz Cubero, Patrizio Pelliccione. SERENE 2016: 133-148 [doi]

WRAD: Tool Support for Workflow Resiliency Analysis and DesignJohn C. Mace, Charles Morisset, Aad P. A. van Moorsel. SERENE 2016: 79-87 [doi]

Formal Verification of the On-the-Fly Vehicle Platooning ProtocolPiergiuseppe Mallozzi, Massimo Sciancalepore, Patrizio Pelliccione. SERENE 2016: 62-75 [doi]

A Formal Approach to Designing Reliable Advisory SystemsLuke J. W. Martin, Alexander Romanovsky. SERENE 2016: 28-42 [doi]

Designing a Resilient Deployment and Reconfiguration Infrastructure for Remotely Managed Cyber-Physical SystemsSubhav Pradhan, Abhishek Dubey, Aniruddha S. Gokhale. SERENE 2016: 88-104 [doi]

Verifying Multi-core Schedulability with Data Decision DiagramsDimitri Racordon, Didier Buchs. SERENE 2016: 45-61 [doi]

A Framework for Assessing Safety Argumentation ConfidenceRui Wang, Jérémie Guiochet, Gilles Motet. SERENE 2016: 3-12 [doi]

2015

Biological Immunity and Software Resilience: Two Faces of the Same Coin?Marco Autili, Amleto Di Salle, Francesco Gallo, Alexander Perucci, Massimo Tivoli. SERENE 2015: 1-15 [doi]

Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating SystemDavide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi, Franco Mazzanti. SERENE 2015: 82-98 [doi]

Risk Assessment Based CloudificationSzilárd Bozóki, Gábor Koronka, András Pataricza. SERENE 2015: 71-81 [doi]

Software Engineering for Resilient Systems - 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. ProceedingsAlessandro Fantechi, Patrizio Pelliccione, editors, Volume 9274 of Lecture Notes in Computer Science, Springer, 2015. [doi]

Engineering Cross-Layer Fault Tolerance in Many-Core SystemsRem Gensh, Alexander Romanovsky, Alex Yakovlev. SERENE 2015: 62-70 [doi]

Towards Dynamic Software Diversity for Resilient Redundant Embedded SystemsAndrea Höller, Tobias Rauter, Johannes Iber, Christian Kreiner. SERENE 2015: 16-30 [doi]

Considering Execution Environment Resilience: A White-Box ApproachStefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs. SERENE 2015: 46-61 [doi]

Resiliency Variance in Workflows with ChoiceJohn C. Mace, Charles Morisset, Aad P. A. van Moorsel. SERENE 2015: 128-143 [doi]

Tejo: A Supervised Anomaly Detection Scheme for NewSQL DatabasesGuthemberg Silvestre, Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun. SERENE 2015: 114-127 [doi]

Bidirectional Crosslinking of System and Software Modeling in the Automotive DomainHarald Sporer, Georg Macher, Andrea Höller, Christian Kreiner. SERENE 2015: 99-113 [doi]

A Decomposition Method for the Verification of a Real-Time Safety-Critical ProtocolTamás Tóth, András Vörös, István Majzik. SERENE 2015: 31-45 [doi]

2014

On Applying FMEA to SOAs: A Proposal and Open ChallengesCristiana Areias, Nuno Antunes, João Carlos Cunha. SERENE 2014: 86-100 [doi]

Verification and Validation of a Pressure Control Unit for Hydraulic SystemsPontus Boström, Mikko Heikkilä, Mikko Huova, Marina A. Waldén, Matti Linjama. SERENE 2014: 101-115 [doi]

Community Resilience Engineering: Reflections and Preliminary ContributionsVincenzo De Florio, Hong Sun, Chris Blondia. SERENE 2014: 1-8 [doi]

Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design StagesAndrea Höller, Nermin Kajtazovic, Christopher Preschern, Christian Kreiner. SERENE 2014: 71-85 [doi]

Advanced Modelling, Simulation and Verification for Future Traffic Regulation OptimisationAlexei Iliasov, Roberto Palacin, Alexander Romanovsky. SERENE 2014: 131-138 [doi]

Modelling Resilience of Data Processing Capabilities of CPSLinas Laibinis, Dmitry Klionskiy, Elena Troubitsyna, Anatoly Dorokhov, Johan Lilius, Mikhail Kupriyanov. SERENE 2014: 55-70 [doi]

Using Instrumentation for Quality Assessment of Resilient Software in Embedded SystemsDavid Lawrence, Didier Buchs, Armin Wellig. SERENE 2014: 139-153 [doi]

Simulation Testing and Model Checking: A Case Study Comparing these ApproachesRichard Lipka, Marek Paska, Tomas Potuzak. SERENE 2014: 116-130 [doi]

Software Engineering for Resilient Systems - 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. ProceedingsIstván Majzik, Marco Vieira, editors, Volume 8785 of Lecture Notes in Computer Science, Springer, 2014. [doi]

Enhancing Architecture Design Decisions Evolution with Group Decision Making PrinciplesIvano Malavolta, Henry Muccini, V. Smrithi Rekha. SERENE 2014: 9-23 [doi]

The Role of Parts in the System BehaviourDavide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione. SERENE 2014: 24-39 [doi]

Automatic Generation of Description Files for Highly Available ServicesMaxime Turenne, Ali Kanso, Abdelouahed Gherbi, Ronan Barrett. SERENE 2014: 40-54 [doi]

Combined Error Propagation Analysis and Runtime Event Detection in Process-Driven SystemsGábor Urbanics, László Gönczy, Balázs Urbán, János Hartwig, Imre Kocsis. SERENE 2014: 169-183 [doi]

Adaptive Domain-Specific Service MonitoringArda Ahmet Ünsal, Görkem Sazara, Baris Aktemur, Hasan Sözer. SERENE 2014: 154-168 [doi]

2013

Synthesis of Resilient ChoreographiesMarco Autili, Amleto Di Salle, Massimo Tivoli. SERENE 2013: 94-108 [doi]

Security-Informed Safety: If It's Not Secure, It's Not SafeRobin E. Bloomfield, Kateryna Netkachova, Robert J. Stroud. SERENE 2013: 17-32 [doi]

Preliminary Contributions Towards Auto-resilienceVincenzo De Florio. SERENE 2013: 141-155 [doi]

Stochastic Model-Based Analysis of Railway Operation to Support Traffic PlanningFelicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Massimiliano Leone Itria. SERENE 2013: 184-198 [doi]

Software Engineering for Resilient Systems, 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. ProceedingsAnatoliy Gorbenko, Alexander Romanovsky, Vyacheslav S. Kharchenko, editors, Volume 8166 of Lecture Notes in Computer Science, Springer, 2013. [doi]

Towards Agile Development of Critical SoftwareJanusz Górski, Katarzyna Lukasiewicz. SERENE 2013: 48-55 [doi]

The SafeCap Project on Railway Safety Verification and Capacity SimulationAlexei Iliasov, Ilya Lopatkin, Alexander Romanovsky. SERENE 2013: 125-132 [doi]

Optimizing Verification of Structurally Evolving Algebraic Petri NetsYasir Imtiaz Khan. SERENE 2013: 64-78 [doi]

A New Approach to Software ReliabilityDmitry A. Maevsky. SERENE 2013: 156-168 [doi]

Static Analysis Approach for Defect Detection in Multithreaded C/C++ ProgramsMikhail J. Moiseev. SERENE 2013: 169-183 [doi]

Empirical Assessment of ResilienceAndrás Pataricza, Imre Kocsis, Ágnes Salánki, László Gönczy. SERENE 2013: 1-16 [doi]

A Case Study in Refinement-Based Modelling of a Resilient Control SystemYuliya Prokhorova, Elena Troubitsyna, Linas Laibinis. SERENE 2013: 79-93 [doi]

Supporting the Evolution of Free and Open Source Software DistributionsDavide Di Ruscio, Patrizio Pelliccione. SERENE 2013: 56-63 [doi]

Engineering a Platform for Mission Planning of Autonomous and Resilient QuadrotorsDavide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione. SERENE 2013: 33-47 [doi]

Formal Development and Quantitative Assessment of a Resilient Multi-robotic SystemAnton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis. SERENE 2013: 109-124 [doi]

Modeling of Autonomous Vehicle Operation in Intelligent Transportation SystemsMark Woodard, Sahra Sedigh. SERENE 2013: 133-140 [doi]

2012

Software Engineering for Resilient Systems - 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. ProceedingsParis Avgeriou, editor, Volume 7527 of Lecture Notes in Computer Science, Springer, 2012. [doi]

Fault-Tolerant Interactive Cockpits for Critical Applications: Overall ApproachCamille Fayollas, Jean-Charles Fabre, David Navarre, Philippe A. Palanque, Yannick Deleris. SERENE 2012: 32-46 [doi]

Model-Based Evaluation of the Availability of a CBTC SystemAlessio Ferrari, Massimiliano Leone Itria, Silvano Chiaradonna, Giorgio Oronzo Spagnolo. SERENE 2012: 165-179 [doi]

Dependability of Service-Oriented Computing: Time-Probabilistic Failure ModellingAnatoliy Gorbenko, Alexander Romanovsky, Vyacheslav S. Kharchenko, Olga Tarasyuk. SERENE 2012: 121-133 [doi]

FAS: Introducing a Service for Avoiding Faults in Composite ServicesKoray Gülcü, Hasan Sözer, Baris Aktemur. SERENE 2012: 106-120 [doi]

Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway DomainBrahim Hamid, Jacob Geisel, Adel Ziani, David Gonzalez. SERENE 2012: 63-75 [doi]

Monitoring Service Choreographies from Multiple SourcesAmira Ben Hamida, Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis, Nelson Lago, Julien Lesbegueries. SERENE 2012: 134-149 [doi]

Language Enrichment for Resilient MDEYasir Imtiaz Khan, Matteo Risoldi. SERENE 2012: 76-90 [doi]

Implementing Reusable Exception Handling Patterns with Compile-Time MetaprogrammingYannis Lilis, Anthony Savidis. SERENE 2012: 1-15 [doi]

Supporting Field Investigators with PVS: A Case Study in the Healthcare DomainPaolo Masci, Dominic Furniss, Paul Curzon, Michael D. Harrison, Ann Blandford. SERENE 2012: 150-164 [doi]

A Case Study in Formal Development of a Fault Tolerant Multi-robotic SystemInna Pereverzeva, Elena Troubitsyna, Linas Laibinis. SERENE 2012: 16-31 [doi]

Linking Modelling in Event-B with Safety CasesYuliya Prokhorova, Elena Troubitsyna. SERENE 2012: 47-62 [doi]

Assume-Guarantee Testing of Evolving Software Product Line ArchitecturesMaurice H. ter Beek, Henry Muccini, Patrizio Pelliccione. SERENE 2012: 91-105 [doi]

2011

Experience-Based Model RefinementDidier Buchs, Steve Hostettler, Alexis Marechal. SERENE 2011: 40-47 [doi]

Predictability and Evolution in Resilient SystemsIvica Crnkovic. SERENE 2011: 113-114 [doi]

Using Diversity in Cloud-Based Deployment Environment to Avoid IntrusionsAnatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Alexander Romanovsky. SERENE 2011: 145-155 [doi]

Use Case Scenarios as Verification Conditions: Event-B/Flow ApproachAlexei Iliasov. SERENE 2011: 9-23 [doi]

On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based AnalysisPaolo Masci, Nicola Nostro, Felicita Di Giandomenico. SERENE 2011: 78-92 [doi]

'Known Secure Sensor Measurements' for Critical Infrastructure Systems: Detecting Falsification of System StateMiles McQueen, Annarita Giani. SERENE 2011: 156-163 [doi]

Supporting Cross-Language Exception Handling When Extending Applications with Embedded LanguagesAnthony Savidis. SERENE 2011: 93-99 [doi]

Architecting Resilient Computing Systems: Overall Approach and Open IssuesMiruna Stoicescu, Jean-Charles Fabre, Matthieu Roy. SERENE 2011: 48-62 [doi]

Quantitative Verification of System Safety in Event-BAnton Tarasyuk, Elena Troubitsyna, Linas Laibinis. SERENE 2011: 24-39 [doi]

Software Engineering for Resilient Systems - Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. ProceedingsElena Troubitsyna, editor, Volume 6968 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Sign in or sign up to see more results.

runs on WebDSL