About: Frédéric Herbreteau

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Frédéric Herbreteau Goto Sponge NotDistinct Permalink

An Entity of Type : foaf:Person, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
type	Person
sameAs	Herbreteau, Frédéric (1975-....) Herbreteau, Frédéric (1975-....) Herbreteau, Frédéric (1975-....)
Life Event	http://www.idref.fr/066923115/birth
preferred label	Herbreteau, Frédéric (1975-....)
name	Frédéric Herbreteau
dbpedia-owl:citizenship	http://sws.geonames.org/3017382/
Language	http://lexvo.org/id/iso639-3/fra
Given name	Frédéric
familyName	Herbreteau
has biographical i...tion (Deprecated)	Titulaire d'un doctorat en automatique et informatique appliquée (Nantes, 2001). Rattaché à : Université de Bordeaux (en 2017) Maître de conférences à l'INP Bordeaux (2019)
gender	male
ORCID iD	0000-0002-1029-2356
Scopus ID	23088387200
is sameAs of	Herbreteau, Frédéric (1975-....)
is Thesis advisor of	http://www.sudoc.fr/162406703/id http://www.sudoc.fr/257364153/id
is Author of	http://www.sudoc.fr/066923638/id http://www.sudoc.fr/126429936/id Automates à file réactifs embarqués, application à la vérification de systèmes temps-réel Reachability of Communicating Timed Processes Verification of Embedded Reactive Fiffo Systems Why Liveness for Timed Automata Is Hard, and What We Can Do About It https://zbmath.org/6654480#id Efficient Emptiness Check for Timed Büchi Automata Zone-based verification of timed automata: extrapolations, simulations and what next? SPaCIFY: a Formal Model-Driven Engineering for Spacecraft On-Board Software Application of Partial-Order Methods to Reactive Systems with Event Memorization Coarse abstractions make Zeno behaviours difficult to detect (Extended abstract) Lazy abstractions for timed automata https://orbi.uliege.be/handle/2268/74861#id
is primary topic of	http://www.idref.fr/066923115
is Opponent of	http://www.sudoc.fr/13551164X/id http://www.sudoc.fr/198071868/id http://www.sudoc.fr/25508286X/id http://www.sudoc.fr/233123431/id http://www.sudoc.fr/241143446/id http://www.sudoc.fr/27830267X/id

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software