bozga
Envoyer un message privé à cet auteur
Articles de cet auteur
Autonomous Robotic Systems
lundi 30 janvier 2017
The BIP Framework
lundi 30 janvier 2017
BIP Extensions
lundi 30 janvier 2017
Scheduling for Mixed-Criticality Systems
lundi 30 janvier 2017
Statistical Model Checking
lundi 30 janvier 2017
Decentralized Implementation
lundi 30 janvier 2017
Networked Embedded Systems
lundi 30 janvier 2017
Runtime Monitoring
lundi 30 janvier 2017
Information Flow Security Analysis
lundi 30 janvier 2017
Model-to-Model Transformations
lundi 30 janvier 2017
ACOSE
dimanche 30 novembre 2014
ACROSS
jeudi 31 octobre 2013
ADE
mardi 1er juin 2021
ArrowHead
mardi 28 février 2017
ASL 2022 : Advances in Separation Logic
lundi 1er août 2022
AVoCS 2019
dimanche 1er septembre 2019
BRAIN-IoT
lundi 1er mars 2021
CADE-24 Skolem Award
lundi 30 octobre 2023
CERTAINTY
samedi 31 mai 2014
CHAPI
mercredi 31 juillet 2013
CITADEL
mercredi 31 juillet 2019
Cooperation PragmaDev
jeudi 31 décembre 2026
CPSE-Labs
samedi 31 décembre 2016
CyPhERS
samedi 28 février 2015
D-MILS
samedi 31 octobre 2015
ERGO
dimanche 30 juin 2019
ESROCOS
dimanche 30 juin 2019
InVeSt
jeudi 17 septembre 2009
ManycoreLabs
mardi 30 juin 2015
MARAE
jeudi 30 juin 2011
Moc4Space
mercredi 31 août 2022
MoSATT-CMP
lundi 29 février 2016
PhD position : Decision Procedures for Inductive Separation Logic Modulo Data Theories
dimanche 31 octobre 2021
PhD position : Proving Correctness of Reconfigurable Systems
jeudi 30 septembre 2021
Post-Docs : Model-Based Design and Validation of Safety-Critical Systems
samedi 31 décembre 2016
Postdoctoral position at VERIMAG
jeudi 31 décembre 2020
PRO3D
lundi 31 décembre 2012
SAFENAV
dimanche 31 décembre 2017
SARGON
lundi 31 juillet 2017
SMECY
mercredi 31 juillet 2013
SMI
vendredi 18 septembre 2009
SUCCESS
mardi 31 décembre 2019
Transatlantic CPS Summit
lundi 1er août 2016
[Funded PhD] Formal Modeling and Verification of Parameterized and Distributed Systems
lundi 30 septembre 2024
[Master] A Solver for Monadic Second Order Logic of Graphs of Bounded Tree-width
dimanche 31 mars 2024
[Master] Decision Procedures for Separation Logic Modulo Theories of Data
jeudi 30 juin 2022
[Master] Formal Methods for the Verification of Self-Adapting Distributed Systems
mercredi 30 octobre 2024
[Master] Local Reasoning about Reconfigurable Component-based Systems
jeudi 30 juin 2022
[Master] Modeling and Simulation of Modular Robots with DR-BIP
mercredi 31 janvier 2024
[Master] Verifying Concurrent Systems with Automata over Infinite Alphabets
jeudi 30 juin 2022
[PhD] Logical Foundations of Self-Adapting Distributed Systems
dimanche 31 décembre 2023
