Elena Troubitsyna

György Dán

Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022

Assessing Dependability of Multi-robotic Systems within Formal Development.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on System Reliability and Safety, 2022

Formal Model of Collaborative Fault Tolerant Planning in Multi-Robotic Systems.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Control, 2022

2021

Modelling resilient collaborative multi-agent systems.

[BibT_eX]

[DOI]

Computing, 2021

Formal Specification of Fault-Tolerant Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection, 2021

2020

Online Path Generation and Navigation for Swarms of UAVs.

[BibT_eX]

[DOI]

Adnan Ashraf

Sci. Program., 2020

Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B.

[BibT_eX]

[DOI]

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection, 2020

Formalising Privacy-Preserving Constraints in Microservices Architecture.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2020

Modelling and Verification of Safety of Access Control in SCADA Systems.

[BibT_eX]

[DOI]

Proceedings of the Risks and Security of Internet and Systems, 2020

Analysing Privacy-Preserving Constraints in Microservices Architecture.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

2019

A systematic mapping study of API usability evaluation methods.

[BibT_eX]

[DOI]

Ivan Porres

Comput. Sci. Rev., 2019

Modelling Autonomous Resilient Multi-robotic Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems, 2019

A Cloud Based Super-Optimization Method to Parallelize the Sequential Code's Nested Loops.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2019

Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments.

[BibT_eX]

[DOI]

Proceedings of the 6th Conference on the Engineering of Computer Based Systems, 2019

Multi-Concern Integrated Engineering of Dependable Intelligent Systems.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Intl Conf on Dependable, 2019

2018

Modelling and Verification of Dynamic Role-Based Access Control.

[BibT_eX]

[DOI]

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

Multi-layered Approach to Safe Navigation of Swarms of Drones.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2018

Deriving and Formalising Safety and Security Requirements for Control Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2018

Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones.

[BibT_eX]

[DOI]

Proceedings of the 26th Euromicro International Conference on Parallel, 2018

Designing Compact Convolutional Neural Network for Embedded Stereo Vision Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2018

Formal Verification of Stateful Services with REST APIs Using Event-B.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Web Services, 2018

Deriving Mode Logic for Autonomous Resilient Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2018

Towards a Formal Approach to Analysing Security of Safety-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 14th European Dependable Computing Conference, 2018

Generating Cloud Monitors from Models to Secure Clouds.

[BibT_eX]

[DOI]

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

Using Optimization, Learning, and Drone Reflexes to Maximize Safety of Swarms of Drones.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Congress on Evolutionary Computation, 2018

Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B.

[BibT_eX]

[DOI]

Mikhail Barash

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Formal reasoning about resilient goal-oriented multi-agent systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2017

Towards Integrated Modelling of Dynamic Access Control with UML and Event-B.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), 2017

Securing Open Source Clouds Using Models.

[BibT_eX]

[DOI]

Optimizing scheduling for heterogeneous computing systems using combinatorial meta-heuristic solution.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE SmartWorld, 2017

Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017

Towards a Model-Driven Security Assurance of Open Source Components.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017

Safety-Aware Control of Swarms of Drones.

[BibT_eX]

[DOI]

Masoud Daneshtalab

Proceedings of the Computer Safety, Reliability, and Security, 2017

Integrating Safety-Aware Route Optimisation and Run-Time Safety Monitoring in Controlling Swarms of Drones.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Optimal smart mobile access point placement for maximal coverage and minimal communication.

[BibT_eX]

[DOI]

Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, 2017

Towards a realtime, collision-free motion coordination and navigation system for a UAV fleet.

[BibT_eX]

[DOI]

Adnan Ashraf

Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, 2017

Data-driven approach to ensuring fault tolerance and efficiency of swarm systems.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017

2016

Towards Security-Explicit Formal Modelling of Safety-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2016

A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2016

Formalisation-Driven Development of Safety-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

An Integrated Approach to Deriving Safety and Security Requirements from Safety Cases.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

A Contract-Based Approach to Ensuring Component Interoperability in Event-B.

[BibT_eX]

[DOI]

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

Facilitating construction of safety cases from formal models in Event-B.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2015

Integrating stochastic reasoning into Event-B development.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2015

From Requirements Engineering to Safety Assurance: Refinement Approach.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2015

Towards Visualisation of Resilience Assessment for Large-Scale Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2014

Kaisa Sere: In Memoriam.

[BibT_eX]

[DOI]

Luigia Petre

Marina Waldén

Formal Aspects Comput., 2014

Modelling Resilience of Data Processing Capabilities of CPS.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems - 6th International Workshop, 2014

Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Modelling Resilient Systems-of-Systems in Event-B.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2014

Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Formal Derivation of Distributed MapReduce.

[BibT_eX]

[DOI]

Michael J. Butler

Asieh Salehi Fathabadi

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013

Developing mode-rich satellite software by refinement in Event-B.

[BibT_eX]

[DOI]

Kimmo Varpaaniemi

Dubravka Ilic

Timo Latvala

