BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Étienne André
SearchCollections
Map detail
Étienne André13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipÉtienne AndréAÉtienne AndréResearcherParameterized Verification of Disjunctive Timed NetworksWParameterized Verificat...preprint / 2024Exemplifying parametric timed specifications over signals with bounded behaviorWExemplifying parametric...preprint / 2022Automated synthesis of local time requirement for service compositionWAutomated synthesis of ...preprint / 2020IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed AutomataWIMITATOR II: A Tool for...preprint / 2010Proceedings 1st International Workshop on Synthesis of Continuous ParametersWProceedings 1st Interna...preprint / 2014Translating UML State Machines to Coloured Petri Nets Using Acceleo: A ReportWTranslating UML State M...preprint / 2014Timed automata as a formalism for expressing security: A survey on theory and practiceWTimed automata as a for...preprint / 2022Zone extrapolations in parametric timed automataWZone extrapolations in ...preprint / 2022Robust optimal control using dynamic programming and guaranteed Euler's methodWRobust optimal control ...preprint / 2020Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examplesWGuaranteed phase synchr...preprint / 2020Toward Parametric Timed Interfaces for Real-Time ComponentsWToward Parametric Timed...preprint / 2014Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed SystemsWParametric Schedulabili...preprint / 2013
Person12 links

Étienne André

Researcher

PaperParameterized Verification of Disjunctive Timed NetworksAuthorship / preprint / 2024PaperExemplifying parametric timed specifications over signals with bounded behaviorAuthorship / preprint / 2022PaperAutomated synthesis of local time requirement for service compositionAuthorship / preprint / 2020PaperIMITATOR II: A Tool for Solving the Good Parameters Problem in Timed AutomataAuthorship / preprint / 2010PaperProceedings 1st International Workshop on Synthesis of Continuous ParametersAuthorship / preprint / 2014PaperTranslating UML State Machines to Coloured Petri Nets Using Acceleo: A ReportAuthorship / preprint / 2014PaperTimed automata as a formalism for expressing security: A survey on theory and practiceAuthorship / preprint / 2022PaperZone extrapolations in parametric timed automataAuthorship / preprint / 2022

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)