Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gabor Madl
Real-Time Analysis of Resource-Constrained Distributed Systems by Simulation-Guided Model Checking
ACM SIGBED Review
Engineering
Computer Science
Related publications
QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Model-Checking for Real-Time Systems Specified in Lotos
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Design and Simulation for Real-Time Distributed Processing Systems
Formula Based Abstractions of Transition Systems for Real-Time Model Checking
Feedback Control-Based Dynamic Resource Management in Distributed Real-Time Systems
Journal of Systems and Software
Hardware
Information Systems
Architecture
Software
Efficient Model-Checking of Dense-Time Systems With Time-Convexity Analysis
Real-Time Model Checking on Secondary Storage
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Real-Time Model Checking Is Really Simple
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Communicating Shared Resources: A Model for Distributed Real-Time Systems
