Sandie Balaguer

Statistics

Publications

Citations

H-Index

Active since

2010

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

École Normale Supérieure Paris-Saclay

Centre National de la Recherche Scientifique

Sandie Balaguer is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, computer science, and petri nets.

Publications per year

2010–2012

Publications

Scenario-based verification of real-time systems using Uppaal

Shuhao Li, Sandie Balaguer, Alexandre David et al. · Formal Methods in System Design · 2010 · 23 citations

Engineering, Computer Engineering, Computer Science +14

A concurrency-preserving translation from time Petri nets to networks of timed automata

Sandie Balaguer, Thomas Chatain, Stefan Haar · Formal Methods in System Design · 2012 · 16 citations · Full text

Computing, Computer Engineering, Computer Science +15

Building Tight Occurrence Nets from Reveals Relations

Sandie Balaguer, Thomas Chatain, Stefan Haar · 2011 · 12 citations · Full text

Computing, Computer Science, Formal Methods +13

1–3 of 3