Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Bernard Berthomieu
Researcher
PaperChecking marking reachability with the state equation in Petri net subclassesAuthorship / preprint / 2020PaperOn the Petri Nets with a Single Shared Place and BeyondAuthorship / preprint / 2020PaperLatency Analysis of an Aerial Video Tracking System Using Fiacre and TinaAuthorship / preprint / 2015PaperAutomating the Verification of Realtime Observers using Probes and the Modal mu-calculusAuthorship / preprint / 2015PaperAn Experiment on Parallel Model Checking of a CTL FragmentAuthorship / preprint / 2013PaperTime Petri Nets with Dynamic Firing Dates: Semantics and ApplicationsAuthorship / preprint / 2014