Sci. Comput. Program., 2013

A survey of safety-oriented model-driven and formal development approaches.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2013

A refinement-based approach to developing critical multi-agent systems.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2013

Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022).

[BibT_eX]

[DOI]

Maritta Heisel

Mohamed Kaâniche

Dagstuhl Reports, 2013

Formal Development and Quantitative Assessment of a Resilient Multi-robotic System.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013

A Case Study in Refinement-Based Modelling of a Resilient Control System.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013

Formalisation of an Industrial Approach to Monitoring Critical Data.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2013

Performance challenge to resilience: A formal view.

[BibT_eX]

[DOI]

Proceedings of the International Conference on High Performance Computing & Simulation, 2013

Formal Modelling of Resilient Data Storage in Cloud.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2013

Deployment in the Space Sector.

[BibT_eX]

[DOI]

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2012

Deriving a mode logic using failure modes and effects analysis.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2012

Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B

[BibT_eX]

[DOI]

CoRR, 2012

Dependability-Explicit Engineering with Event-B: Overview of Recent Achievements

[BibT_eX]

[DOI]

CoRR, 2012

Linking Modelling in Event-B with Safety Cases.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012

A Case Study in Formal Development of a Fault Tolerant Multi-robotic System.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012

Formal Development and Assessment of a Reconfigurable On-board Satellite System.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2012

Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Augmenting Event-B modelling with real-time verification.

[BibT_eX]

[DOI]

Timo Latvala

Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

Formal Development of Critical Multi-agent Systems: A Refinement Approach.

[BibT_eX]

[DOI]

Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

Formal Goal-Oriented Development of Resilient MAS in Event-B.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012

2011

Quantitative Verification of System Safety in Event-B.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems, 2011

Formal Derivation of a Distributed Program in Event B.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2011

Patterns for Representing FMEA in Formal Specification of Control Systems.

[BibT_eX]

[DOI]

Ilya Lopatkin

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Derivation and Formal Verification of a Mode Logic for Layered Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach.

[BibT_eX]

[DOI]

Sari Leppänen

Int. J. Embed. Real Time Commun. Syst., 2010

Augmenting formal development of control systems with quantitative reliability assessment.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010

Verifying Mode Consistency for On-Board Satellite Software.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2010

Towards Probabilistic Modelling in Event-B.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Developing Fault Tolerant Distributed Systems by Refinement.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

Supporting Reuse in Event B Development: Modularisation Approach.

[BibT_eX]

[DOI]

Kimmo Varpaaniemi

Dubravka Ilic

Timo Latvala

Proceedings of the Abstract State Machines, 2010

2009

Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems.

[BibT_eX]

[DOI]

Sari Leppänen

Proceedings of the Methods, 2009

Patterns for Refinement Automation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems.

[BibT_eX]

[DOI]

Proceedings of the Refinement Based Methods for the Construction of Dependable Systems, 13.09., 2009

2008

Formal development of cooperative exception handling for mobile agent systems.

[BibT_eX]

[DOI]

Proceedings of the SERENE 2008, 2008

MASTAC: new curriculum for master and doctoral studies in critical software and computing.

[BibT_eX]

[DOI]

Vyacheslav Kharchenko

Chris Phillips

Peter T. Popov

Oksana Pomorova

Proceedings of the 2008 International Workshop on Software Engineering in East and South Europe, 2008

Elicitation and Specification of Safety Requirements.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Systems, 2008

2007

On Rigorous Design and Implementation of Fault Tolerant Ambient Systems.

[BibT_eX]

[DOI]

Budi Arief

Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

2006

Formal Service-Oriented Development of Fault Tolerant Communicating Systems.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Rigorous Development of Fault-Tolerant Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Formal Development of Mechanisms for Tolerating Transient Faults.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

Formal Development of Reactive Fault Tolerant Systems.

[BibT_eX]

[DOI]

Proceedings of the Rapid Integration of Software Engineering Techniques, 2005

Formal Development of Software for Tolerating Transient Faults.

[BibT_eX]

[DOI]

Dubravka Ilic

Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005

Formal Model-Driven Development of Communicating Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2005

2004

A Formal Approach to Fault Tolerance in Parallel Systems.

[BibT_eX]

Proceedings of the International Conference on Software Engineering Research and Practice, 2004

Fault Tolerance in a Layered Architecture: A General Specification Pattern in B.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Refinement of Fault Tolerant Control Systems in B.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2004

2003

Integrating Safety Analysis into Formal Specification of Dependable Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

1999

Reliability Assessment through Probabilistic Refinement.

[BibT_eX]

Nord. J. Comput., 1999

Hazard Analysis in Formal Specification.

[BibT_eX]

[DOI]

Kaisa Sere

Proceedings of the Computer Safety, 1999

Enhancing Dependability via Parameterized Refinement.

[BibT_eX]

[DOI]

Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing (PRDC 1999), 1999

Safety Analysis in Formal Specification.

[BibT_eX]

[DOI]

Kaisa Sere