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
17 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)
日本語
Abstraction-Based Model Checking for Real-Time Software-Intensive System Models
ftsrg
0
6
Efficient Manipulation of Logical Formulas as Decision Diagrams
ftsrg
0
11
End-to-End Validation of Input Model Transformations in Model Checking Tools
ftsrg
0
11
EmergenTheta: Verification Beyond Abstraction Refinement (SV-COMP Competition Contribution)
ftsrg
0
7
Introduction to software engineering
ftsrg
0
69
Research areas of the Critical Systems Research Group
ftsrg
0
73
History of the Critical Systems Research Group
ftsrg
0
12
V&V of Systems Engineering Models and Modeling Languages
ftsrg
0
290
Combining CEGAR and Lazy Abstraction for Verifying Timed Systems
ftsrg
0
69
Lazy Abstraction for Markov Decision Processes
ftsrg
0
80
The many meanings of UML 2 Sequence Diagrams: a survey
ftsrg
0
220
Automated isolation for white-box test generation
ftsrg
0
150
Classifying generated white-box tests: an exploratory study
ftsrg
0
240
Gazer-Theta: LLVM-based Verifier Portfolio with BMC-CEGAR
ftsrg
0
72
Evaluating and ImprovingWhite-Box Test Generation
ftsrg
0
90
Effective Domain-Specific Formal Verification Techniques
ftsrg
0
70
SMT-Friendly Formalization of the Solidity Memory Model
ftsrg
0
89
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade