Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Critical Systems Research Group
ftsrg
19 Decks
0 Following
2 Followers
0 Stars
Developing new methods and tools to help engineers create reliable systems
Budapest University of Technology and Economics
Budapest, Hungary
https://ftsrg.mit.bme.hu
@ftsrg_bme
https://hu.linkedin.com/company/ftsrg
Decks
Language
All Languages
한국인
Deutsch
English
Español
Français
Italiano
Português
Pусский
Svenska
Tiếng Việt
中文 (simplified)
中文 (traditional)
日本語
Evaluating and designing automated verification methods for critical software systems
ftsrg
0
17
From Transpilers to Semantic Libraries
ftsrg
0
24
Abstraction-Based Model Checking for Real-Time Software-Intensive System Models
ftsrg
0
24
Efficient Manipulation of Logical Formulas as Decision Diagrams
ftsrg
0
23
End-to-End Validation of Input Model Transformations in Model Checking Tools
ftsrg
0
23
EmergenTheta: Verification Beyond Abstraction Refinement (SV-COMP Competition Contribution)
ftsrg
0
21
Introduction to software engineering
ftsrg
0
94
Research areas of the Critical Systems Research Group
ftsrg
0
93
History of the Critical Systems Research Group
ftsrg
0
25
V&V of Systems Engineering Models and Modeling Languages
ftsrg
0
330
Combining CEGAR and Lazy Abstraction for Verifying Timed Systems
ftsrg
0
84
Lazy Abstraction for Markov Decision Processes
ftsrg
0
110
The many meanings of UML 2 Sequence Diagrams: a survey
ftsrg
0
250
Automated isolation for white-box test generation
ftsrg
0
160
Classifying generated white-box tests: an exploratory study
ftsrg
0
260
Gazer-Theta: LLVM-based Verifier Portfolio with BMC-CEGAR
ftsrg
0
83
Evaluating and ImprovingWhite-Box Test Generation
ftsrg
0
110
Effective Domain-Specific Formal Verification Techniques
ftsrg
0
83
‹ Prev
Next ›
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade