bozga
Send a private message to this author
Articles by this author
Autonomous Robotic Systems
Monday 30 January 2017
The BIP Framework
Monday 30 January 2017
BIP Extensions
Monday 30 January 2017
Scheduling for Mixed-Criticality Systems
Monday 30 January 2017
Statistical Model Checking
Monday 30 January 2017
Decentralized Implementation
Monday 30 January 2017
Networked Embedded Systems
Monday 30 January 2017
Runtime Monitoring
Monday 30 January 2017
Information Flow Security Analysis
Monday 30 January 2017
Model-to-Model Transformations
Monday 30 January 2017
ACOSE
Sunday 30 November 2014
ACROSS
Thursday 31 October 2013
ADE
Tuesday 1 June 2021
ArrowHead
Tuesday 28 February 2017
ASL 2022 : Advances in Separation Logic
Monday 1 August 2022
AVoCS 2019
Sunday 1 September 2019
BRAIN-IoT
Monday 1 March 2021
CADE-24 Skolem Award
Monday 30 October 2023
CERTAINTY
Saturday 31 May 2014
CHAPI
Wednesday 31 July 2013
CITADEL
Wednesday 31 July 2019
Cooperation PragmaDev
Thursday 31 December 2026
CPSE-Labs
Saturday 31 December 2016
CyPhERS
Saturday 28 February 2015
D-MILS
Saturday 31 October 2015
ERGO
Sunday 30 June 2019
ESROCOS
Sunday 30 June 2019
InVeSt
Thursday 17 September 2009
ManycoreLabs
Tuesday 30 June 2015
MARAE
Thursday 30 June 2011
Moc4Space
Wednesday 31 August 2022
MoSATT-CMP
Monday 29 February 2016
PhD position: Decision Procedures for Inductive Separation Logic Modulo Data Theories
Sunday 31 October 2021
PhD position: Proving Correctness of Reconfigurable Systems
Thursday 30 September 2021
Post-Docs: Model-Based Design and Validation of Safety-Critical Systems
Saturday 31 December 2016
Postdoctoral position at VERIMAG
Thursday 31 December 2020
PRO3D
Monday 31 December 2012
SAFENAV
Sunday 31 December 2017
SARGON
Monday 31 July 2017
SMECY
Wednesday 31 July 2013
SMI
Friday 18 September 2009
SUCCESS
Tuesday 31 December 2019
Transatlantic CPS Summit
Monday 1 August 2016
[Funded PhD] Formal Modeling and Verification of Parameterized and Distributed Systems
Monday 30 September 2024
[Master] A Solver for Monadic Second Order Logic of Graphs of Bounded Tree-width
Sunday 31 March 2024
[Master] Decision Procedures for Separation Logic Modulo Theories of Data
Thursday 30 June 2022
[Master] Formal Methods for the Verification of Self-Adapting Distributed Systems
Wednesday 30 October 2024
[Master] Local Reasoning about Reconfigurable Component-based Systems
Thursday 30 June 2022
[Master] Modeling and Simulation of Modular Robots with DR-BIP
Wednesday 31 January 2024
[Master] Verifying Concurrent Systems with Automata over Infinite Alphabets
Thursday 30 June 2022
[PhD] Logical Foundations of Self-Adapting Distributed Systems
Sunday 31 December 2023
