|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 21 occurrences of 15 keywords
|
|
|
|
|
Results
Found 33 publication records. Showing 33 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander Romanovsky |
Formal Derivation of a Distributed Program in Event B.  |
ICFEM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala |
Derivation and Formal Verification of a Mode Logic for Layered Control Systems. |
APSEC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky, Yuliya Prokhorova, Elena Troubitsyna |
Patterns for Representing FMEA in Formal Specification of Control Systems. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Troubitsyna (eds.) |
Software Engineering for Resilient Systems - Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings |
SERENE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis |
Quantitative Verification of System Safety in Event-B. |
SERENE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Linas Laibinis, Elena Troubitsyna, Sari Leppänen |
Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach. |
IJERTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala |
Developing Mode-Rich Satellite Software by Refinement in Event B. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis |
Towards Probabilistic Modelling in Event-B. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala |
Verifying Mode Consistency for On-Board Satellite Software. |
SAFECOMP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Troubitsyna |
Developing Fault Tolerant Distributed Systems by Refinement. |
ICSEA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala |
Supporting Reuse in Event B Development: Modularisation Approach. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.) |
Methods, Models and Tools for Fault Tolerance |
|
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
fault tolerance, UML, B Method, communicating systems, parallel execution, service-oriented development |
| 1 | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky |
Patterns for Refinement Automation. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Troubitsyna |
Elicitation and Specification of Safety Requirements. |
ICONS |
2008 |
DBLP DOI BibTeX RDF |
requirements engineering, software development, safety analysis |
| 1 | Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky |
Formal development of cooperative exception handling for mobile agent systems. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Alexander Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna |
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. |
ISORC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik |
Formal Service-Oriented Development of Fault Tolerant Communicating Systems. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
fault tolerance, UML, B Method, communicating systems, service-oriented development |
| 1 | Michael J. Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.) |
Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project] |
RODIN Book |
2006 |
DBLP BibTeX RDF |
|
| 1 | Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook |
Formal Development of Mechanisms for Tolerating Transient Faults. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
Transientfaults, refinement, control systems, B Method, FMS |
| 1 | Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky |
Rigorous Development of Fault-Tolerant Agent Systems. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Dubravka Ilic, Elena Troubitsyna |
Formal Development of Software for Tolerating Transient Faults. |
PRDC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik |
Formal Model-Driven Development of Communicating Systems. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Linas Laibinis, Elena Troubitsyna |
Formal Development of Reactive Fault Tolerant Systems. |
RISE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Linas Laibinis, Elena Troubitsyna |
Fault Tolerance in a Layered Architecture: A General Specification Pattern in B. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Linas Laibinis, Elena Troubitsyna |
Refinement of Fault Tolerant Control Systems in B. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Troubitsyna |
A Formal Approach to Fault Tolerance in Parallel Systems. |
Software Engineering Research and Practice |
2004 |
DBLP BibTeX RDF |
|
| 1 | Elena Troubitsyna |
Integrating Safety Analysis into Formal Specification of Dependable Systems. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
failure mode and effect analysis, formal specification, statecharts, actions systems |
| 1 | Elena Troubitsyna |
Reliability Assessment through Probabilistic Refinement. |
Nord. J. Comput. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Elena Troubitsyna |
Enhancing Dependability via Parameterized Refinement. |
PRDC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaisa Sere, Elena Troubitsyna |
Hazard Analysis in Formal Specification. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaisa Sere, Elena Troubitsyna |
Safety Analysis in Formal Specification. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #33 of 33 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")