Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Matthieu Renard
Enforcement of (Timed) Properties With Uncontrollable Events
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Runtime Enforcement of Timed Properties Revisited
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Measurement Properties of the Timed Up & Go Test in Patients With COPD
Chronic Respiratory Disease
Pulmonary
Respiratory Medicine
Measuring With Timed Patterns
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Timed Unfoldings for Networks of Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Time and Action Lock Freedom Properties for Timed Automata
Cycle-Time Properties of the Timed Token Medium Access Control Protocol
IEEE Transactions on Computers
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Software
Properties of High-Energy Solar Particle Events Associated With Solar Radio Emissions
Solar Physics
Astrophysics
Astronomy
Planetary Science
Space
Distributed Timed Automata With Independently Evolving Clocks
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Mechanism Design With Blockchain Enforcement
SSRN Electronic Journal
