Alexei Iliasov

	2011
22		Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky, Yuliya Prokhorova, Elena Troubitsyna: Patterns for Representing FMEA in Formal Specification of Control Systems. HASE 2011: 146-151
21		Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander Romanovsky: Formal Derivation of a Distributed Program in Event B. ICFEM 2011: 420-436
20		Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky: Rigorous Development of Dependable Systems Using Fault Tolerance Views. ISSRE 2011: 180-189
19		Alexei Iliasov: Use Case Scenarios as Verification Conditions: Event-B/Flow Approach. SERENE 2011: 9-23
18		Thai Son Hoang, Alexei Iliasov, Renato Silva, Wei Wei: A Survey on Event-B Decomposition. ECEASST 46: (2011)
	2010
17		Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala: Supporting Reuse in Event B Development: Modularisation Approach. ASM 2010: 174-188
16		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: 50-66
15		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: 126-141
	2009
14		Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky: Patterns for Refinement Automation. FMCO 2009: 70-88
13		Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro, Alexander Romanovsky: Modal Systems: Specification, Refinement and Realisation. ICFEM 2009: 601-619
12		Alexei Iliasov, Alexander Romanovsky, Fernando Luís Dotti: Structuring Specifications with Modes. LADC 2009: 81-88
11		Alexei Iliasov, Budi Arief, Alexander Romanovsky: Step-Wise Development of Resilient Ambient Campus Scenarios. Methods, Models and Tools for Fault Tolerance 2009: 297-323
	2008
10		Alexei Iliasov, Alexander Romanovsky: Refinement Patterns for Fault Tolerant Systems. EDCC 2008: 167-176
9		Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky: Formal development of cooperative exception handling for mobile agent systems. SERENE 2008: 39-48
	2007
8		Alexei Iliasov, Alexander Romanovsky, Budi Arief: A Framework for Open Distributed System Design. COMPSAC (2) 2007: 658-674
7		Alexei Iliasov: Refinement patterns for rapid development of dependable systems. EFTS 2007: 10
6		Alexei Iliasov, Alexander Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna: On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. ISORC 2007: 141-145
	2006
5		Alexei Iliasov, Alexander Romanovsky: Structured Coordination Spaces for Fault Tolerant Mobile Agents. Advanced Topics in Exception Handling Techniques 2006: 181-199
4		Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander Romanovsky: On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. RODIN Book 2006: 168-188
3		Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky: Rigorous Development of Fault-Tolerant Agent Systems. RODIN Book 2006: 241-260
2		Budi Arief, Alexei Iliasov, Alexander Romanovsky: On Developing Open Mobile Fault Tolerant Agent Systems. SELMAS 2006: 21-40
	2005
1		Alexei Iliasov, Alexander B. Romanovsky: Exception Handling in Coordination-Based Mobile Environments. COMPSAC (1) 2005: 341-350

Coauthor Index

1	Budi Arief	[2] [6] [8] [11]
2	Fernando Luís Dotti	[12] [13]
3	Thai Son Hoang	[18]
4	Dubravka Ilic	[15] [16] [17]
5	Victor Khomenko	[4]
6	Maciej Koutny	[4]
7	Linas Laibinis	[3] [6] [9] [14] [15] [16] [17] [21]
8	Timo Latvala	[15] [16] [17]
9	Ilya Lopatkin	[20] [22]
10	Yuliya Prokhorova	[22]
11	Leila Ribeiro (Leila Ribeiro Korff)	[13]
12	Alexander Romanovsky (Alexander B. Romanovsky)	[1] [2] [3] [4] [5] [6] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [20] [21] [22]
13	Renato Silva	[18]
14	Elena Troubitsyna	[3] [6] [9] [14] [15] [16] [17] [21] [22]
15	Pauli Väisänen	[15]
16	Kimmo Varpaaniemi	[15] [16] [17]
17	Wei Wei	[18]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page