75 citations
- Université Paris CitéFR59 papers
- Centre National de la Recherche ScientifiqueFR32 papers
- Délégation Paris 7FR10 papers
- Institut national de recherche en sciences et technologies du numériqueFR9 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR8 papers
- Laboratoire d'Informatique de l'École PolytechniqueFR5 papers
- École Normale Supérieure de LyonFR4 papers
- Sorbonne UniversitéFR4 papers
- École PolytechniqueFR3 papers
- Laboratoire de Recherche en InformatiqueFR3 papers
- Laboratoire d'Informatique, de Robotique et de Microélectronique de MontpellierFR3 papers
- Orange (France)FR3 papers
Showing 2011 · cs.LOShow all
2 papers · 2 filters
cs.LO2011★ 4 cited
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
We summarize the main results proved in recent work on the parameterized verification of safety properties for ad hoc network protocols. We consider a model in which the communicat…
cs.LO2011★ 7 cited
Automata and temporal logic over arbitrary linear time
Julien Cristau
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running syst…