Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Thierry Massart
Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
dSL: An Environment With Automatic Code Distribution for Industrial Control Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
An Efficient Distributed Online Algorithm to Detect Strong Conjunctive Predicates
IEEE Transactions on Software Engineering
Software
Bringing LTL Model Checking to Biologists
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Efficient Algorithm for LCS Problem Between Two Arbitrary Sequences
Mathematical Problems in Engineering
Mathematics
Engineering
An Efficient Algorithm for Generating Assembly Sequences in Modification Design.
Seimitsu Kogaku Kaishi/Journal of the Japan Society for Precision Engineering
Mechanical Engineering
An Algorithm for Model Fusion for Distributed Learning
From Stack Traces to Lazy Rewriting Sequences
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Efficient Method to Estimate the Suboptimality of Affine Controllers
Security Protection Is Needed When Using USB Sticks
BMJ
Conditional Termination Check Min-Sum Algorithm for Efficient LDPC Decoders
IEICE Electronics Express
Electronic Engineering
Condensed Matter Physics
Optical
Electrical
Magnetic Materials
Electronic
