Elena Troubitsyna
发表
Masoud Daneshtalab,
Amin Majd,
Elena Troubitsyna,
2017,
SAFECOMP Workshops.
Elena Troubitsyna,
Yuliya Prokhorova,
Linas Laibinis,
2013,
SAFECOMP.
Kaisa Sere,
Elena Troubitsyna,
E. Troubitsyna,
1999,
World Congress on Formal Methods.
Cliff B. Jones,
Elena Troubitsyna,
Michael Butler,
2009,
Methods, Models and Tools for Fault Tolerance.
Masoud Daneshtalab,
Amin Majd,
Elena Troubitsyna,
2017,
2017 19th International Symposium on Computer Architecture and Digital Systems (CADS).
Elena Troubitsyna,
Linas Laibinis,
Inna Pereverzeva,
2013,
Int. J. Crit. Comput. Based Syst..
Elena Troubitsyna,
Mikhail Barash,
Inna Vistbakka,
2018,
ABZ.
Mauno Rönkkö,
Elena Troubitsyna,
Luigia Petre,
2007
.
Cliff B. Jones,
Elena Troubitsyna,
Michael Butler,
2006,
RODIN Book.
Elena Troubitsyna,
2013,
2013 International Conference on High Performance Computing & Simulation (HPCS).
Elena Troubitsyna,
Inna Vistbakka,
E. Troubitsyna,
2020,
2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC).
Elena Troubitsyna,
Inna Vistbakka,
E. Troubitsyna,
2020,
Computing.
Elena Troubitsyna,
Inna Vistbakka,
E. Troubitsyna,
2018,
VECoS.
Elena Troubitsyna,
Linas Laibinis,
Ian Oliver,
2016,
ICFEM.
Maritta Heisel,
Elena Troubitsyna,
Alexander Romanovsky,
2013,
Dagstuhl Reports.
Masoud Daneshtalab,
Amin Majd,
Elena Troubitsyna,
2017,
ECBS.
Elena Troubitsyna,
Alexander Romanovsky,
Alexei Iliasov,
2011,
ICFEM.
Kaisa Sere,
Elena Troubitsyna,
Linas Laibinis,
2008
.
Elena Troubitsyna,
Inna Vistbakka,
2021
.
Elena Troubitsyna,
Linas Laibinis,
2015,
2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems.
Elena Troubitsyna,
Yuliya Prokhorova,
Linas Laibinis,
2011
.
Elena Troubitsyna,
Inna Vistbakka,
2018,
2018 14th European Dependable Computing Conference (EDCC).
Elena Troubitsyna,
E. Troubitsyna,
2008,
Third International Conference on Systems (icons 2008).
Elena Troubitsyna,
Linas Laibinis,
Anton Tarasyuk,
2010,
IFM.
Amin Majd,
Elena Troubitsyna,
Inna Vistbakka,
2018,
SAFECOMP Workshops.
Elena Troubitsyna,
Linas Laibinis,
Sari Leppänen,
2007
.
Amin Majd,
Elena Troubitsyna,
2017,
2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).
Elena Troubitsyna,
E. Troubitsyna,
2011
.
Elena Troubitsyna,
Alexander Romanovsky,
Alexei Iliasov,
2012,
2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA).
Elena Troubitsyna,
Linas Laibinis,
Inna Pereverzeva,
2014,
SAFECOMP Workshops.
Masoud Daneshtalab,
Amin Majd,
Elena Troubitsyna,
2018,
2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP).
Elena Troubitsyna,
Linas Laibinis,
Dubravka Ilic,
2006,
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Elena Troubitsyna,
Linas Laibinis,
Dubravka Ilic,
2016,
SAFECOMP.
Elena Troubitsyna,
Linas Laibinis,
Anton Tarasyuk,
2011
.
Elena Troubitsyna,
Irum Rauf,
E. Troubitsyna,
2018,
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Elena Troubitsyna,
Linas Laibinis,
Inna Pereverzeva,
2012,
ArXiv.
Elena Troubitsyna,
Linas Laibinis,
Anton Tarasyuk,
2011,
SERENE.
Amin Majd,
Elena Troubitsyna,
Adnan Ashraf,
2017,
ECBS.
Johan Lilius,
Elena Troubitsyna,
Qaisar A. Malik,
2005,
ICFEM.
Elena Troubitsyna,
Yuliya Prokhorova,
E. Troubitsyna,
2012,
SERENE.
Elena Troubitsyna,
E. Troubitsyna,
1999,
Nord. J. Comput..
Elena Troubitsyna,
Alexei Iliasov,
Linas Laibinis,
2011
.
Elena Troubitsyna,
Linas Laibinis,
Inna Pereverzeva,
2012,
Ada-Europe.
Elena Troubitsyna,
E. Troubitsyna,
2003,
Proceedings International Parallel and Distributed Processing Symposium.
Elena Troubitsyna,
Irum Rauf,
2017,
IMPEX/FM&MDD.
Elena Troubitsyna,
Inna Vistbakka,
E. Troubitsyna,
2018,
SAFECOMP.
Marina Waldén,
Elena Troubitsyna,
Luigia Petre,
2013,
Formal Aspects of Computing.
Elena Troubitsyna,
Timo Latvala,
Tuomas Kuismin,
2017,
SERENE.
Elena Troubitsyna,
Linas Laibinis,
Inna Pereverzeva,
2013,
SERENE.
Elena Troubitsyna,
Linas Laibinis,
Anton Tarasyuk,
2012,
IFM.
Elena Troubitsyna,
Linas Laibinis,
Inna Pereverzeva,
2012
.
Amin Majd,
Elena Troubitsyna,
2017,
2017 IEEE International Conference on Big Data (Big Data).
Dominique Méry,
Régine Laleau,
Elena Troubitsyna,
2018
.
Elena Troubitsyna,
Alexander Romanovsky,
Alexei Iliasov,
2008,
SERENE '08.
Amin Majd,
Elena Troubitsyna,
Masoud Daneshtalab,
2019,
2019 IEEE 13th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC).
Elena Troubitsyna,
Linas Laibinis,
Anton Tarasyuk,
2009
.
Masoud Daneshtalab,
Amin Majd,
Elena Troubitsyna,
2018,
2018 IEEE Congress on Evolutionary Computation (CEC).
Elena Troubitsyna,
Linas Laibinis,
Sari Leppänen,
2010,
Int. J. Embed. Real Time Commun. Syst..
Elena Troubitsyna,
Linas Laibinis,
2016,
From Action Systems to Distributed Systems.
Elena Troubitsyna,
1999
.
Elena Troubitsyna,
Yuliya Prokhorova,
Linas Laibinis,
2013,
SERENE.
Elena Troubitsyna,
Linas Laibinis,
Sari Leppänen,
2009
.
Elena Troubitsyna,
E. Troubitsyna,
2012
.
Elena Troubitsyna,
Linas Laibinis,
Dubravka Ilic,
2013,
Industrial Deployment of System Engineering Methods.
Cliff B. Jones,
Elena Troubitsyna,
Michael Butler,
2007
.
Kaisa Sere,
Elena Troubitsyna,
Luigia Petre,
2011
.
Elena Troubitsyna,
Linas Laibinis,
Sari Leppänen,
2009,
Methods, Models and Tools for Fault Tolerance.
Elena Troubitsyna,
Inna Vistbakka,
Irum Rauf,
2018,
2018 IEEE International Conference on Web Services (ICWS).
Vyacheslav Kharchenko,
Elena Troubitsyna,
Alexander Romanovsky,
2008,
SEESE '08.
Elena Troubitsyna,
Alexander Romanovsky,
2012
.
Elena Troubitsyna,
Linas Laibinis,
Inna Pereverzeva,
2017,
Sci. Comput. Program..
Elena Troubitsyna,
Inna Vistbakka,
2017,
IMPEX/FM&MDD.
Elena Troubitsyna,
Alexei Iliasov,
Linas Laibinis,
2008
.
Elena Troubitsyna,
Linas Laibinis,
L. Laibinis,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Elena Troubitsyna,
2012,
ArXiv.
Elena Troubitsyna,
Yuliya Prokhorova,
Linas Laibinis,
2015,
Inf. Softw. Technol..
Elena Troubitsyna,
Alexander Romanovsky,
Alexei Iliasov,
2010,
ASM.
Kaisa Sere,
Elena Troubitsyna,
1999,
SAFECOMP.
Elena Troubitsyna,
Alexei Iliasov,
Linas Laibinis,
2010,
EDCC 2010.
Masoud Daneshtalab,
Amin Majd,
Elena Troubitsyna,
2017,
2017 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computed, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI).
Annabelle McIver,
Carroll Morgan,
Elena Troubitsyna,
1998
.
Elena Troubitsyna,
Linas Laibinis,
L. Laibinis,
2005,
RISE.
Elena Troubitsyna,
Alexander Romanovsky,
Alexei Iliasov,
2006,
RODIN Book.
Budi Arief,
Elena Troubitsyna,
Alexander Romanovsky,
2007,
10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).
Elena Troubitsyna,
Linas Laibinis,
Inna Pereverzeva,
2013,
ICFEM.
Elena Troubitsyna,
Linas Laibinis,
Anton Tarasyuk,
2009
.
Elena Troubitsyna,
Timo Latvala,
Inna Pereverzeva,
2012,
SAFECOMP.
Fuyuki Ishikawa,
Elena Troubitsyna,
Alexander Romanovsky,
2016
.
Ivan Porres,
Elena Troubitsyna,
Linas Laibinis,
2014,
IFM.
Elena Troubitsyna,
Linas Laibinis,
Anton Tarasyuk,
2014,
Formal Aspects of Computing.
Elena Troubitsyna,
Timo Latvala,
Inna Pereverzeva,
2015,
SAFECOMP.
Elena Troubitsyna,
Linas Laibinis,
Alexei Iliasov,
2010
.
Elena Troubitsyna,
E. Troubitsyna,
2015
.
Elena Troubitsyna,
Linas Laibinis,
Inna Pereverzeva,
2012,
2012 Ninth European Dependable Computing Conference.
Elena Troubitsyna,
Irum Rauf,
2017,
SERENE.
Elena Troubitsyna,
Dubravka Ilic,
E. Troubitsyna,
2005,
11th Pacific Rim International Symposium on Dependable Computing (PRDC'05).
Elena Troubitsyna,
Alexei Iliasov,
Linas Laibinis,
2015,
EDCC 2015.
Elena Troubitsyna,
E. Troubitsyna,
1999
.
Elena Troubitsyna,
Alexander Romanovsky,
Alexei Iliasov,
2010,
FMICS.
Elena Troubitsyna,
Alexander Romanovsky,
Alexei Iliasov,
2009,
FMCO.
Elena Troubitsyna,
Yuliya Prokhorova,
Linas Laibinis,
2014
.
Elena Troubitsyna,
Alexander Romanovsky,
Alexei Iliasov,
2015,
SETTA.
Masoud Daneshtalab,
Mikael Sjödin,
Amin Majd,
2018,
2018 IEEE 12th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC).
Elena Troubitsyna,
Michael J. Butler,
Linas Laibinis,
2014,
ABZ.
Elena Troubitsyna,
Alexander Romanovsky,
Alexei Iliasov,
2010,
SAFECOMP.
Elena Troubitsyna,
Yuliya Prokhorova,
Linas Laibinis,
2011,
2011 18th Asia-Pacific Software Engineering Conference.
Elena Troubitsyna,
2004,
Software Engineering Research and Practice.
Elena Troubitsyna,
2010,
2010 Third International Conference on Communication Theory, Reliability, and Quality of Service.
Elena Troubitsyna,
Linas Laibinis,
Vyacheslav Kharchenko,
2012
.
Elena Troubitsyna,
Linas Laibinis,
Inna Pereverzeva,
2012,
SERENE.
Colin F. Snook,
Elena Troubitsyna,
Linas Laibinis,
2006,
RODIN Book.
Elena Troubitsyna,
Linas Laibinis,
Anton Tarasyuk,
2010,
SERENE.
Elena Troubitsyna,
Kashif Javed,
2012,
ICSEA 2012.
Jim Woodcock,
Elena Troubitsyna,
Michael J. Butler,
2009,
Refinement Based Methods for the Construction of Dependable Systems.
Elena Troubitsyna,
E. Troubitsyna,
1999,
Proceedings 1999 Pacific Rim International Symposium on Dependable Computing.
Elena Troubitsyna,
Alexei Iliasov,
Linas Laibinis,
2009
.
Elena Troubitsyna,
Alexander Romanovsky,
Alexei Iliasov,
2013,
Sci. Comput. Program..
Elena Troubitsyna,
Kashif Javed,
2012
.
Elena Troubitsyna,
Linas Laibinis,
L. Laibinis,
2004,
SAFECOMP.
Elena Troubitsyna,
Linas Laibinis,
Anton Tarasyuk,
2010,
2010 Third International Conference on Dependability.
Elena Troubitsyna,
E. Troubitsyna,
2010,
2010 Fifth International Conference on Software Engineering Advances.
Elena Troubitsyna,
2011
.
Elena Troubitsyna,
Linas Laibinis,
Ahmed Hadj Kacem,
2014,
SEFM.
Amin Majd,
Elena Troubitsyna,
Inna Vistbakka,
2018,
ICFEM.
Amin Majd,
Elena Troubitsyna,
Inna Vistbakka,
2019,
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE).
Johan Lilius,
Elena Troubitsyna,
Qaisar A. Malik,
2006,
RODIN Book.
Elena Troubitsyna,
2016,
2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC).
Elena Troubitsyna,
Alexander Romanovsky,
Alexei Iliasov,
2011,
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering.
Johan Lilius,
Elena Troubitsyna,
Linas Laibinis,
2014,
SERENE.
Elena Troubitsyna,
2021,
PAAMS.
Elena Troubitsyna,
Ian Oliver,
Cliff Jones,
2005
.
Elena Troubitsyna,
E. Troubitsyna,
2003
.
Elena Troubitsyna,
E. Troubitsyna,
1999
.
Elena Troubitsyna,
E. Troubitsyna,
2005
.
Elena Troubitsyna,
2005
.