Site Map
Verimag
Projects
Coopération Argosim
SECURIOT-2
ADE
RT-PROOFS
BRAIN-IoT
STMicroelectronics
ESTATE
CASERM
SUCCESS
Tools
aadl2sync
aadl4ocaml
AMT 2.0
Argos and Larissa
Aspic
BDDC v2
BIP Compiler
BIP-SMC : A Statistical Model Checking Engine for the BIP framework
d/dt
DFinder
FLATA
FLATA-C
IF
InVeSt
Kronos
L2CA
LIBTLMPWT
Lurette
Lustre V6
Lutin
Mjollnir
Montre
Multi-core interference Analysis
NLTOOLBOX
OpenKronos
Pagai
ParetoLib
PHAVer
Pinapa
PinaVM
RDBG
Reglo
RTD-Finder
sc-during
SCRV
SMI
SpaceEx
SR3 : Secure Resilient and Reputation-based Routing
ss2lus
StreamExplorer
TGV
The Lustre V4 Toolbox
The Synchrone Reactive Toolbox
Time-Critical Applications on Multicore Platforms
Workshops and Conferences
AlgoTel et CoRes 2020
MOVEP 2020
Workshop CAPITAL
Members
Members
Publications
Technical Reports
Peer reviewed
Sorted by year
Sorted by kinds
Partners
Partners
Seminars
Documents
Teams
Pacss
Current members
Partners
Research Topics
Abstract interpretation and decision procedures
Code analysis for vulnerability detection
Proofs of correctness using Coq
Security properties evaluation
Verification by automata and acceleration-based approaches
Publications
by years
by kinds
Projects
ARAMIS
BINSEC
KALRAY-CompCert
SERTIF
STATOR
VECOLIB
VERASCO
Tools
Jobs and Internships
Phd Proposal : Inférence de modèles de faute pour simulation d’attaques sur composants sécurisés
Phd proposal : Optimisation de l’évaluation et des tests de sécurité des systèmes cyber-physiques par analyse des canaux auxiliaires
Post-Doc: Fault injection and code analysis
RSD
People
Partners
Research Topics
Modeling Component-Based Systems
The BIP Framework
BIP Extensions
Language Embedding
Scalable Verification and Analysis Techniques
Compositional Verification
Statistical Model Checking
Runtime Monitoring
Information Flow Security Analysis
Correct-by-Construction Implementation Techniques
Real-Time Implementation
Scheduling for Mixed-Criticality Systems
Decentralized Implementation
Model-to-Model Transformations
Domain Specific Design Flows
Autonomous Robotic Systems
Networked Embedded Systems
Parallel Applications on Manycore Platforms
Projects
ACOSE
ACROSS
ArrowHead
ASCENS
CERTAINTY
CHAPI
CITADEL
COMBEST
Cooperation PragmaDev
CPSE-Labs
CyPhERS
D-MILS
ERGO
ESROCOS
ManycoreLabs
MARAE
MIND
MoSATT-CMP
PRO3D
SAFENAV
SARGON
SMECY
Transatlantic CPS Summit
Tools
Publications
by years
by kinds
Jobs and Internships
Post-Docs: Model-Based Design and Validation of Safety-Critical Systems
Synchrone
Partners
Projects
Jobs and Internships
Certification of Distributed Self-Stabilizing Algorithms Using Coq
Models of Distributed Algorithms
Self-Stabilization in TVG
Exploration of timing anomaly impact on processor execution for critical real-time systems
Decision Procedure for Equivalence Relations
Simulation of Distributed Algorithms
Research Topics
Languages and Tools for Critical Real-Time Systems
The Lustre Programming Language and Related Tools
Virtual Prototyping and Simulation
xxx
Distributed Algorithms and Applications to Embedded Systems
xxx
Automatic Testing of Reactive Systems
xxx
Past Research Topics
Embedded Software Implementation
Energy aware programming and controller synthesis
Formal Verification, Theory, Techniques and Tools
The Synchronous Language Lustre
Virtual Prototyping
Publications
by years
by kinds
Team members
Synchrone Team members
Some Former Members
Claude Helmstetter
David Stauch
Jérôme Cornet
Laure Danthony-Gonnord
Ludovic Samper
Olivier Bezet
Tayeb Bouhadiba
Yanhong Liu
Youssef Bouzouzou
Jan Mikac
Lionel Morel
Fabien Gaucher
Yann Rémond
Muriel Jourdan
Tools
Dissemination
Argosim
VERIMAG + STMicroelectronics common projects [2002...[
Industrial Case-Studies
Courses and Curricula
SYNCHRON
SLAP and SLA++P
Tempo
Partners
Tempo Team members
Projects
Jobs and Internships
Tools
Publications
by years
by kinds
Contact
Whom to contact
Whom to contact
How to reach us
How to reach us
News
NEWS
Doctorat Honoris Causa UGA pour Moshe Vardi
Conferences
Feb. 24, 2020
Workshop CAPITAL
May 11-15, 2020
AlgoTel et CoRes 2020
June 22-26, 2020
MOVEP 2020
Seminars
Seminars
16 December 2019
Lélio Brun:
Verified compilation of the lustre modular reset
19 December 2019
Yannick Zakowski:
From representing recursive and impure programs in coq to a modular formal semantics (...)
19 December 2019
Hang Yu:
Towards an efficient parallel parametric linear programming solver (Phd)
6 February 2020
Jules Chouquet:
Lower bounds for probabilistic k-set agreement through combinatorial (...)
New publications
Recent Publications
Rim El-Ballouli:
Modeling Self-configuration In Architecture-based Self-adaptive Systems
Alexey Bakhirkin, Nicolas Basset:
Specification and Efficient Monitoring Beyond STL
Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche:
Compositional strategy synthesis for stochastic games with multiple objectives
Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca:
Set-Based Analysis for Biological Modelling
Sylvain Boulmé, Alexandre Maréchal, David Monniaux, Michaël Périn, Hang Yu:
The Verified Polyhedron Library: an overview
Karine Altisen, Pierre Corbineau, Stéphane Devismes:
Squeezing Streams and Composition of Self-Stabilizing Algorithms
Jobs and internships
Jobs and internships
Certification of Distributed Self-Stabilizing Algorithms Using Coq
Decision Procedure for Equivalence Relations
Exploration of timing anomaly impact on processor execution for critical real-time systems
Models of Distributed Algorithms
Self-Stabilization in TVG
Simulation of Distributed Algorithms
Browsing
Sections
Verimag
Members
Publications
Tools
Projects
Partners
Workshops and Conferences
Seminars
Documents
Teams
Pacss
RSD
Synchrone
Tempo
Contact
Whom to contact
How to reach us
Site Map
Search:
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.1.11
+
AHUNTSIC
[CC License]
info visites
1367131
English
Français