Search — EtoBox

8 works shown

4 duplicate copies folded into their books

Showing the first matches. Checking the full catalogue…

Journals & papers

11 files

Software Engineering for Resilient Systems

Peter Popov (auth.), Elena A. Troubitsyna

2011PDF3.5 MB

Dependability and Computer Engineering

Luigia Petre, 2 more

2012PDF4.5 MB

Computer Safety, Reliability, and Security: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

Alexander Romanovsky, Elena Troubitsyna & 3 more

2019PDF27 MB

Digital Forensics in Industrial Control Systems

Robert Altschaffel, Mario Hildebrandt & 2 more

2019PDF27 MB

Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning

Milad Kazemi, Sadegh Soudjani

2020PDF731 KB

Fitness Functions for Testing Automated and Autonomous Driving Systems

Florian Hauer, Alexander Pretschner, Bernd Holzmüller

2019PDF659 KB

Lecture Notes in Computer Science 4157 Rigorous Development of Complex Fault-Tolerant Systems

Jean-Raymond Abrial (auth.), Michael Butler & 3 more

2006PDF4.9 MB

Study guides & companions

Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion

Sander de Putter; Anton Wijs

Study guidepdfen2020

Read now

More matches

More books matching “Elena Troubitsyna”

Each book appears once. Open one to see all its editions and formats.

4 books so far

Methods, Models and Tools for Fault Tolerance (Lecture Notes in Computer Science (5454))

A. Fehnker, M. Fruth & 5 more

2009PDF5.3 MB

Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Elena Troubitsyna Ivica Crnkovic

2016PDF7.7 MB

Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

Elena A. Troubitsyna Alexander Romanovsky

2017PDF14 MB

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

Elena Troubitsyna Brijesh Dongol

2020PDF19 MB

Genres

Journals & papers

Software Engineering for Resilient Systems

Dependability and Computer Engineering

Computer Safety, Reliability, and Security: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

Digital Forensics in Industrial Control Systems

Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning

Fitness Functions for Testing Automated and Autonomous Driving Systems

Lecture Notes in Computer Science 4157 Rigorous Development of Complex Fault-Tolerant Systems

Study guides & companions

Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion

More books matching “Elena Troubitsyna”

Methods, Models and Tools for Fault Tolerance (Lecture Notes in Computer Science (5454))

Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

Genres

Genres

Journals & papers

Software Engineering for Resilient Systems

Dependability and Computer Engineering

Computer Safety, Reliability, and Security: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

Digital Forensics in Industrial Control Systems

Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning

Fitness Functions for Testing Automated and Autonomous Driving Systems

Lecture Notes in Computer Science 4157 Rigorous Development of Complex Fault-Tolerant Systems

Study guides & companions

Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion

More books matching “Elena Troubitsyna”

Methods, Models and Tools for Fault Tolerance (Lecture Notes in Computer Science (5454))

Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings