François Laroussinie

Publications

892

Citations

H-Index

1995

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Laboratoire Spécification et Vérification

École Normale Supérieure Paris-Saclay

Université Paris Cité

Laboratoire d'Informatique Algorithmique: Fondements et Applications

François Laroussinie is an author at Centre National de la Recherche Scientifique specializing in engineering, formal verification, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationSystems EngineeringReal-time SystemsComputational ComplexitySemantics

Publications per year

1995–2015

Publications

Temporal logic with forgettable past

François Laroussinie, Nicolas Markey, Ph. Schnoebelen · 2003 · 179 citations · Full text

From Timed Automata to Logic - and Back

François Laroussinie, Kim G. Larsen, Carsten Weise · BRICS Report Series · 1995 · 101 citations · Full text

Logical Automaton, Engineering, Automated Reasoning +13

A hierarchy of temporal logics with past

François Laroussinie, Ph. Schnoebelen · Theoretical Computer Science · 1995 · 85 citations

Non-classical Logic, Engineering, Automated Reasoning +6

Guidelines for a graduate curriculum on embedded software and systems

P. Caspi, Alberto Sangiovanni‐Vincentelli, Lúıs Almeida et al. · ACM Transactions on Embedded Computing Systems · 2005 · 69 citations

Engineering, Graduate Curriculum, Embedded Design +19

ATL with Strategy Contexts: Expressiveness and Model Checking

Arnaud Da Costa, François Laroussinie, Nicolas Markey · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 53 citations · Full text

Rows per page

1–5 of 20