Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Omer Nguena Timo

Runtime Enforcement of Timed Properties Revisited

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2014English

Related publications

Enforcement of (Timed) Properties With Uncontrollable Events

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

A Theory of Runtime Enforcement, With Results

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Runtime Enforcement of Reactive Systems Using Synchronous Enforcers

2017English

Testing Real-Time Systems With Runtime Enforcement

IEEE Design and Test
HardwareElectronic EngineeringElectricalArchitectureSoftware
2018English

Runtime Enforcement of Web Service Message Contracts With Data

IEEE Transactions on Services Computing
Information SystemsComputer NetworksHardwareCommunicationsComputer Science ApplicationsManagementArchitecture
2012English

Timed Unfoldings for Networks of Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Time and Action Lock Freedom Properties for Timed Automata

English

Dynamic Turing Machine: Model and Properties for Runtime Code Changes

Computer Science
Computer GraphicsPattern RecognitionComputer NetworksSimulationCommunicationsComputer VisionComputer-Aided DesignComputer ScienceMathematicsComputational TheoryModelingArtificial Intelligence
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy