Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDElena Troubitsyna
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j13]Inna Vistbakka
, Elena Troubitsyna:
Modelling resilient collaborative multi-agent systems. Computing 103(4): 535-557 (2021)- 2020
- [j12]Adnan Ashraf, Amin Majd, Elena Troubitsyna:
Online Path Generation and Navigation for Swarms of UAVs. Sci. Program. 2020: 8530763:1-8530763:14 (2020) - [c83]Inna Vistbakka, Elena Troubitsyna:
Analysing Privacy-Preserving Constraints in Microservices Architecture. COMPSAC 2020: 1089-1090 - [c82]Inna Vistbakka, Elena Troubitsyna:
Modelling and Verification of Safety of Access Control in SCADA Systems. CRiSIS 2020: 354-364 - [c81]Inna Vistbakka, Elena Troubitsyna:
Formalising Privacy-Preserving Constraints in Microservices Architecture. ICFEM 2020: 308-317 - [c80]Inna Vistbakka, Elena Troubitsyna:
Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B. PAAMS 2020: 327-339 - [e10]Brijesh Dongol, Elena Troubitsyna:
Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings. Lecture Notes in Computer Science 12546, Springer 2020, ISBN 978-3-030-63460-5 [contents]
2010 – 2019
- 2019
- [j11]Irum Rauf, Elena Troubitsyna, Ivan Porres:
A systematic mapping study of API usability evaluation methods. Comput. Sci. Rev. 33: 49-68 (2019) - [c79]Elena Troubitsyna:
Multi-Concern Integrated Engineering of Dependable Intelligent Systems. DASC/PiCom/DataCom/CyberSciTech 2019: 710-715 - [c78]Maghsood Salimi, Amin Majd, Mohammad Loni, Tiberiu Seceleanu, Cristina Seceleanu, Marjan Sirjani, Masoud Daneshtalab, Elena Troubitsyna:
Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments. ECBS 2019: 13:1-13:9 - [c77]Inna Vistbakka, Elena Troubitsyna, Amin Majd:
Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective. HASE 2019: 58-65 - [c76]Inna Vistbakka, Elena Troubitsyna:
Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems. IMBSA 2019: 363-378 - [c75]Amin Majd, Mohammad Loni, Golnaz Sahebi, Masoud Daneshtalab, Elena Troubitsyna:
A Cloud Based Super-Optimization Method to Parallelize the Sequential Code's Nested Loops. MCSoC 2019: 281-287 - [c74]Inna Vistbakka, Elena Troubitsyna:
Modelling Autonomous Resilient Multi-robotic Systems. SERENE 2019: 29-45 - [e9]Alexander B. Romanovsky, Elena Troubitsyna, Friedemann Bitsch:
Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings. Lecture Notes in Computer Science 11698, Springer 2019, ISBN 978-3-030-26600-4 [contents] - [e8]Alexander B. Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch:
Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings. Lecture Notes in Computer Science 11699, Springer 2019, ISBN 978-3-030-26249-5 [contents] - [i5]Adnan Ashraf, Amin Majd, Elena Troubitsyna:
Online Path Generation and Navigation for Swarms of UAVs. CoRR abs/1912.09288 (2019) - 2018
- [c73]Inna Vistbakka, Mikhail Barash, Elena Troubitsyna:
Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. ABZ 2018: 386-391 - [c72]Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud Daneshtalab:
Using Optimization, Learning, and Drone Reflexes to Maximize Safety of Swarms of Drones. CEC 2018: 1-8 - [c71]Elena Troubitsyna, Irum Rauf:
Generating Cloud Monitors from Models to Secure Clouds. DSN 2018: 526-533 - [c70]Inna Vistbakka, Elena Troubitsyna:
Towards a Formal Approach to Analysing Security of Safety-Critical Systems. EDCC 2018: 182-189 - [c69]Inna Vistbakka, Amin Majd, Elena Troubitsyna:
Deriving Mode Logic for Autonomous Resilient Systems. ICFEM 2018: 320-336 - [c68]Irum Rauf, Inna Vistbakka, Elena Troubitsyna:
Formal Verification of Stateful Services with REST APIs Using Event-B. ICWS 2018: 131-138 - [c67]Mohammad Loni, Amin Majd, Abdolah Loni, Masoud Daneshtalab, Mikael Sjödin, Elena Troubitsyna:
Designing Compact Convolutional Neural Network for Embedded Stereo Vision Systems. MCSoC 2018: 244-251 - [c66]Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud Daneshtalab:
Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones. PDP 2018: 101-108 - [c65]Elena Troubitsyna, Inna Vistbakka:
Deriving and Formalising Safety and Security Requirements for Control Systems. SAFECOMP 2018: 107-122 - [c64]Inna Vistbakka, Amin Majd, Elena Troubitsyna:
Multi-layered Approach to Safe Navigation of Swarms of Drones. SAFECOMP Workshops 2018: 112-125 - [c63]Inna Vistbakka, Elena Troubitsyna:
Modelling and Verification of Dynamic Role-Based Access Control. VECoS 2018: 48-63 - [e7]Régine Laleau, Dominique Méry, Shin Nakajima, Elena Troubitsyna:
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. EPTCS 271, 2018 [contents] - 2017
- [j10]Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna:
Formal reasoning about resilient goal-oriented multi-agent systems. Sci. Comput. Program. 148: 66-87 (2017) - [c62]Amin Majd, Elena Troubitsyna:
Data-driven approach to ensuring fault tolerance and efficiency of swarm systems. IEEE BigData 2017: 4792-4794 - [c61]Adnan Ashraf, Amin Majd, Elena Troubitsyna:
Towards a realtime, collision-free motion coordination and navigation system for a UAV fleet. ECBS 2017: 11:1-11:9 - [c60]Amin Majd, Masoud Daneshtalab, Elena Troubitsyna, Golnaz Sahebi:
Optimal smart mobile access point placement for maximal coverage and minimal communication. ECBS 2017: 21:1-21:2 - [c59]Amin Majd, Elena Troubitsyna:
Integrating Safety-Aware Route Optimisation and Run-Time Safety Monitoring in Controlling Swarms of Drones. ISSRE Workshops 2017: 94-95 - [c58]Amin Majd, Elena Troubitsyna, Masoud Daneshtalab:
Safety-Aware Control of Swarms of Drones. SAFECOMP Workshops 2017: 249-260 - [c57]Irum Rauf, Elena Troubitsyna:
Towards a Model-Driven Security Assurance of Open Source Components. SERENE 2017: 65-80 - [c56]Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala:
Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook. SERENE 2017: 96-114 - [c55]Amin Majd, Golnaz Sahebi, Masoud Daneshtalab, Elena Troubitsyna:
Optimizing scheduling for heterogeneous computing systems using combinatorial meta-heuristic solution. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017: 1-8 - [c54]Irum Rauf, Elena Troubitsyna:
Securing Open Source Clouds Using Models. IMPEX/FM&MDD 2017: 80-94 - [c53]Inna Vistbakka, Elena Troubitsyna:
Towards Integrated Modelling of Dynamic Access Control with UML and Event-B. IMPEX/FM&MDD 2017: 105-116 - [e6]Alexander B. Romanovsky, Elena Troubitsyna:
Software Engineering for Resilient Systems - 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings. Lecture Notes in Computer Science 10479, Springer 2017, ISBN 978-3-319-65947-3 [contents] - 2016
- [c52]Elena Troubitsyna:
An Integrated Approach to Deriving Safety and Security Requirements from Safety Cases. COMPSAC Workshops 2016: 614-615 - [c51]Alexei Iliasov, Alexander B. Romanovsky, Elena Troubitsyna, Linas Laibinis:
Formalisation-Driven Development of Safety-Critical Systems. HASE 2016: 165-172 - [c50]Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns:
A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks. ICFEM 2016: 141-158 - [c49]Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala:
Towards Security-Explicit Formal Modelling of Safety-Critical Systems. SAFECOMP 2016: 213-225 - [p3]Linas Laibinis, Elena Troubitsyna:
A Contract-Based Approach to Ensuring Component Interoperability in Event-B. From Action Systems to Distributed Systems 2016: 81-96 - [e5]Ivica Crnkovic, Elena Troubitsyna:
Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings. Lecture Notes in Computer Science 9823, Springer 2016, ISBN 978-3-319-45891-5 [contents] - 2015
- [j9]Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis:
Integrating stochastic reasoning into Event-B development. Formal Aspects Comput. 27(1): 53-77 (2015) - [j8]Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna:
Facilitating construction of safety cases from formal models in Event-B. Inf. Softw. Technol. 60: 51-76 (2015) - [c48]Elena Troubitsyna, Linas Laibinis:
Towards Visualisation of Resilience Assessment for Large-Scale Systems. HPCC/CSS/ICESS 2015: 924 - [c47]Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala:
The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation. SAFECOMP 2015: 29-43 - [c46]Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander B. Romanovsky:
From Requirements Engineering to Safety Assurance: Refinement Approach. SETTA 2015: 201-216 - 2014
- [j7]Luigia Petre, Elena Troubitsyna, Marina Waldén:
Kaisa Sere: In Memoriam. Formal Aspects Comput. 26(2): 197-201 (2014) - [c45]Inna Pereverzeva, Michael J. Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna:
Formal Derivation of Distributed MapReduce. ABZ 2014: 238-254 - [c44]Linas Laibinis, Benjamin Byholm, Inna Pereverzeva, Elena Troubitsyna, Kuan Eeik Tan, Ivan Porres:
Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. IFM 2014: 103-119 - [c43]Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna:
Modelling Resilient Systems-of-Systems in Event-B. SAFECOMP Workshops 2014: 157-166 - [c42]Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frédéric Migeon, Ahmed Hadj Kacem:
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B. SEFM 2014: 363-377 - [c41]Linas Laibinis, Dmitry M. Klionskiy, Elena Troubitsyna, Anatoly Dorokhov, Johan Lilius, Mikhail Kupriyanov:
Modelling Resilience of Data Processing Capabilities of CPS. SERENE 2014: 55-70 - 2013
- [j6]Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
A refinement-based approach to developing critical multi-agent systems. Int. J. Crit. Comput. Based Syst. 4(1): 69-91 (2013) - [j5]Yuliya Prokhorova, Elena Troubitsyna:
A survey of safety-oriented model-driven and formal development approaches. Int. J. Crit. Comput. Based Syst. 4(2): 93-118 (2013) - [j4]Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala:
Developing mode-rich satellite software by refinement in Event-B. Sci. Comput. Program. 78(7): 884-905 (2013) - [c40]Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg, Mikko Pöri:
Formal Modelling of Resilient Data Storage in Cloud. ICFEM 2013: 363-379 - [c39]Elena Troubitsyna:
Performance challenge to resilience: A formal view. HPCS 2013: 555 - [c38]Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala:
Formalisation of an Industrial Approach to Monitoring Critical Data. SAFECOMP 2013: 57-69 - [c37]Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis:
A Case Study in Refinement-Based Modelling of a Resilient Control System. SERENE 2013: 79-93 - [c36]Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
Formal Development and Quantitative Assessment of a Resilient Multi-robotic System. SERENE 2013: 109-124 - [p2]Dubravka Ilic, Linas Laibinis, Timo Latvala, Elena Troubitsyna, Kimmo Varpaaniemi:
Deployment in the Space Sector. Industrial Deployment of System Engineering Methods 2013: 45-62 - [i4]Maritta Heisel, Mohamed Kaâniche, Alexander B. Romanovsky, Elena Troubitsyna:
Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022). Dagstuhl Reports 3(1): 30-46 (2013) - 2012
- [j3]Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala:
Deriving a mode logic using failure modes and effects analysis. Int. J. Crit. Comput. Based Syst. 3(4): 305-328 (2012) - [c35]Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
Formal Goal-Oriented Development of Resilient MAS in Event-B. Ada-Europe 2012: 147-161 - [c34]Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
Formal Development of Critical Multi-agent Systems: A Refinement Approach. EDCC 2012: 156-161 - [c33]Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala:
Augmenting Event-B modelling with real-time verification. FormSERA@ICSE 2012: 51-57 - [c32]Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis:
Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. IFM 2012: 237-252 - [c31]Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila:
Formal Development and Assessment of a Reconfigurable On-board Satellite System. SAFECOMP 2012: 210-222 - [c30]Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
A Case Study in Formal Development of a Fault Tolerant Multi-robotic System. SERENE 2012: 16-31 - [c29]Yuliya Prokhorova, Elena Troubitsyna:
Linking Modelling in Event-B with Safety Cases. SERENE 2012: 47-62 - [i3]Elena Troubitsyna:
Dependability-Explicit Engineering with Event-B: Overview of Recent Achievements. CoRR abs/1210.7032 (2012) - [i2]Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B. CoRR abs/1210.7035 (2012) - 2011
- [c28]Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala:
Derivation and Formal Verification of a Mode Logic for Layered Control Systems. APSEC 2011: 49-56 - [c27]Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky, Yuliya Prokhorova, Elena Troubitsyna:
Patterns for Representing FMEA in Formal Specification of Control Systems. HASE 2011: 146-151 - [c26]Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky:
Formal Derivation of a Distributed Program in Event B. ICFEM 2011: 420-436 - [c25]Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis:
Quantitative Verification of System Safety in Event-B. SERENE 2011: 24-39 - [e4]Elena Troubitsyna:
Software Engineering for Resilient Systems - Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings. Lecture Notes in Computer Science 6968, Springer 2011, ISBN 978-3-642-24123-9 [contents] - 2010
- [j2]Linas Laibinis, Elena Troubitsyna, Sari Leppänen:
Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach. Int. J. Embed. Real Time Commun. Syst. 1(2): 61-85 (2010) - [c24]Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala:
Supporting Reuse in Event B Development: Modularisation Approach. ASM 2010: 174-188 - [c23]Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala:
Developing Mode-Rich Satellite Software by Refinement in Event B. FMICS 2010: 50-66 - [c22]Elena Troubitsyna:
Developing Fault Tolerant Distributed Systems by Refinement. ICSEA 2010: 178-183 - [c21]Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis:
Towards Probabilistic Modelling in Event-B. IFM 2010: 275-289 - [c20]Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala:
Verifying Mode Consistency for On-Board Satellite Software. SAFECOMP 2010: 126-141 - [c19]Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis:
Augmenting formal development of control systems with quantitative reliability assessment. SERENE 2010: 61-70
2000 – 2009
- 2009
- [c18]Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky:
Patterns for Refinement Automation. FMCO 2009: 70-88 - [p1]Linas Laibinis, Elena Troubitsyna, Sari Leppänen:
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems. Methods, Models and Tools for Fault Tolerance 2009: 130-151 - [e3]Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock:
Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. Dagstuhl Seminar Proceedings 09381, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [e2]Michael J. Butler, Cliff B. Jones, Alexander B. Romanovsky, Elena Troubitsyna:
Methods, Models and Tools for Fault Tolerance. Lecture Notes in Computer Science 5454, Springer 2009, ISBN 978-3-642-00866-5 [contents] - [i1]Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock:
09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems. Refinement Based Methods for the Construction of Dependable Systems 2009 - 2008
- [c17]Elena Troubitsyna:
Elicitation and Specification of Safety Requirements. ICONS 2008: 202-207 - [c16]Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky:
Formal development of cooperative exception handling for mobile agent systems. SERENE 2008: 39-48 - 2007
- [c15]Alexei Iliasov, Alexander B. Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna:
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. ISORC 2007: 141-145 - 2006
- [c14]Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppänen:
Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. ISoLA 2006: 425-432 - [c13]Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook:
Formal Development of Mechanisms for Tolerating Transient Faults. RODIN Book 2006: 189-209 - [c12]Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky:
Rigorous Development of Fault-Tolerant Agent Systems. RODIN Book 2006: 241-260 - [c11]Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik:
Formal Service-Oriented Development of Fault Tolerant Communicating Systems. RODIN Book 2006: 261-287 - [e1]Michael J. Butler, Cliff B. Jones, Alexander B. Romanovsky, Elena Troubitsyna:
Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project]. Lecture Notes in Computer Science 4157, Springer 2006, ISBN 3-540-48265-2 [contents] - 2005
- [c10]Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik:
Formal Model-Driven Development of Communicating Systems. ICFEM 2005: 188-203 - [c9]Dubravka Ilic, Elena Troubitsyna:
Formal Development of Software for Tolerating Transient Faults. PRDC 2005: 140-150 - [c8]Linas Laibinis, Elena Troubitsyna:
Formal Development of Reactive Fault Tolerant Systems. RISE 2005: 234-249 - 2004
- [c7]Linas Laibinis, Elena Troubitsyna:
Refinement of Fault Tolerant Control Systems in B. SAFECOMP 2004: 254-268 - [c6]Linas Laibinis, Elena Troubitsyna:
Fault Tolerance in a Layered Architecture: A General Specification Pattern in B. SEFM 2004: 346-355 - [c5]Elena Troubitsyna:
A Formal Approach to Fault Tolerance in Parallel Systems. Software Engineering Research and Practice 2004: 510-515 - 2003
- [c4]Elena Troubitsyna:
Integrating Safety Analysis into Formal Specification of Dependable Systems. IPDPS 2003: 215
1990 – 1999
- 1999
- [j1]Elena Troubitsyna:
Reliability Assessment through Probabilistic Refinement. Nord. J. Comput. 6(3): 320-342 (1999) - [c3]Kaisa Sere, Elena Troubitsyna:
Safety Analysis in Formal Specification. World Congress on Formal Methods 1999: 1564-1583 - [c2]Elena Troubitsyna:
Enhancing Dependability via Parameterized Refinement. PRDC 1999: 120- - [c1]Kaisa Sere, Elena Troubitsyna:
Hazard Analysis in Formal Specification. SAFECOMP 1999: 350-360
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-05-01 00:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
