|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 14 keywords
|
|
|
|
|
Results
Found 22 publication records. Showing 22 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thai Son Hoang, Alexei Iliasov, Renato Silva, Wei Wei |
A Survey on Event-B Decomposition.  |
ECEASST  |
2011 |
DBLP BibTeX RDF |
|
| 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 | 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 | Alexei Iliasov |
Use Case Scenarios as Verification Conditions: Event-B/Flow Approach. |
SERENE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky |
Rigorous Development of Dependable Systems Using Fault Tolerance Views. |
ISSRE |
2011 |
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 | 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 | Alexei Iliasov, Budi Arief, Alexander Romanovsky |
Step-Wise Development of Resilient Ambient Campus Scenarios. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro, Alexander Romanovsky |
Modal Systems: Specification, Refinement and Realisation. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Alexander Romanovsky, Fernando Luís Dotti |
Structuring Specifications with Modes. |
LADC |
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 |
Refinement Patterns for Fault Tolerant Systems. |
EDCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Alexander Romanovsky, Budi Arief |
A Framework for Open Distributed System Design. |
COMPSAC |
2007 |
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 | Alexei Iliasov |
Refinement patterns for rapid development of dependable systems. |
EFTS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander Romanovsky |
On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
Klaim, fault tolerance, model checking, Petri nets, process algebra, locations, mobile systems, Linda |
| 1 | Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky |
Rigorous Development of Fault-Tolerant Agent Systems. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Budi Arief, Alexei Iliasov, Alexander Romanovsky |
On Developing Open Mobile Fault Tolerant Agent Systems. |
SELMAS |
2006 |
DBLP DOI BibTeX RDF |
ambient lecture, middleware, Mobile agents, coordination, exception handling, Linda, system structuring |
| 1 | Alexei Iliasov, Alexander Romanovsky |
Structured Coordination Spaces for Fault Tolerant Mobile Agents. |
Advanced Topics in Exception Handling Techniques |
2006 |
DBLP DOI BibTeX RDF |
middleware, exception handling, scopes, exception propagation |
| 1 | Alexei Iliasov, Alexander B. Romanovsky |
Exception Handling in Coordination-Based Mobile Environments. |
COMPSAC |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")