Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Thierry Jéron

Runtime Enforcement of Timed Properties Revisited

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2014English

Enforcement of (Timed) Properties With Uncontrollable Events

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

More Testable Properties

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2011English

System Test Synthesis From UML Models of Distributed Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

TGV: Theory, Principles and Algorithms

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2004English

An Experiment in Automatic Generation of Test Suites for Protocols With Verification Technology

Science of Computer Programming
Software
1997English

Remote Testing Can Be as Powerful as Local Testing

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
1999English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy