default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Elena Troubitsyna
@inproceedings{DBLP:conf/compsac/Troubitsyna24,
author = {Elena Troubitsyna},
editor = {Hossain Shahriar and
Hiroyuki Ohsaki and
Moushumi Sharmin and
Dave Towey and
A. K. M. Jahangir Alam Majumder and
Yoshiaki Hori and
Ji{-}Jiang Yang and
Michiharu Takemoto and
Nazmus Sakib and
Ryohei Banno and
Sheikh Iqbal Ahamed},
title = {Goal-Oriented Modeling in Fault Tolerant Service-Oriented Multi-Agent
Systems},
booktitle = {48th {IEEE} Annual Computers, Software, and Applications Conference,
{COMPSAC} 2024, Osaka, Japan, July 2-4, 2024},
pages = {1568--1569},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/COMPSAC61105.2024.00242},
doi = {10.1109/COMPSAC61105.2024.00242},
timestamp = {Thu, 05 Sep 2024 13:56:33 +0200},
biburl = {https://dblp.org/rec/conf/compsac/Troubitsyna24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/PoorhadiT24,
author = {Ehsan Poorhadi and
Elena Troubitsyna},
editor = {Andrea Ceccarelli and
Mario Trapp and
Andrea Bondavalli and
Erwin Schoitsch and
Barbara Gallina and
Friedemann Bitsch},
title = {Automating an Integrated Model-Driven Approach to Analysing the Impact
of Cyberattacks on Safety},
booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2024 Workshops
- DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17,
2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14989},
pages = {61--73},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-68738-9\_5},
doi = {10.1007/978-3-031-68738-9\_5},
timestamp = {Wed, 18 Sep 2024 20:54:05 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/PoorhadiT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/TsoupidiTP23,
author = {Rodothea{-}Myrsini Tsoupidi and
Elena Troubitsyna and
Panagiotis Papadimitratos},
title = {Thwarting code-reuse and side-channel attacks in embedded systems},
journal = {Comput. Secur.},
volume = {133},
pages = {103405},
year = {2023},
url = {https://doi.org/10.1016/j.cose.2023.103405},
doi = {10.1016/J.COSE.2023.103405},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/TsoupidiTP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/TsoupidiLTP23,
author = {Rodothea{-}Myrsini Tsoupidi and
Roberto Casta{\~{n}}eda Lozano and
Elena Troubitsyna and
Panagiotis Papadimitratos},
title = {Securing Optimized Code Against Power Side Channels},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {340--355},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00016},
doi = {10.1109/CSF57540.2023.00016},
timestamp = {Tue, 05 Sep 2023 20:33:27 +0200},
biburl = {https://dblp.org/rec/conf/csfw/TsoupidiLTP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/Troubitsyna23,
author = {Elena Troubitsyna},
title = {Employing Redundancy to Leverage Cybersecurity Protection of Safety-Critical
Systems},
booktitle = {10th International Conference on Dependable Systems and Their Applications,
{DSA} 2023, Tokyo, Japan, August 10-11, 2023},
pages = {282--287},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DSA59317.2023.00041},
doi = {10.1109/DSA59317.2023.00041},
timestamp = {Fri, 24 Nov 2023 19:56:37 +0100},
biburl = {https://dblp.org/rec/conf/dsa/Troubitsyna23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/PoorhadiT23,
author = {Ehsan Poorhadi and
Elena Troubitsyna},
editor = {Birgit Milius and
Simon Collart Dutilleul and
Thierry Lecomte},
title = {Automating an Analysis of Safety-Security Interactions for Railway
Systems},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 5th International Conference, RSSRail
2023, Berlin, Germany, October 10-12, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14198},
pages = {3--21},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43366-5\_1},
doi = {10.1007/978-3-031-43366-5\_1},
timestamp = {Fri, 06 Oct 2023 18:13:29 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/PoorhadiT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Troubitsyna23,
author = {Elena Troubitsyna},
editor = {J{\'{e}}r{\'{e}}mie Guiochet and
Stefano Tonetta and
Erwin Schoitsch and
Matthieu Roy and
Friedemann Bitsch},
title = {Utilising Redundancy to Enhance Security of Safety-Critical Systems},
booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops
- ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France,
September 19, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14182},
pages = {188--196},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40953-0\_16},
doi = {10.1007/978-3-031-40953-0\_16},
timestamp = {Wed, 20 Sep 2023 23:28:48 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Troubitsyna23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-13458,
author = {Rodothea{-}Myrsini Tsoupidi and
Elena Troubitsyna and
Panagiotis Papadimitratos},
title = {Thwarting Code-Reuse and Side-Channel Attacks in Embedded Systems},
journal = {CoRR},
volume = {abs/2304.13458},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.13458},
doi = {10.48550/ARXIV.2304.13458},
eprinttype = {arXiv},
eprint = {2304.13458},
timestamp = {Wed, 03 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-13458.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DongolT22,
author = {Brijesh Dongol and
Elena Troubitsyna},
title = {Introduction to the Special Section on iFM 2020},
journal = {Formal Aspects Comput.},
volume = {34},
number = {1},
pages = {1},
year = {2022},
url = {https://doi.org/10.1145/3546592},
doi = {10.1145/3546592},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/DongolT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codit/Troubitsyna22,
author = {Elena Troubitsyna},
title = {Formal Model of Collaborative Fault Tolerant Planning in Multi-Robotic
Systems},
booktitle = {8th International Conference on Control, Decision and Information
Technologies, CoDIT 2022, Istanbul, Turkey, May 17-20, 2022},
pages = {1438--1443},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CoDIT55151.2022.9804073},
doi = {10.1109/CODIT55151.2022.9804073},
timestamp = {Thu, 07 Jul 2022 17:05:48 +0200},
biburl = {https://dblp.org/rec/conf/codit/Troubitsyna22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsrs/Troubitsyna22,
author = {Elena Troubitsyna},
title = {Assessing Dependability of Multi-robotic Systems within Formal Development},
booktitle = {6th International Conference on System Reliability and Safety, {ICSRS}
2022, Venice, Italy, November 23-25, 2022},
pages = {120--124},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSRS56243.2022.10067768},
doi = {10.1109/ICSRS56243.2022.10067768},
timestamp = {Mon, 27 Mar 2023 16:44:41 +0200},
biburl = {https://dblp.org/rec/conf/icsrs/Troubitsyna22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/PoorhadiTD22,
author = {Ehsan Poorhadi and
Elena Troubitsyna and
Gy{\"{o}}rgy D{\'{a}}n},
editor = {Christel Seguin and
Marc Zeller and
Tatiana Prosvirnova},
title = {Analysing the Impact of Security Attacks on Safety Using SysML and
Event-B},
booktitle = {Model-Based Safety and Assessment - 8th International Symposium, {IMBSA}
2022, Munich, Germany, September 5-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13525},
pages = {170--185},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15842-1\_13},
doi = {10.1007/978-3-031-15842-1\_13},
timestamp = {Wed, 14 Sep 2022 17:01:23 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/PoorhadiTD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-14045,
author = {Matteo Tadiello and
Elena Troubitsyna},
editor = {Matt Luckcuck and
Marie Farrell},
title = {Verifying Safety of Behaviour Trees in Event-B},
booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous
Systems {(FMAS)} and Fourth International Workshop on Automated and
verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,
and Fourth International Workshop on Automated and verifiable Software
sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September
2022},
series = {{EPTCS}},
volume = {371},
pages = {139--155},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.371.10},
doi = {10.4204/EPTCS.371.10},
timestamp = {Mon, 14 Nov 2022 14:12:09 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14045.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-02614,
author = {Rodothea{-}Myrsini Tsoupidi and
Roberto Casta{\~{n}}eda Lozano and
Elena Troubitsyna and
Panagiotis Papadimitratos},
title = {Securing Optimized Code Against Power Side Channels},
journal = {CoRR},
volume = {abs/2207.02614},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.02614},
doi = {10.48550/ARXIV.2207.02614},
eprinttype = {arXiv},
eprint = {2207.02614},
timestamp = {Wed, 13 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-02614.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/VistbakkaT21,
author = {Inna Vistbakka and
Elena Troubitsyna},
title = {Modelling resilient collaborative multi-agent systems},
journal = {Computing},
volume = {103},
number = {4},
pages = {535--557},
year = {2021},
url = {https://doi.org/10.1007/s00607-020-00861-2},
doi = {10.1007/S00607-020-00861-2},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/VistbakkaT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/Troubitsyna21,
author = {Elena Troubitsyna},
editor = {Frank Dignum and
Juan Manuel Corchado and
Fernando de la Prieta},
title = {Formal Specification of Fault-Tolerant Multi-agent Systems},
booktitle = {Advances in Practical Applications of Agents, Multi-Agent Systems,
and Social Good. The {PAAMS} Collection - 19th International Conference,
{PAAMS} 2021, Salamanca, Spain, October 6-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12946},
pages = {291--302},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85739-4\_24},
doi = {10.1007/978-3-030-85739-4\_24},
timestamp = {Tue, 28 Sep 2021 17:51:40 +0200},
biburl = {https://dblp.org/rec/conf/paams/Troubitsyna21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sp/AshrafMT20,
author = {Adnan Ashraf and
Amin Majd and
Elena Troubitsyna},
title = {Online Path Generation and Navigation for Swarms of UAVs},
journal = {Sci. Program.},
volume = {2020},
pages = {8530763:1--8530763:14},
year = {2020},
url = {https://doi.org/10.1155/2020/8530763},
doi = {10.1155/2020/8530763},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sp/AshrafMT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/VistbakkaT20,
author = {Inna Vistbakka and
Elena Troubitsyna},
title = {Analysing Privacy-Preserving Constraints in Microservices Architecture},
booktitle = {44th {IEEE} Annual Computers, Software, and Applications Conference,
{COMPSAC} 2020, Madrid, Spain, July 13-17, 2020},
pages = {1089--1090},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/COMPSAC48688.2020.0-126},
doi = {10.1109/COMPSAC48688.2020.0-126},
timestamp = {Tue, 29 Sep 2020 12:30:55 +0200},
biburl = {https://dblp.org/rec/conf/compsac/VistbakkaT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crisis/VistbakkaT20,
author = {Inna Vistbakka and
Elena Troubitsyna},
editor = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
Jean Leneutre and
Nora Cuppens and
Reda Yaich},
title = {Modelling and Verification of Safety of Access Control in {SCADA}
Systems},
booktitle = {Risks and Security of Internet and Systems - 15th International Conference,
CRiSIS 2020, Paris, France, November 4-6, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12528},
pages = {354--364},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-68887-5\_23},
doi = {10.1007/978-3-030-68887-5\_23},
timestamp = {Tue, 16 Feb 2021 15:53:52 +0100},
biburl = {https://dblp.org/rec/conf/crisis/VistbakkaT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/VistbakkaT20,
author = {Inna Vistbakka and
Elena Troubitsyna},
editor = {Shang{-}Wei Lin and
Zhe Hou and
Brendan P. Mahony},
title = {Formalising Privacy-Preserving Constraints in Microservices Architecture},
booktitle = {Formal Methods and Software Engineering - 22nd International Conference
on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
March 1-3, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12531},
pages = {308--317},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63406-3\_19},
doi = {10.1007/978-3-030-63406-3\_19},
timestamp = {Thu, 25 Feb 2021 14:03:56 +0100},
biburl = {https://dblp.org/rec/conf/icfem/VistbakkaT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/VistbakkaT20,
author = {Inna Vistbakka and
Elena Troubitsyna},
editor = {Yves Demazeau and
Tom Holvoet and
Juan M. Corchado and
Stefania Costantini},
title = {Pattern-Based Goal-Oriented Development of Fault-Tolerant {MAS} in
Event-B},
booktitle = {Advances in Practical Applications of Agents, Multi-Agent Systems,
and Trustworthiness. The {PAAMS} Collection - 18th International Conference,
{PAAMS} 2020, L'Aquila, Italy, October 7-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12092},
pages = {327--339},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-49778-1\_26},
doi = {10.1007/978-3-030-49778-1\_26},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paams/VistbakkaT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2020,
editor = {Brijesh Dongol and
Elena Troubitsyna},
title = {Integrated Formal Methods - 16th International Conference, {IFM} 2020,
Lugano, Switzerland, November 16-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12546},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63461-2},
doi = {10.1007/978-3-030-63461-2},
isbn = {978-3-030-63460-5},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csr/RaufTP19,
author = {Irum Rauf and
Elena Troubitsyna and
Ivan Porres},
title = {A systematic mapping study of {API} usability evaluation methods},
journal = {Comput. Sci. Rev.},
volume = {33},
pages = {49--68},
year = {2019},
url = {https://doi.org/10.1016/j.cosrev.2019.05.001},
doi = {10.1016/J.COSREV.2019.05.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csr/RaufTP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/Troubitsyna19,
author = {Elena Troubitsyna},
title = {Multi-Concern Integrated Engineering of Dependable Intelligent Systems},
booktitle = {2019 {IEEE} Intl Conf on Dependable, Autonomic and Secure Computing,
Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud
and Big Data Computing, Intl Conf on Cyber Science and Technology
Congress, DASC/PiCom/CBDCom/CyberSciTech 2019, Fukuoka, Japan, August
5-8, 2019},
pages = {710--715},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/DASC/PiCom/CBDCom/CyberSciTech.2019.00134},
doi = {10.1109/DASC/PICOM/CBDCOM/CYBERSCITECH.2019.00134},
timestamp = {Sun, 10 Nov 2019 16:47:28 +0100},
biburl = {https://dblp.org/rec/conf/dasc/Troubitsyna19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbseerc/SalimiMLSSSDT19,
author = {Maghsood Salimi and
Amin Majd and
Mohammad Loni and
Tiberiu Seceleanu and
Cristina Seceleanu and
Marjan Sirjani and
Masoud Daneshtalab and
Elena Troubitsyna},
editor = {Maria{-}Iuliana Dascalu and
Ondrej Rysav{\'{y}} and
Constanta{-}Nicoleta Bodea and
Moshe Goldstein and
Miodrag Dukic},
title = {Multi-objective Optimization of Real-Time Task Scheduling Problem
for Distributed Environments},
booktitle = {Proceedings of the 6th Conference on the Engineering of Computer Based
Systems, {ECBS} 2019, Bucharest, Romania, September 2-3, 2019},
pages = {13:1--13:9},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3352700.3352713},
doi = {10.1145/3352700.3352713},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbseerc/SalimiMLSSSDT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/VistbakkaTM19,
author = {Inna Vistbakka and
Elena Troubitsyna and
Amin Majd},
editor = {Dongjin Yu and
Vu Nguyen and
Congfeng Jiang},
title = {Multi-Layered Safety Architecture of Autonomous Systems: Formalising
Coordination Perspective},
booktitle = {19th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2019, Hangzhou, China, January 3-5, 2019},
pages = {58--65},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/HASE.2019.00019},
doi = {10.1109/HASE.2019.00019},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/hase/VistbakkaTM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/VistbakkaT19,
author = {Inna Vistbakka and
Elena Troubitsyna},
editor = {Yiannis Papadopoulos and
Koorosh Aslansefat and
Panagiotis Katsaros and
Marco Bozzano},
title = {Pattern-Based Formal Approach to Analyse Security and Safety of Control
Systems},
booktitle = {Model-Based Safety and Assessment - 6th International Symposium, {IMBSA}
2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11842},
pages = {363--378},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32872-6\_24},
doi = {10.1007/978-3-030-32872-6\_24},
timestamp = {Thu, 14 Oct 2021 09:59:31 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/VistbakkaT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcsoc/MajdLSDT19,
author = {Amin Majd and
Mohammad Loni and
Golnaz Sahebi and
Masoud Daneshtalab and
Elena Troubitsyna},
title = {A Cloud Based Super-Optimization Method to Parallelize the Sequential
Code's Nested Loops},
booktitle = {13th {IEEE} International Symposium on Embedded Multicore/Many-core
Systems-on-Chip, MCSoC 2019, Singapore, Singapore, October 1-4, 2019},
pages = {281--287},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MCSoC.2019.00047},
doi = {10.1109/MCSOC.2019.00047},
timestamp = {Tue, 26 Nov 2019 20:28:29 +0100},
biburl = {https://dblp.org/rec/conf/mcsoc/MajdLSDT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/VistbakkaT19,
author = {Inna Vistbakka and
Elena Troubitsyna},
editor = {Radu Calinescu and
Felicita Di Giandomenico},
title = {Modelling Autonomous Resilient Multi-robotic Systems},
booktitle = {Software Engineering for Resilient Systems - 11th International Workshop,
{SERENE} 2019, Naples, Italy, September 17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11732},
pages = {29--45},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30856-8\_3},
doi = {10.1007/978-3-030-30856-8\_3},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/VistbakkaT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2019,
editor = {Alexander B. Romanovsky and
Elena Troubitsyna and
Friedemann Bitsch},
title = {Computer Safety, Reliability, and Security - 38th International Conference,
{SAFECOMP} 2019, Turku, Finland, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11698},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-26601-1},
doi = {10.1007/978-3-030-26601-1},
isbn = {978-3-030-26600-4},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2019w,
editor = {Alexander B. Romanovsky and
Elena Troubitsyna and
Ilir Gashi and
Erwin Schoitsch and
Friedemann Bitsch},
title = {Computer Safety, Reliability, and Security - {SAFECOMP} 2019 Workshops,
ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September
10, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11699},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-26250-1},
doi = {10.1007/978-3-030-26250-1},
isbn = {978-3-030-26249-5},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/2019w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-09288,
author = {Adnan Ashraf and
Amin Majd and
Elena Troubitsyna},
title = {Online Path Generation and Navigation for Swarms of UAVs},
journal = {CoRR},
volume = {abs/1912.09288},
year = {2019},
url = {http://arxiv.org/abs/1912.09288},
eprinttype = {arXiv},
eprint = {1912.09288},
timestamp = {Fri, 03 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-09288.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/VistbakkaBT18,
author = {Inna Vistbakka and
Mikhail Barash and
Elena Troubitsyna},
editor = {Michael J. Butler and
Alexander Raschke and
Thai Son Hoang and
Klaus Reichl},
title = {Towards Creating a {DSL} Facilitating Modelling of Dynamic Access
Control in Event-B},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International
Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10817},
pages = {386--391},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91271-4\_28},
doi = {10.1007/978-3-319-91271-4\_28},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/VistbakkaBT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/MajdATD18,
author = {Amin Majd and
Adnan Ashraf and
Elena Troubitsyna and
Masoud Daneshtalab},
title = {Using Optimization, Learning, and Drone Reflexes to Maximize Safety
of Swarms of Drones},
booktitle = {2018 {IEEE} Congress on Evolutionary Computation, {CEC} 2018, Rio
de Janeiro, Brazil, July 8-13, 2018},
pages = {1--8},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/CEC.2018.8477920},
doi = {10.1109/CEC.2018.8477920},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/cec/MajdATD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/TroubitsynaR18,
author = {Elena Troubitsyna and
Irum Rauf},
title = {Generating Cloud Monitors from Models to Secure Clouds},
booktitle = {48th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2018, Luxembourg City, Luxembourg, June 25-28,
2018},
pages = {526--533},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/DSN.2018.00060},
doi = {10.1109/DSN.2018.00060},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/TroubitsynaR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/VistbakkaT18,
author = {Inna Vistbakka and
Elena Troubitsyna},
title = {Towards a Formal Approach to Analysing Security of Safety-Critical
Systems},
booktitle = {14th European Dependable Computing Conference, {EDCC} 2018, Ia{\c{s}}i,
Romania, September 10-14, 2018},
pages = {182--189},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/EDCC.2018.00040},
doi = {10.1109/EDCC.2018.00040},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/VistbakkaT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/VistbakkaMT18,
author = {Inna Vistbakka and
Amin Majd and
Elena Troubitsyna},
editor = {Jing Sun and
Meng Sun},
title = {Deriving Mode Logic for Autonomous Resilient Systems},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {320--336},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_19},
doi = {10.1007/978-3-030-02450-5\_19},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/VistbakkaMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/RaufVT18,
author = {Irum Rauf and
Inna Vistbakka and
Elena Troubitsyna},
title = {Formal Verification of Stateful Services with {REST} APIs Using Event-B},
booktitle = {2018 {IEEE} International Conference on Web Services, {ICWS} 2018,
San Francisco, CA, USA, July 2-7, 2018},
pages = {131--138},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICWS.2018.00024},
doi = {10.1109/ICWS.2018.00024},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/RaufVT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcsoc/LoniMLDST18,
author = {Mohammad Loni and
Amin Majd and
Abdolah Loni and
Masoud Daneshtalab and
Mikael Sj{\"{o}}din and
Elena Troubitsyna},
title = {Designing Compact Convolutional Neural Network for Embedded Stereo
Vision Systems},
booktitle = {12th {IEEE} International Symposium on Embedded Multicore/Many-core
Systems-on-Chip, MCSoC 2018, Hanoi, Vietnam, September 12-14, 2018},
pages = {244--251},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/MCSoC2018.2018.00049},
doi = {10.1109/MCSOC2018.2018.00049},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mcsoc/LoniMLDST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/MajdATD18,
author = {Amin Majd and
Adnan Ashraf and
Elena Troubitsyna and
Masoud Daneshtalab},
editor = {Ivan Merelli and
Pietro Li{\`{o}} and
Igor V. Kotenko},
title = {Integrating Learning, Optimization, and Prediction for Efficient Navigation
of Swarms of Drones},
booktitle = {26th Euromicro International Conference on Parallel, Distributed and
Network-based Processing, {PDP} 2018, Cambridge, United Kingdom, March
21-23, 2018},
pages = {101--108},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/PDP2018.2018.00022},
doi = {10.1109/PDP2018.2018.00022},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/MajdATD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/TroubitsynaV18,
author = {Elena Troubitsyna and
Inna Vistbakka},
editor = {Barbara Gallina and
Amund Skavhaug and
Friedemann Bitsch},
title = {Deriving and Formalising Safety and Security Requirements for Control
Systems},
booktitle = {Computer Safety, Reliability, and Security - 37th International Conference,
{SAFECOMP} 2018, V{\"{a}}ster{\aa}s, Sweden, September 19-21,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11093},
pages = {107--122},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99130-6\_8},
doi = {10.1007/978-3-319-99130-6\_8},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/TroubitsynaV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/VistbakkaMT18,
author = {Inna Vistbakka and
Amin Majd and
Elena Troubitsyna},
editor = {Barbara Gallina and
Amund Skavhaug and
Erwin Schoitsch and
Friedemann Bitsch},
title = {Multi-layered Approach to Safe Navigation of Swarms of Drones},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2018 Workshops,
ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, V{\"{a}}ster{\aa}s,
Sweden, September 18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11094},
pages = {112--125},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99229-7\_11},
doi = {10.1007/978-3-319-99229-7\_11},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/VistbakkaMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/VistbakkaT18,
author = {Inna Vistbakka and
Elena Troubitsyna},
editor = {Mohamed Faouzi Atig and
Saddek Bensalem and
Simon Bliudze and
Bruno Monsuez},
title = {Modelling and Verification of Dynamic Role-Based Access Control},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 12th International Conference, VECoS 2018, Grenoble, France, September
26-28, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11181},
pages = {48--63},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00359-3\_4},
doi = {10.1007/978-3-030-00359-3\_4},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/vecos/VistbakkaT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1805-04636,
editor = {R{\'{e}}gine Laleau and
Dominique M{\'{e}}ry and
Shin Nakajima and
Elena Troubitsyna},
title = {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), IMPEX/FM{\&}MDD
2017, Xi'an, China, 16th November 2017},
series = {{EPTCS}},
volume = {271},
year = {2018},
url = {http://arxiv.org/abs/1805.04636},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-04636.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LaibinisPT17,
author = {Linas Laibinis and
Inna Pereverzeva and
Elena Troubitsyna},
title = {Formal reasoning about resilient goal-oriented multi-agent systems},
journal = {Sci. Comput. Program.},
volume = {148},
pages = {66--87},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2017.05.008},
doi = {10.1016/J.SCICO.2017.05.008},
timestamp = {Fri, 03 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LaibinisPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/MajdT17,
author = {Amin Majd and
Elena Troubitsyna},
editor = {Jian{-}Yun Nie and
Zoran Obradovic and
Toyotaro Suzumura and
Rumi Ghosh and
Raghunath Nambiar and
Chonggang Wang and
Hui Zang and
Ricardo Baeza{-}Yates and
Xiaohua Hu and
Jeremy Kepner and
Alfredo Cuzzocrea and
Jian Tang and
Masashi Toyoda},
title = {Data-driven approach to ensuring fault tolerance and efficiency of
swarm systems},
booktitle = {2017 {IEEE} International Conference on Big Data {(IEEE} BigData 2017),
Boston, MA, USA, December 11-14, 2017},
pages = {4792--4794},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/BigData.2017.8258544},
doi = {10.1109/BIGDATA.2017.8258544},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/MajdT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/AshrafMT17,
author = {Adnan Ashraf and
Amin Majd and
Elena Troubitsyna},
editor = {Ondrej Rysav{\'{y}} and
Valentino Vranic and
George Angelos Papadopoulos},
title = {Towards a realtime, collision-free motion coordination and navigation
system for a {UAV} fleet},
booktitle = {Proceedings of the Fifth European Conference on the Engineering of
Computer-Based Systems, {ECBS} 2017, Larnaca, Cyprus, August 31 -
September 01, 2017},
pages = {11:1--11:9},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3123779.3123805},
doi = {10.1145/3123779.3123805},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecbs/AshrafMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/MajdDTS17,
author = {Amin Majd and
Masoud Daneshtalab and
Elena Troubitsyna and
Golnaz Sahebi},
editor = {Ondrej Rysav{\'{y}} and
Valentino Vranic and
George Angelos Papadopoulos},
title = {Optimal smart mobile access point placement for maximal coverage and
minimal communication},
booktitle = {Proceedings of the Fifth European Conference on the Engineering of
Computer-Based Systems, {ECBS} 2017, Larnaca, Cyprus, August 31 -
September 01, 2017},
pages = {21:1--21:2},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3123779.3123799},
doi = {10.1145/3123779.3123799},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/MajdDTS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MajdT17,
author = {Amin Majd and
Elena Troubitsyna},
title = {Integrating Safety-Aware Route Optimisation and Run-Time Safety Monitoring
in Controlling Swarms of Drones},
booktitle = {2017 {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
pages = {94--95},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ISSREW.2017.63},
doi = {10.1109/ISSREW.2017.63},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/MajdT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MajdTD17,
author = {Amin Majd and
Elena Troubitsyna and
Masoud Daneshtalab},
editor = {Stefano Tonetta and
Erwin Schoitsch and
Friedemann Bitsch},
title = {Safety-Aware Control of Swarms of Drones},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2017 Workshops,
ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September
12, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10489},
pages = {249--260},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66284-8\_21},
doi = {10.1007/978-3-319-66284-8\_21},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/MajdTD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/RaufT17,
author = {Irum Rauf and
Elena Troubitsyna},
editor = {Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Towards a Model-Driven Security Assurance of Open Source Components},
booktitle = {Software Engineering for Resilient Systems - 9th International Workshop,
{SERENE} 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10479},
pages = {65--80},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65948-0\_5},
doi = {10.1007/978-3-319-65948-0\_5},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/serene/RaufT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/VistbakkaTKL17,
author = {Inna Vistbakka and
Elena Troubitsyna and
Tuomas Kuismin and
Timo Latvala},
editor = {Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Co-engineering Safety and Security in Industrial Control Systems:
{A} Formal Outlook},
booktitle = {Software Engineering for Resilient Systems - 9th International Workshop,
{SERENE} 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10479},
pages = {96--114},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65948-0\_7},
doi = {10.1007/978-3-319-65948-0\_7},
timestamp = {Fri, 18 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/VistbakkaTKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/MajdSDT17,
author = {Amin Majd and
Golnaz Sahebi and
Masoud Daneshtalab and
Elena Troubitsyna},
title = {Optimizing scheduling for heterogeneous computing systems using combinatorial
meta-heuristic solution},
booktitle = {2017 {IEEE} SmartWorld, Ubiquitous Intelligence {\&} Computing,
Advanced {\&} Trusted Computed, Scalable Computing {\&} Communications,
Cloud {\&} Big Data Computing, Internet of People and Smart City
Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017, San Francisco,
CA, USA, August 4-8, 2017},
pages = {1--8},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/UIC-ATC.2017.8397655},
doi = {10.1109/UIC-ATC.2017.8397655},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/uic/MajdSDT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1805-05519,
author = {Irum Rauf and
Elena Troubitsyna},
editor = {R{\'{e}}gine Laleau and
Dominique M{\'{e}}ry and
Shin Nakajima and
Elena Troubitsyna},
title = {Securing Open Source Clouds Using Models},
booktitle = {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), IMPEX/FM{\&}MDD
2017, Xi'an, China, 16th November 2017},
series = {{EPTCS}},
volume = {271},
pages = {80--94},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.271.6},
doi = {10.4204/EPTCS.271.6},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-05519.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1805-05521,
author = {Inna Vistbakka and
Elena Troubitsyna},
editor = {R{\'{e}}gine Laleau and
Dominique M{\'{e}}ry and
Shin Nakajima and
Elena Troubitsyna},
title = {Towards Integrated Modelling of Dynamic Access Control with {UML}
and Event-B},
booktitle = {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), IMPEX/FM{\&}MDD
2017, Xi'an, China, 16th November 2017},
series = {{EPTCS}},
volume = {271},
pages = {105--116},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.271.8},
doi = {10.4204/EPTCS.271.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-05521.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/serene/2017,
editor = {Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Software Engineering for Resilient Systems - 9th International Workshop,
{SERENE} 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10479},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65948-0},
doi = {10.1007/978-3-319-65948-0},
isbn = {978-3-319-65947-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Troubitsyna16,
author = {Elena Troubitsyna},
title = {An Integrated Approach to Deriving Safety and Security Requirements
from Safety Cases},
booktitle = {40th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} Workshops 2016, Atlanta, GA, USA, June 10-14, 2016},
pages = {614--615},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/COMPSAC.2016.58},
doi = {10.1109/COMPSAC.2016.58},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/Troubitsyna16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/IliasovRTL16,
author = {Alexei Iliasov and
Alexander B. Romanovsky and
Elena Troubitsyna and
Linas Laibinis},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {Formalisation-Driven Development of Safety-Critical Systems},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {165--172},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.35},
doi = {10.1109/HASE.2016.35},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/IliasovRTL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LaibinisTPOH16,
author = {Linas Laibinis and
Elena Troubitsyna and
Inna Pereverzeva and
Ian Oliver and
Silke Holtmanns},
editor = {Kazuhiro Ogata and
Mark Lawford and
Shaoying Liu},
title = {A Formal Approach to Identifying Security Vulnerabilities in Telecommunication
Networks},
booktitle = {Formal Methods and Software Engineering - 18th International Conference
on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
14-18, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10009},
pages = {141--158},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47846-3\_10},
doi = {10.1007/978-3-319-47846-3\_10},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/LaibinisTPOH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/TroubitsynaLPKI16,
author = {Elena Troubitsyna and
Linas Laibinis and
Inna Pereverzeva and
Tuomas Kuismin and
Dubravka Ilic and
Timo Latvala},
editor = {Amund Skavhaug and
J{\'{e}}r{\'{e}}mie Guiochet and
Friedemann Bitsch},
title = {Towards Security-Explicit Formal Modelling of Safety-Critical Systems},
booktitle = {Computer Safety, Reliability, and Security - 35th International Conference,
{SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9922},
pages = {213--225},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45477-1\_17},
doi = {10.1007/978-3-319-45477-1\_17},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/TroubitsynaLPKI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/p/LaibinisT16,
author = {Linas Laibinis and
Elena Troubitsyna},
editor = {Luigia Petre and
Emil Sekerinski},
title = {A Contract-Based Approach to Ensuring Component Interoperability in
Event-B},
booktitle = {From Action Systems to Distributed Systems - The Refinement Approach},
pages = {81--96},
publisher = {Chapman and Hall/CRC},
year = {2016},
url = {https://doi.org/10.1201/b20053-9},
doi = {10.1201/B20053-9},
timestamp = {Tue, 16 May 2017 14:01:47 +0200},
biburl = {https://dblp.org/rec/books/crc/p/LaibinisT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/serene/2016,
editor = {Ivica Crnkovic and
Elena Troubitsyna},
title = {Software Engineering for Resilient Systems - 8th International Workshop,
{SERENE} 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9823},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45892-2},
doi = {10.1007/978-3-319-45892-2},
isbn = {978-3-319-45891-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/TarasyukTL15,
author = {Anton Tarasyuk and
Elena Troubitsyna and
Linas Laibinis},
title = {Integrating stochastic reasoning into Event-B development},
journal = {Formal Aspects Comput.},
volume = {27},
number = {1},
pages = {53--77},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0305-z},
doi = {10.1007/S00165-014-0305-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/TarasyukTL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/ProkhorovaLT15,
author = {Yuliya Prokhorova and
Linas Laibinis and
Elena Troubitsyna},
title = {Facilitating construction of safety cases from formal models in Event-B},
journal = {Inf. Softw. Technol.},
volume = {60},
pages = {51--76},
year = {2015},
url = {https://doi.org/10.1016/j.infsof.2015.01.001},
doi = {10.1016/J.INFSOF.2015.01.001},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/ProkhorovaLT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/TroubitsynaL15,
author = {Elena Troubitsyna and
Linas Laibinis},
title = {Towards Visualisation of Resilience Assessment for Large-Scale Systems},
booktitle = {17th {IEEE} International Conference on High Performance Computing
and Communications, {HPCC} 2015, 7th {IEEE} International Symposium
on Cyberspace Safety and Security, {CSS} 2015, and 12th {IEEE} International
Conference on Embedded Software and Systems, {ICESS} 2015, New York,
NY, USA, August 24-26, 2015},
pages = {924},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/HPCC-CSS-ICESS.2015.229},
doi = {10.1109/HPCC-CSS-ICESS.2015.229},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/hpcc/TroubitsynaL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/TarasyukPTL15,
author = {Anton Tarasyuk and
Inna Pereverzeva and
Elena Troubitsyna and
Timo Latvala},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {The Formal Derivation of Mode Logic for Autonomous Satellite Flight
Formation},
booktitle = {Computer Safety, Reliability, and Security - 34th International Conference,
{SAFECOMP} 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9337},
pages = {29--43},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24255-2\_4},
doi = {10.1007/978-3-319-24255-2\_4},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/TarasyukPTL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LaibinisTPIR15,
author = {Linas Laibinis and
Elena Troubitsyna and
Yuliya Prokhorova and
Alexei Iliasov and
Alexander B. Romanovsky},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {From Requirements Engineering to Safety Assurance: Refinement Approach},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {201--216},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_13},
doi = {10.1007/978-3-319-25942-0\_13},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/LaibinisTPIR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PetreTW14,
author = {Luigia Petre and
Elena Troubitsyna and
Marina Wald{\'{e}}n},
title = {Kaisa Sere: In Memoriam},
journal = {Formal Aspects Comput.},
volume = {26},
number = {2},
pages = {197--201},
year = {2014},
url = {https://doi.org/10.1007/s00165-013-0292-5},
doi = {10.1007/S00165-013-0292-5},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PetreTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/PereverzevaBFLT14,
author = {Inna Pereverzeva and
Michael J. Butler and
Asieh Salehi Fathabadi and
Linas Laibinis and
Elena Troubitsyna},
editor = {Yamine A{\"{\i}}t Ameur and
Klaus{-}Dieter Schewe},
title = {Formal Derivation of Distributed MapReduce},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8477},
pages = {238--254},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43652-3\_21},
doi = {10.1007/978-3-662-43652-3\_21},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/PereverzevaBFLT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LaibinisBPTTP14,
author = {Linas Laibinis and
Benjamin Byholm and
Inna Pereverzeva and
Elena Troubitsyna and
Kuan Eeik Tan and
Ivan Porres},
editor = {Elvira Albert and
Emil Sekerinski},
title = {Integrating Event-B Modelling and Discrete-Event Simulation to Analyse
Resilience of Data Stores in the Cloud},
booktitle = {Integrated Formal Methods - 11th International Conference, {IFM} 2014,
Bertinoro, Italy, September 9-11, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8739},
pages = {103--119},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10181-1\_7},
doi = {10.1007/978-3-319-10181-1\_7},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/LaibinisBPTTP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/LaibinisPT14,
author = {Linas Laibinis and
Inna Pereverzeva and
Elena Troubitsyna},
editor = {Andrea Bondavalli and
Andrea Ceccarelli and
Frank Ortmeier},
title = {Modelling Resilient Systems-of-Systems in Event-B},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2014 Workshops:
ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, {SASSUR.} Florence, Italy,
September 8-9, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8696},
pages = {157--166},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10557-4\_19},
doi = {10.1007/978-3-319-10557-4\_19},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/LaibinisPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LaibinisTGMK14,
author = {Linas Laibinis and
Elena Troubitsyna and
Zeineb Graja and
Fr{\'{e}}d{\'{e}}ric Migeon and
Ahmed Hadj Kacem},
editor = {Dimitra Giannakopoulou and
Gwen Sala{\"{u}}n},
title = {Formal Modelling and Verification of Cooperative Ant Behaviour in
Event-B},
booktitle = {Software Engineering and Formal Methods - 12th International Conference,
{SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8702},
pages = {363--377},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10431-7\_29},
doi = {10.1007/978-3-319-10431-7\_29},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/LaibinisTGMK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/LaibinisKTDLK14,
author = {Linas Laibinis and
Dmitry M. Klionskiy and
Elena Troubitsyna and
Anatoly Dorokhov and
Johan Lilius and
Mikhail Kupriyanov},
editor = {Istv{\'{a}}n Majzik and
Marco Vieira},
title = {Modelling Resilience of Data Processing Capabilities of {CPS}},
booktitle = {Software Engineering for Resilient Systems - 6th International Workshop,
{SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8785},
pages = {55--70},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12241-0\_5},
doi = {10.1007/978-3-319-12241-0\_5},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/serene/LaibinisKTDLK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/PereverzevaTL13,
author = {Inna Pereverzeva and
Elena Troubitsyna and
Linas Laibinis},
title = {A refinement-based approach to developing critical multi-agent systems},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {4},
number = {1},
pages = {69--91},
year = {2013},
url = {https://doi.org/10.1504/IJCCBS.2013.053743},
doi = {10.1504/IJCCBS.2013.053743},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/PereverzevaTL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/ProkhorovaT13,
author = {Yuliya Prokhorova and
Elena Troubitsyna},
title = {A survey of safety-oriented model-driven and formal development approaches},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {4},
number = {2},
pages = {93--118},
year = {2013},
url = {https://doi.org/10.1504/IJCCBS.2013.056485},
doi = {10.1504/IJCCBS.2013.056485},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/ProkhorovaT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/IliasovTLRVIL13,
author = {Alexei Iliasov and
Elena Troubitsyna and
Linas Laibinis and
Alexander B. Romanovsky and
Kimmo Varpaaniemi and
Dubravka Ilic and
Timo Latvala},
title = {Developing mode-rich satellite software by refinement in Event-B},
journal = {Sci. Comput. Program.},
volume = {78},
number = {7},
pages = {884--905},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.04.010},
doi = {10.1016/J.SCICO.2012.04.010},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/IliasovTLRVIL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/PereverzevaLTHP13,
author = {Inna Pereverzeva and
Linas Laibinis and
Elena Troubitsyna and
Markus Holmberg and
Mikko P{\"{o}}ri},
editor = {Lindsay Groves and
Jing Sun},
title = {Formal Modelling of Resilient Data Storage in Cloud},
booktitle = {Formal Methods and Software Engineering - 15th International Conference
on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
October 29 - November 1, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8144},
pages = {363--379},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41202-8\_24},
doi = {10.1007/978-3-642-41202-8\_24},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/PereverzevaLTHP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeehpcs/Troubitsyna13,
author = {Elena Troubitsyna},
title = {Performance challenge to resilience: {A} formal view},
booktitle = {International Conference on High Performance Computing {\&} Simulation,
{HPCS} 2013, Helsinki, Finland, July 1-5, 2013},
pages = {555},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/HPCSim.2013.6641468},
doi = {10.1109/HPCSIM.2013.6641468},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/ieeehpcs/Troubitsyna13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ProkhorovaTLIL13,
author = {Yuliya Prokhorova and
Elena Troubitsyna and
Linas Laibinis and
Dubravka Ilic and
Timo Latvala},
editor = {Friedemann Bitsch and
J{\'{e}}r{\'{e}}mie Guiochet and
Mohamed Ka{\^{a}}niche},
title = {Formalisation of an Industrial Approach to Monitoring Critical Data},
booktitle = {Computer Safety, Reliability, and Security - 32nd International Conference,
{SAFECOMP} 2013, Toulouse, France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8153},
pages = {57--69},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40793-2\_6},
doi = {10.1007/978-3-642-40793-2\_6},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/ProkhorovaTLIL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/ProkhorovaTL13,
author = {Yuliya Prokhorova and
Elena Troubitsyna and
Linas Laibinis},
editor = {Anatoliy Gorbenko and
Alexander B. Romanovsky and
Vyacheslav S. Kharchenko},
title = {A Case Study in Refinement-Based Modelling of a Resilient Control
System},
booktitle = {Software Engineering for Resilient Systems, 5th International Workshop,
{SERENE} 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8166},
pages = {79--93},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40894-6\_7},
doi = {10.1007/978-3-642-40894-6\_7},
timestamp = {Mon, 05 Feb 2024 20:33:35 +0100},
biburl = {https://dblp.org/rec/conf/serene/ProkhorovaTL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/TarasyukPTL13,
author = {Anton Tarasyuk and
Inna Pereverzeva and
Elena Troubitsyna and
Linas Laibinis},
editor = {Anatoliy Gorbenko and
Alexander B. Romanovsky and
Vyacheslav S. Kharchenko},
title = {Formal Development and Quantitative Assessment of a Resilient Multi-robotic
System},
booktitle = {Software Engineering for Resilient Systems, 5th International Workshop,
{SERENE} 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8166},
pages = {109--124},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40894-6\_9},
doi = {10.1007/978-3-642-40894-6\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/TarasyukPTL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/IlicLLTV13,
author = {Dubravka Ilic and
Linas Laibinis and
Timo Latvala and
Elena Troubitsyna and
Kimmo Varpaaniemi},
editor = {Alexander B. Romanovsky and
Martyn Thomas},
title = {Deployment in the Space Sector},
booktitle = {Industrial Deployment of System Engineering Methods},
pages = {45--62},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-33170-1\_5},
doi = {10.1007/978-3-642-33170-1\_5},
timestamp = {Mon, 05 Feb 2024 20:35:54 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/IlicLLTV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/HeiselKRT13,
author = {Maritta Heisel and
Mohamed Ka{\^{a}}niche and
Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl
Seminar 13022)},
journal = {Dagstuhl Reports},
volume = {3},
number = {1},
pages = {30--46},
year = {2013},
url = {https://doi.org/10.4230/DagRep.3.1.30},
doi = {10.4230/DAGREP.3.1.30},
timestamp = {Thu, 22 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/HeiselKRT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/ProkhorovaLTVL12,
author = {Yuliya Prokhorova and
Linas Laibinis and
Elena Troubitsyna and
Kimmo Varpaaniemi and
Timo Latvala},
title = {Deriving a mode logic using failure modes and effects analysis},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {3},
number = {4},
pages = {305--328},
year = {2012},
url = {https://doi.org/10.1504/IJCCBS.2012.053206},
doi = {10.1504/IJCCBS.2012.053206},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/ProkhorovaLTVL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/PereverzevaTL12,
author = {Inna Pereverzeva and
Elena Troubitsyna and
Linas Laibinis},
editor = {Mats Brorsson and
Lu{\'{\i}}s Miguel Pinho},
title = {Formal Goal-Oriented Development of Resilient {MAS} in Event-B},
booktitle = {Reliable Software Technologies - Ada-Europe 2012 - 17th Ada-Europe
International Conference on Reliable Software Technologies, Stockholm,
Sweden, June 11-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7308},
pages = {147--161},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30598-6\_11},
doi = {10.1007/978-3-642-30598-6\_11},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/PereverzevaTL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/PereverzevaTL12,
author = {Inna Pereverzeva and
Elena Troubitsyna and
Linas Laibinis},
editor = {Cristian Constantinescu and
Miguel P. Correia},
title = {Formal Development of Critical Multi-agent Systems: {A} Refinement
Approach},
booktitle = {2012 Ninth European Dependable Computing Conference, Sibiu, Romania,
May 8-11, 2012},
pages = {156--161},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/EDCC.2012.24},
doi = {10.1109/EDCC.2012.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/PereverzevaTL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/IliasovRLTL12,
author = {Alexei Iliasov and
Alexander B. Romanovsky and
Linas Laibinis and
Elena Troubitsyna and
Timo Latvala},
editor = {Stefania Gnesi and
Stefan Gruner and
Nico Plat and
Bernhard Rumpe},
title = {Augmenting Event-B modelling with real-time verification},
booktitle = {Proceedings of the First International Workshop on Formal Methods
in Software Engineering - Rigorous and Agile Approaches, FormSERA
2012, Zurich, Switzerland, June 2, 2012},
pages = {51--57},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/FormSERA.2012.6229789},
doi = {10.1109/FORMSERA.2012.6229789},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/IliasovRLTL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/TarasyukTL12,
author = {Anton Tarasyuk and
Elena Troubitsyna and
Linas Laibinis},
editor = {John Derrick and
Stefania Gnesi and
Diego Latella and
Helen Treharne},
title = {Formal Modelling and Verification of Service-Oriented Systems in Probabilistic
Event-B},
booktitle = {Integrated Formal Methods - 9th International Conference, {IFM} 2012,
Pisa, Italy, June 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7321},
pages = {237--252},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30729-4\_17},
doi = {10.1007/978-3-642-30729-4\_17},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/TarasyukTL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/TarasyukPTLN12,
author = {Anton Tarasyuk and
Inna Pereverzeva and
Elena Troubitsyna and
Timo Latvala and
Laura Nummila},
editor = {Frank Ortmeier and
Peter Daniel},
title = {Formal Development and Assessment of a Reconfigurable On-board Satellite
System},
booktitle = {Computer Safety, Reliability, and Security - 31st International Conference,
{SAFECOMP} 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7612},
pages = {210--222},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33678-2\_18},
doi = {10.1007/978-3-642-33678-2\_18},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/TarasyukPTLN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/PereverzevaTL12,
author = {Inna Pereverzeva and
Elena Troubitsyna and
Linas Laibinis},
editor = {Paris Avgeriou},
title = {A Case Study in Formal Development of a Fault Tolerant Multi-robotic
System},
booktitle = {Software Engineering for Resilient Systems - 4th International Workshop,
{SERENE} 2012, Pisa, Italy, September 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7527},
pages = {16--31},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33176-3\_2},
doi = {10.1007/978-3-642-33176-3\_2},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/serene/PereverzevaTL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/ProkhorovaT12,
author = {Yuliya Prokhorova and
Elena Troubitsyna},
editor = {Paris Avgeriou},
title = {Linking Modelling in Event-B with Safety Cases},
booktitle = {Software Engineering for Resilient Systems - 4th International Workshop,
{SERENE} 2012, Pisa, Italy, September 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7527},
pages = {47--62},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33176-3\_4},
doi = {10.1007/978-3-642-33176-3\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/ProkhorovaT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-7032,
author = {Elena Troubitsyna},
title = {Dependability-Explicit Engineering with Event-B: Overview of Recent
Achievements},
journal = {CoRR},
volume = {abs/1210.7032},
year = {2012},
url = {http://arxiv.org/abs/1210.7032},
eprinttype = {arXiv},
eprint = {1210.7032},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-7032.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-7035,
author = {Inna Pereverzeva and
Elena Troubitsyna and
Linas Laibinis},
title = {Development of Fault Tolerant {MAS} with Cooperative Error Recovery
by Refinement in Event-B},
journal = {CoRR},
volume = {abs/1210.7035},
year = {2012},
url = {http://arxiv.org/abs/1210.7035},
eprinttype = {arXiv},
eprint = {1210.7035},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-7035.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ProkhorovaLTVL11,
author = {Yuliya Prokhorova and
Linas Laibinis and
Elena Troubitsyna and
Kimmo Varpaaniemi and
Timo Latvala},
editor = {Tran Dan Thu and
Karl R. P. H. Leung},
title = {Derivation and Formal Verification of a Mode Logic for Layered Control
Systems},
booktitle = {18th Asia Pacific Software Engineering Conference, {APSEC} 2011, Ho
Chi Minh, Vietnam, December 5-8, 2011},
pages = {49--56},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/APSEC.2011.38},
doi = {10.1109/APSEC.2011.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/ProkhorovaLTVL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/LopatkinIRPT11,
author = {Ilya Lopatkin and
Alexei Iliasov and
Alexander B. Romanovsky and
Yuliya Prokhorova and
Elena Troubitsyna},
editor = {Taghi M. Khoshgoftaar},
title = {Patterns for Representing {FMEA} in Formal Specification of Control
Systems},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {146--151},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.10},
doi = {10.1109/HASE.2011.10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/LopatkinIRPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/IliasovLTR11,
author = {Alexei Iliasov and
Linas Laibinis and
Elena Troubitsyna and
Alexander B. Romanovsky},
editor = {Shengchao Qin and
Zongyan Qiu},
title = {Formal Derivation of a Distributed Program in Event {B}},
booktitle = {Formal Methods and Software Engineering - 13th International Conference
on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6991},
pages = {420--436},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24559-6\_29},
doi = {10.1007/978-3-642-24559-6\_29},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/IliasovLTR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/TarasyukTL11,
author = {Anton Tarasyuk and
Elena Troubitsyna and
Linas Laibinis},
editor = {Elena Troubitsyna},
title = {Quantitative Verification of System Safety in Event-B},
booktitle = {Software Engineering for Resilient Systems - Third International Workshop,
{SERENE} 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6968},
pages = {24--39},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24124-6\_3},
doi = {10.1007/978-3-642-24124-6\_3},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/serene/TarasyukTL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/serene/2011,
editor = {Elena Troubitsyna},
title = {Software Engineering for Resilient Systems - Third International Workshop,
{SERENE} 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6968},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24124-6},
doi = {10.1007/978-3-642-24124-6},
isbn = {978-3-642-24123-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijertcs/LaibinisTL10,
author = {Linas Laibinis and
Elena Troubitsyna and
Sari Lepp{\"{a}}nen},
title = {Service-Oriented Development of Fault Tolerant Communicating Systems:
Refinement Approach},
journal = {Int. J. Embed. Real Time Commun. Syst.},
volume = {1},
number = {2},
pages = {61--85},
year = {2010},
url = {https://doi.org/10.4018/jertcs.2010040104},
doi = {10.4018/JERTCS.2010040104},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijertcs/LaibinisTL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/IliasovTLRVIL10,
author = {Alexei Iliasov and
Elena Troubitsyna and
Linas Laibinis and
Alexander B. Romanovsky and
Kimmo Varpaaniemi and
Dubravka Ilic and
Timo Latvala},
editor = {Marc Frappier and
Uwe Gl{\"{a}}sser and
Sarfraz Khurshid and
R{\'{e}}gine Laleau and
Steve Reeves},
title = {Supporting Reuse in Event {B} Development: Modularisation Approach},
booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
{ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5977},
pages = {174--188},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11811-1\_14},
doi = {10.1007/978-3-642-11811-1\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/IliasovTLRVIL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/IliasovTLRVIL10,
author = {Alexei Iliasov and
Elena Troubitsyna and
Linas Laibinis and
Alexander B. Romanovsky and
Kimmo Varpaaniemi and
Dubravka Ilic and
Timo Latvala},
editor = {Stefan Kowalewski and
Marco Roveri},
title = {Developing Mode-Rich Satellite Software by Refinement in Event {B}},
booktitle = {Formal Methods for Industrial Critical Systems - 15th International
Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6371},
pages = {50--66},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15898-8\_4},
doi = {10.1007/978-3-642-15898-8\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/IliasovTLRVIL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/Troubitsyna10,
author = {Elena Troubitsyna},
editor = {Jon G. Hall and
Hermann Kaindl and
Luigi Lavazza and
Georg Buchgeher and
Osamu Takaki},
title = {Developing Fault Tolerant Distributed Systems by Refinement},
booktitle = {The Fifth International Conference on Software Engineering Advances,
{ICSEA} 2010, 22-27 August 2010, Nice, France},
pages = {178--183},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICSEA.2010.34},
doi = {10.1109/ICSEA.2010.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsea/Troubitsyna10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/TarasyukTL10,
author = {Anton Tarasyuk and
Elena Troubitsyna and
Linas Laibinis},
editor = {Dominique M{\'{e}}ry and
Stephan Merz},
title = {Towards Probabilistic Modelling in Event-B},
booktitle = {Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6396},
pages = {275--289},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16265-7\_20},
doi = {10.1007/978-3-642-16265-7\_20},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/TarasyukTL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/IliasovTLRVVIL10,
author = {Alexei Iliasov and
Elena Troubitsyna and
Linas Laibinis and
Alexander B. Romanovsky and
Kimmo Varpaaniemi and
Pauli V{\"{a}}is{\"{a}}nen and
Dubravka Ilic and
Timo Latvala},
editor = {Erwin Schoitsch},
title = {Verifying Mode Consistency for On-Board Satellite Software},
booktitle = {Computer Safety, Reliability, and Security, 29th International Conference,
{SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6351},
pages = {126--141},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15651-9\_10},
doi = {10.1007/978-3-642-15651-9\_10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/IliasovTLRVVIL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/TarasyukTL10,
author = {Anton Tarasyuk and
Elena Troubitsyna and
Linas Laibinis},
editor = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald},
title = {Augmenting formal development of control systems with quantitative
reliability assessment},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering
for Resilient Systems, {SERENE} '10, London, United Kingdom, April
15-16, 2010},
pages = {61--70},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2401736.2401743},
doi = {10.1145/2401736.2401743},
timestamp = {Mon, 22 Jul 2019 17:31:47 +0200},
biburl = {https://dblp.org/rec/conf/serene/TarasyukTL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/IliasovTLR09,
author = {Alexei Iliasov and
Elena Troubitsyna and
Linas Laibinis and
Alexander B. Romanovsky},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Patterns for Refinement Automation},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {70--88},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_4},
doi = {10.1007/978-3-642-17071-3\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/IliasovTLR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/LaibinisTL09,
author = {Linas Laibinis and
Elena Troubitsyna and
Sari Lepp{\"{a}}nen},
editor = {Michael J. Butler and
Cliff B. Jones and
Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Formal Reasoning about Fault Tolerance and Parallelism in Communicating
Systems},
booktitle = {Methods, Models and Tools for Fault Tolerance},
series = {Lecture Notes in Computer Science},
volume = {5454},
pages = {130--151},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00867-2\_7},
doi = {10.1007/978-3-642-00867-2\_7},
timestamp = {Sun, 02 Jun 2019 20:42:25 +0200},
biburl = {https://dblp.org/rec/series/lncs/LaibinisTL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2009P9381,
editor = {Jean{-}Raymond Abrial and
Michael J. Butler and
Rajev Joshi and
Elena Troubitsyna and
J. C. P. Woodcock},
title = {Refinement Based Methods for the Construction of Dependable Systems,
13.09. - 18.09.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09381},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09381/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2009P9381.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/5454,
editor = {Michael J. Butler and
Cliff B. Jones and
Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Methods, Models and Tools for Fault Tolerance},
series = {Lecture Notes in Computer Science},
volume = {5454},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00867-2},
doi = {10.1007/978-3-642-00867-2},
isbn = {978-3-642-00866-5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/5454.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AbrialBJTW09,
author = {Jean{-}Raymond Abrial and
Michael J. Butler and
Rajev Joshi and
Elena Troubitsyna and
J. C. P. Woodcock},
editor = {Jean{-}Raymond Abrial and
Michael J. Butler and
Rajev Joshi and
Elena Troubitsyna and
J. C. P. Woodcock},
title = {09381 Extended Abstracts Collection - Refinement Based Methods for
the Construction of Dependable Systems},
booktitle = {Refinement Based Methods for the Construction of Dependable Systems,
13.09. - 18.09.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09381},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2374/},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AbrialBJTW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icons/Troubitsyna08,
author = {Elena Troubitsyna},
title = {Elicitation and Specification of Safety Requirements},
booktitle = {The Third International Conference on Systems, {ICONS} 2008, April
13-18, 2008, Cancun, Mexico},
pages = {202--207},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICONS.2008.56},
doi = {10.1109/ICONS.2008.56},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icons/Troubitsyna08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KharchenkoPPPRT08,
author = {Vyacheslav Kharchenko and
Chris Phillips and
Peter T. Popov and
Oksana Pomorova and
Alexander B. Romanovsky and
Elena Troubitsyna},
editor = {Ivica Crnkovic and
Jerzy R. Nawrocki},
title = {{MASTAC:} new curriculum for master and doctoral studies in critical
software and computing},
booktitle = {Proceedings of the 2008 International Workshop on Software Engineering
in East and South Europe, {SEESE} '08, Leipzig, Germany, May 13, 2008},
pages = {59--64},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370868.1370879},
doi = {10.1145/1370868.1370879},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KharchenkoPPPRT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/LaibinisTIR08,
author = {Linas Laibinis and
Elena Troubitsyna and
Alexei Iliasov and
Alexander B. Romanovsky},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {Formal development of cooperative exception handling for mobile agent
systems},
booktitle = {{SERENE} 2008, {RISE/EFTS} Joint International Workshop on Software
Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November
17-19, 2008},
pages = {39--48},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1479772.1479779},
doi = {10.1145/1479772.1479779},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/LaibinisTIR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/IliasovRALT07,
author = {Alexei Iliasov and
Alexander B. Romanovsky and
Budi Arief and
Linas Laibinis and
Elena Troubitsyna},
title = {On Rigorous Design and Implementation of Fault Tolerant Ambient Systems},
booktitle = {Tenth {IEEE} International Symposium on Object-Oriented Real-Time
Distributed Computing {(ISORC} 2007), 7-9 May 2007, Santorini Island,
Greece},
pages = {141--145},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ISORC.2007.46},
doi = {10.1109/ISORC.2007.46},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/IliasovRALT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/IlicTLL06,
author = {Dubravka Ilic and
Elena Troubitsyna and
Linas Laibinis and
Sari Lepp{\"{a}}nen},
title = {Formal Verification of Consistency in Model-Driven Development of
Distributed Communicating Systems and Communication Protocols},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {425--432},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.40},
doi = {10.1109/ISOLA.2006.40},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/IlicTLL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rodin/IlicTLS06,
author = {Dubravka Ilic and
Elena Troubitsyna and
Linas Laibinis and
Colin F. Snook},
editor = {Michael J. Butler and
Cliff B. Jones and
Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Formal Development of Mechanisms for Tolerating Transient Faults},
booktitle = {Rigorous Development of Complex Fault-Tolerant Systems {[FP6} {IST-511599}
{RODIN} project]},
series = {Lecture Notes in Computer Science},
volume = {4157},
pages = {189--209},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11916246\_10},
doi = {10.1007/11916246\_10},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/rodin/IlicTLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rodin/LaibinisTIR06,
author = {Linas Laibinis and
Elena Troubitsyna and
Alexei Iliasov and
Alexander B. Romanovsky},
editor = {Michael J. Butler and
Cliff B. Jones and
Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Rigorous Development of Fault-Tolerant Agent Systems},
booktitle = {Rigorous Development of Complex Fault-Tolerant Systems {[FP6} {IST-511599}
{RODIN} project]},
series = {Lecture Notes in Computer Science},
volume = {4157},
pages = {241--260},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11916246\_13},
doi = {10.1007/11916246\_13},
timestamp = {Thu, 22 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rodin/LaibinisTIR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rodin/LaibinisTLLM06,
author = {Linas Laibinis and
Elena Troubitsyna and
Sari Lepp{\"{a}}nen and
Johan Lilius and
Qaisar A. Malik},
editor = {Michael J. Butler and
Cliff B. Jones and
Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Formal Service-Oriented Development of Fault Tolerant Communicating
Systems},
booktitle = {Rigorous Development of Complex Fault-Tolerant Systems {[FP6} {IST-511599}
{RODIN} project]},
series = {Lecture Notes in Computer Science},
volume = {4157},
pages = {261--287},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11916246\_14},
doi = {10.1007/11916246\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rodin/LaibinisTLLM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rodin/2006,
editor = {Michael J. Butler and
Cliff B. Jones and
Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Rigorous Development of Complex Fault-Tolerant Systems {[FP6} {IST-511599}
{RODIN} project]},
series = {Lecture Notes in Computer Science},
volume = {4157},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11916246},
doi = {10.1007/11916246},
isbn = {3-540-48265-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rodin/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LaibinisTLLM05,
author = {Linas Laibinis and
Elena Troubitsyna and
Sari Lepp{\"{a}}nen and
Johan Lilius and
Qaisar A. Malik},
editor = {Kung{-}Kiu Lau and
Richard Banach},
title = {Formal Model-Driven Development of Communicating Systems},
booktitle = {Formal Methods and Software Engineering, 7th International Conference
on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
1-4, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3785},
pages = {188--203},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11576280\_14},
doi = {10.1007/11576280\_14},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/LaibinisTLLM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/IlicT05,
author = {Dubravka Ilic and
Elena Troubitsyna},
title = {Formal Development of Software for Tolerating Transient Faults},
booktitle = {11th {IEEE} Pacific Rim International Symposium on Dependable Computing
{(PRDC} 2005), 12-14 December, 2005, Changsha, Hunan, China},
pages = {140--150},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/PRDC.2005.34},
doi = {10.1109/PRDC.2005.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/IlicT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/LaibinisT05,
author = {Linas Laibinis and
Elena Troubitsyna},
editor = {Nicolas Guelfi and
Anthony Savidis},
title = {Formal Development of Reactive Fault Tolerant Systems},
booktitle = {Rapid Integration of Software Engineering Techniques, Second International
Workshop, {RISE} 2005, Heraklion, Crete, Greece, September 8-9, 2005,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3943},
pages = {234--249},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11751113\_17},
doi = {10.1007/11751113\_17},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/rise/LaibinisT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/LaibinisT04,
author = {Linas Laibinis and
Elena Troubitsyna},
editor = {Maritta Heisel and
Peter Liggesmeyer and
Stefan Wittmann},
title = {Refinement of Fault Tolerant Control Systems in {B}},
booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
{SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3219},
pages = {254--268},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30138-7\_22},
doi = {10.1007/978-3-540-30138-7\_22},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/LaibinisT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LaibinisT04,
author = {Linas Laibinis and
Elena Troubitsyna},
title = {Fault Tolerance in a Layered Architecture: {A} General Specification
Pattern in {B}},
booktitle = {2nd International Conference on Software Engineering and Formal Methods
{(SEFM} 2004), 28-30 September 2004, Beijing, China},
pages = {346--355},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.16},
doi = {10.1109/SEFM.2004.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/LaibinisT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/Troubitsyna04,
author = {Elena Troubitsyna},
editor = {Hamid R. Arabnia and
Hassan Reza},
title = {A Formal Approach to Fault Tolerance in Parallel Systems},
booktitle = {Proceedings of the International Conference on Software Engineering
Research and Practice, {SERP} '04, June 21-24, 2004, Las Vegas, Nevada,
USA, Volume 2},
pages = {510--515},
publisher = {{CSREA} Press},
year = {2004},
timestamp = {Fri, 19 Nov 2004 15:25:03 +0100},
biburl = {https://dblp.org/rec/conf/serp/Troubitsyna04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/Troubitsyna03,
author = {Elena Troubitsyna},
title = {Integrating Safety Analysis into Formal Specification of Dependable
Systems},
booktitle = {17th International Parallel and Distributed Processing Symposium {(IPDPS}
2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings},
pages = {215},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/IPDPS.2003.1213394},
doi = {10.1109/IPDPS.2003.1213394},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/Troubitsyna03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Troubitsyna99,
author = {Elena Troubitsyna},
title = {Reliability Assessment through Probabilistic Refinement},
journal = {Nord. J. Comput.},
volume = {6},
number = {3},
pages = {320--342},
year = {1999},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Troubitsyna99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SereT99,
author = {Kaisa Sere and
Elena Troubitsyna},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Safety Analysis in Formal Specification},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {1564--1583},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_33},
doi = {10.1007/3-540-48118-4\_33},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/SereT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/Troubitsyna99,
author = {Elena Troubitsyna},
title = {Enhancing Dependability via Parameterized Refinement},
booktitle = {1999 Pacific Rim International Symposium on Dependable Computing {(PRDC}
1999), 16-17 December 1999, Hong Kong},
pages = {120},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/PRDC.1999.816221},
doi = {10.1109/PRDC.1999.816221},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/Troubitsyna99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SereT99,
author = {Kaisa Sere and
Elena Troubitsyna},
editor = {Massimo Felici and
Karama Kanoun and
Alberto Pasquini},
title = {Hazard Analysis in Formal Specification},
booktitle = {Computer Safety, Reliability and Security, 18th International Conference,
SAFECOMP'99, Toulouse, France, September, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1698},
pages = {350--360},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48249-0\_30},
doi = {10.1007/3-540-48249-0\_30},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/SereT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-19 23:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
