Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alexandru Mereacre
Time-Bounded Verification of CTMCs Against Real-Time Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Deriving Real-Time Programs From Duration Calculus Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Extensions of the Bounded Real Lemma of Discrete-Time Systems
International Journal of Control
Control
Systems Engineering
Computer Science Applications
Real-Time Java API Specifications for High Coverage Test Generation
Active Monitoring Using Real-Time Metric Linear Temporal Logic Specifications
Formal Verification of User-Level Real-Time Property Patterns
The Discrete-Time Bounded-Real Lemma in Digital Filtering
IEEE Transactions on Circuits and Systems
Engineering
Formal Verification of UML Statecharts With Real-Time Extensions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of Real-Time Systems With Preemptive Scheduling
Real-Time Systems
Control
Systems Engineering
Optimization
Electronic Engineering
Computer Networks
Simulation
Communications
Computer Science Applications
Electrical
Modeling
MSB-First Interval-Bounded Variable-Precision Real-Time Arithmetic Unit
ITB Journal of Information and Communication Technology
