|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 9 keywords
|
|
|
|
|
Results
Found 25 publication records. Showing 25 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 | 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 | Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere |
Self-Recovering Sensor-Actor Networks |
FOCLASA |
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 | 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 | 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 | Qaisar A. Malik, Johan Lilius, Linas Laibinis |
Model-Based Testing Using Scenarios and Event-B Refinements. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky |
Patterns for Refinement Automation. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 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 | 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 | 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 | Linas Laibinis, Joakim von Wright |
Functional Procedures in Higher-Order Logic. |
TPHOLs |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Mikhajlov, Emil Sekerinski, Linas Laibinis |
Developing Components in the Presence of Re-entrance. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Linas Laibinis |
Using Lattice Theory in Higher Order Logic. |
TPHOLs |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")