Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marius Bozga
Programs With Lists Are Counter Automata
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Rigorous System Design: The BIP Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Rigorous System Design Flow for Autonomous Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Checking Deadlock-Freedom of Parametric Component-Based Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Driven Information Flow Security for Component-Based Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fast Acceleration of Ultimately Periodic Relations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Design of Embedded Systems With Complex Task Dependencies and Shared Resource Interference (Short Paper)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Performance Evaluation of Schedulers in a Probabilistic Setting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Performance Evaluation of Stochastic Real-Time Systems With the SBIP Framework
International Journal of Critical Computer-Based Systems
Computer Science
Optimized Distributed Implementation of Multiparty Interactions With Observation
1
2
›
