Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Louis-Marie Givel
Testing Real-Time Systems With Runtime Enforcement
IEEE Design and Test
Hardware
Electronic Engineering
Electrical
Architecture
Software
Related publications
Deterministic Runtime Adaptation for Hard Real-Time Embedded Systems With Processing Constraints
Runtime Enforcement of Reactive Systems Using Synchronous Enforcers
Real-Time TTCN for Testing Real-Time and Multimedia Systems
A Theory of Runtime Enforcement, With Results
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards Systematic Testing of Distributed Real-Time Systems
Runtime Enforcement of Timed Properties Revisited
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Runtime Enforcement of Web Service Message Contracts With Data
IEEE Transactions on Services Computing
Information Systems
Computer Networks
Hardware
Communications
Computer Science Applications
Management
Architecture
Performance Stress Testing of Real-Time Systems Using Genetic Algorithms
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science