The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Elena Troubitsyna" ( http://dblp.L3S.de/Authors/Elena_Troubitsyna )

  Author page on DBLP  Author page in RDF  Community of Elena Troubitsyna in ASPL-2

Publication years (Num. hits)
1999-2006 (16) 2007-2011 (19) 2012-2013 (20) 2014-2016 (17) 2017-2018 (24) 2019 (1)
Publication types (Num. hits)
article(13) book(1) incollection(3) inproceedings(74) proceedings(6)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 21 occurrences of 15 keywords

Results
Found 98 publication records. Showing 97 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Inna Vistbakka, Elena Troubitsyna, Amin Majd Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective. Search on Bibsonomy HASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Régine Laleau, Dominique Méry, Shin Nakajima 0001, Elena Troubitsyna (eds.) 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, and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD) Xi'An, China, 16th November 2017. Search on Bibsonomy IMPEX/FM&MDD The full citation details ... 2018 DBLP  BibTeX  RDF
1Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud Daneshtalab Using Optimization, Learning, and Drone Reflexes to Maximize Safety of Swarms of Drones. Search on Bibsonomy CEC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Elena Troubitsyna, Irum Rauf Generating Cloud Monitors from Models to Secure Clouds. Search on Bibsonomy DSN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Inna Vistbakka, Amin Majd, Elena Troubitsyna Deriving Mode Logic for Autonomous Resilient Systems. Search on Bibsonomy ICFEM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Elena Troubitsyna, Inna Vistbakka Deriving and Formalising Safety and Security Requirements for Control Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Inna Vistbakka, Amin Majd, Elena Troubitsyna Multi-layered Approach to Safe Navigation of Swarms of Drones. Search on Bibsonomy SAFECOMP Workshops The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Irum Rauf, Inna Vistbakka, Elena Troubitsyna Formal Verification of Stateful Services with REST APIs Using Event-B. Search on Bibsonomy ICWS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Inna Vistbakka, Elena Troubitsyna Modelling and Verification of Dynamic Role-Based Access Control. Search on Bibsonomy VECoS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Inna Vistbakka, Elena Troubitsyna Towards a Formal Approach to Analysing Security of Safety-Critical Systems. Search on Bibsonomy EDCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud Daneshtalab Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones. Search on Bibsonomy PDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohammad Loni, Amin Majd, Abdolah Loni, Masoud Daneshtalab, Mikael Sjödin, Elena Troubitsyna Designing Compact Convolutional Neural Network for Embedded Stereo Vision Systems. Search on Bibsonomy MCSoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Inna Vistbakka, Mikhail Barash, Elena Troubitsyna Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. Search on Bibsonomy ABZ The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna Formal reasoning about resilient goal-oriented multi-agent systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Irum Rauf, Elena Troubitsyna Securing Open Source Clouds Using Models. Search on Bibsonomy IMPEX/FM&MDD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Inna Vistbakka, Elena Troubitsyna Towards Integrated Modelling of Dynamic Access Control with UML and Event-B. Search on Bibsonomy IMPEX/FM&MDD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amin Majd, Elena Troubitsyna Integrating Safety-Aware Route Optimisation and Run-Time Safety Monitoring in Controlling Swarms of Drones. Search on Bibsonomy ISSRE Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amin Majd, Elena Troubitsyna, Masoud Daneshtalab Safety-Aware Control of Swarms of Drones. Search on Bibsonomy SAFECOMP Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amin Majd, Elena Troubitsyna Data-driven approach to ensuring fault tolerance and efficiency of swarm systems. Search on Bibsonomy BigData The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook. Search on Bibsonomy SERENE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Irum Rauf, Elena Troubitsyna Towards a Model-Driven Security Assurance of Open Source Components. Search on Bibsonomy SERENE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexander B. Romanovsky, Elena Troubitsyna (eds.) Software Engineering for Resilient Systems - 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings Search on Bibsonomy SERENE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Adnan Ashraf, Amin Majd, Elena Troubitsyna Towards a realtime, collision-free motion coordination and navigation system for a UAV fleet. Search on Bibsonomy ECBS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amin Majd, Masoud Daneshtalab, Elena Troubitsyna, Golnaz Sahebi Optimal smart mobile access point placement for maximal coverage and minimal communication. Search on Bibsonomy ECBS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amin Majd, Golnaz Sahebi, Masoud Daneshtalab, Elena Troubitsyna Optimizing scheduling for heterogeneous computing systems using combinatorial meta-heuristic solution. Search on Bibsonomy SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Linas Laibinis, Elena Troubitsyna A Contract-Based Approach to Ensuring Component Interoperability in Event-B. Search on Bibsonomy From Action Systems to Distributed Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala Towards Security-Explicit Formal Modelling of Safety-Critical Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ivica Crnkovic, Elena Troubitsyna (eds.) Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings Search on Bibsonomy SERENE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elena Troubitsyna An Integrated Approach to Deriving Safety and Security Requirements from Safety Cases. Search on Bibsonomy COMPSAC Workshops The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Alexander B. Romanovsky, Elena Troubitsyna, Linas Laibinis Formalisation-Driven Development of Safety-Critical Systems. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis Integrating stochastic reasoning into Event-B development. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna Facilitating construction of safety cases from formal models in Event-B. Search on Bibsonomy Information & Software Technology The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander B. Romanovsky From Requirements Engineering to Safety Assurance: Refinement Approach. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elena Troubitsyna, Linas Laibinis Towards Visualisation of Resilience Assessment for Large-Scale Systems. Search on Bibsonomy HPCC/CSS/ICESS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luigia Petre, Elena Troubitsyna, Marina Waldén Kaisa Sere: In Memoriam. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna Modelling Resilient Systems-of-Systems in Event-B. Search on Bibsonomy SAFECOMP Workshops The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frédéric Migeon, Ahmed Hadj Kacem Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B. Search on Bibsonomy SEFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Linas Laibinis, Dmitry M. Klionskiy, Elena Troubitsyna, Anatoly Dorokhov, Johan Lilius, Mikhail Kupriyanov Modelling Resilience of Data Processing Capabilities of CPS. Search on Bibsonomy SERENE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Linas 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. Search on Bibsonomy IFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Inna Pereverzeva, Michael J. Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna Formal Derivation of Distributed MapReduce. Search on Bibsonomy ABZ The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala Developing mode-rich satellite software by refinement in Event-B. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Maritta Heisel, Mohamed Kaâniche, Alexander B. Romanovsky, Elena Troubitsyna Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yuliya Prokhorova, Elena Troubitsyna A survey of safety-oriented model-driven and formal development approaches. Search on Bibsonomy IJCCBS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis A refinement-based approach to developing critical multi-agent systems. Search on Bibsonomy IJCCBS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dubravka Ilic, Linas Laibinis, Timo Latvala, Elena Troubitsyna, Kimmo Varpaaniemi Deployment in the Space Sector. Search on Bibsonomy Industrial Deployment of System Engineering Methods The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg, Mikko Pöri Formal Modelling of Resilient Data Storage in Cloud. Search on Bibsonomy ICFEM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala Formalisation of an Industrial Approach to Monitoring Critical Data. Search on Bibsonomy SAFECOMP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis A Case Study in Refinement-Based Modelling of a Resilient Control System. Search on Bibsonomy SERENE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis Formal Development and Quantitative Assessment of a Resilient Multi-robotic System. Search on Bibsonomy SERENE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Elena Troubitsyna Performance challenge to resilience: A formal view. Search on Bibsonomy HPCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Elena Troubitsyna Dependability-Explicit Engineering with Event-B: Overview of Recent Achievements Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala Deriving a mode logic using failure modes and effects analysis. Search on Bibsonomy IJCCBS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila Formal Development and Assessment of a Reconfigurable On-board Satellite System. Search on Bibsonomy SAFECOMP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis Formal Goal-Oriented Development of Resilient MAS in Event-B. Search on Bibsonomy Ada-Europe The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis Formal Development of Critical Multi-agent Systems: A Refinement Approach. Search on Bibsonomy EDCC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yuliya Prokhorova, Elena Troubitsyna Linking Modelling in Event-B with Safety Cases. Search on Bibsonomy SERENE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis A Case Study in Formal Development of a Fault Tolerant Multi-robotic System. Search on Bibsonomy SERENE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. Search on Bibsonomy IFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala Augmenting Event-B modelling with real-time verification. Search on Bibsonomy FormSERA@ICSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky Formal Derivation of a Distributed Program in Event B. Search on Bibsonomy ICFEM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elena Troubitsyna (eds.) Software Engineering for Resilient Systems - Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings Search on Bibsonomy SERENE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis Quantitative Verification of System Safety in Event-B. Search on Bibsonomy SERENE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky, Yuliya Prokhorova, Elena Troubitsyna Patterns for Representing FMEA in Formal Specification of Control Systems. Search on Bibsonomy HASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala Derivation and Formal Verification of a Mode Logic for Layered Control Systems. Search on Bibsonomy APSEC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Linas Laibinis, Elena Troubitsyna, Sari Leppänen Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach. Search on Bibsonomy IJERTCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alexei 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. Search on Bibsonomy SAFECOMP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis Towards Probabilistic Modelling in Event-B. Search on Bibsonomy IFM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala Developing Mode-Rich Satellite Software by Refinement in Event B. Search on Bibsonomy FMICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala Supporting Reuse in Event B Development: Modularisation Approach. Search on Bibsonomy ASM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Elena Troubitsyna Developing Fault Tolerant Distributed Systems by Refinement. Search on Bibsonomy ICSEA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky Patterns for Refinement Automation. Search on Bibsonomy FMCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jean-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. Search on Bibsonomy Refinement Based Methods for the Construction of Dependable Systems The full citation details ... 2009 DBLP  BibTeX  RDF
1Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock (eds.) Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009 Search on Bibsonomy Refinement Based Methods for the Construction of Dependable Systems The full citation details ... 2009 DBLP  BibTeX  RDF
1Linas Laibinis, Elena Troubitsyna, Sari Leppänen Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems. Search on Bibsonomy Methods, Models and Tools for Fault Tolerance The full citation details ... 2009 DBLP  DOI  BibTeX  RDF fault tolerance, UML, B Method, communicating systems, parallel execution, service-oriented development
1Michael J. Butler, Cliff B. Jones, Alexander B. Romanovsky, Elena Troubitsyna (eds.) Methods, Models and Tools for Fault Tolerance Search on Bibsonomy 2009 DBLP  DOI  BibTeX  RDF
1Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky Formal development of cooperative exception handling for mobile agent systems. Search on Bibsonomy SERENE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Elena Troubitsyna Elicitation and Specification of Safety Requirements. Search on Bibsonomy ICONS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF requirements engineering, software development, safety analysis
1Alexei Iliasov, Alexander B. Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. Search on Bibsonomy ISORC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppänen Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. Search on Bibsonomy ISoLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky Rigorous Development of Fault-Tolerant Agent Systems. Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook Formal Development of Mechanisms for Tolerating Transient Faults. Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Transientfaults, refinement, control systems, B Method, FMS
1Michael J. Butler, Cliff B. Jones, Alexander B. Romanovsky, Elena Troubitsyna (eds.) Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project] Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik Formal Service-Oriented Development of Fault Tolerant Communicating Systems. Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fault tolerance, UML, B Method, communicating systems, service-oriented development
1Linas Laibinis, Elena Troubitsyna Formal Development of Reactive Fault Tolerant Systems. Search on Bibsonomy RISE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik Formal Model-Driven Development of Communicating Systems. Search on Bibsonomy ICFEM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Dubravka Ilic, Elena Troubitsyna Formal Development of Software for Tolerating Transient Faults. Search on Bibsonomy PRDC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Elena Troubitsyna A Formal Approach to Fault Tolerance in Parallel Systems. Search on Bibsonomy Software Engineering Research and Practice The full citation details ... 2004 DBLP  BibTeX  RDF
1Linas Laibinis, Elena Troubitsyna Refinement of Fault Tolerant Control Systems in B. Search on Bibsonomy SAFECOMP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Linas Laibinis, Elena Troubitsyna Fault Tolerance in a Layered Architecture: A General Specification Pattern in B. Search on Bibsonomy SEFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Elena Troubitsyna Integrating Safety Analysis into Formal Specification of Dependable Systems. Search on Bibsonomy IPDPS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF failure mode and effect analysis, formal specification, statecharts, actions systems
1Elena Troubitsyna Reliability Assessment through Probabilistic Refinement. Search on Bibsonomy Nord. J. Comput. The full citation details ... 1999 DBLP  BibTeX  RDF
1Kaisa Sere, Elena Troubitsyna Hazard Analysis in Formal Specification. Search on Bibsonomy SAFECOMP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Elena Troubitsyna Enhancing Dependability via Parameterized Refinement. Search on Bibsonomy PRDC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Kaisa Sere, Elena Troubitsyna Safety Analysis in Formal Specification. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #97 of 97 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license