axe_Mohytos
info dans groupe team
info articles lies mot
Articles
Members
Wednesday 16 September 2015
by jahier
by years
Wednesday 31 December 2025
by jahier
by kinds
Wednesday 31 December 2025
by jahier
Partners
Wednesday 16 September 2015
by jahier
BIP Compiler
Tuesday 7 February 2012
by Jacques Combaz, poulhies
Bob AUBOUIN-PAIRAULT
Tuesday 31 December 2024
by jahier
Cooperation PragmaDev
Thursday 31 December 2026
by bozga
Moc4Space
Wednesday 31 August 2022
by bozga
PhD position: Decision Procedures for Inductive Separation Logic Modulo Data Theories
Sunday 31 October 2021
by bozga
PhD position: Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
Friday 31 December 2021
by Nicolas Basset , dang
PhD position: Proving Correctness of Reconfigurable Systems
Thursday 30 September 2021
by bozga
Postdoctoral position at VERIMAG
Thursday 31 December 2020
by bozga
Thèse/PhD Position - Coverage Measures for Machine Learning Enabled Cyber-Physical Systems
Wednesday 28 December 2022
by dang
[Funded PhD] Formal Modeling and Verification of Parameterized and Distributed Systems
Monday 30 September 2024
by bozga
[Master] A Solver for Monadic Second Order Logic of Graphs of Bounded Tree-width
Sunday 31 March 2024
by bozga
[Master] Decision Procedures for Separation Logic Modulo Theories of Data
Thursday 30 June 2022
by bozga
[Master] Formal Methods for the Verification of Self-Adapting Distributed Systems
Wednesday 30 October 2024
by bozga
[Master] Local Reasoning about Reconfigurable Component-based Systems
Thursday 30 June 2022
by bozga
[Master] Modeling and Simulation of Modular Robots with DR-BIP
Wednesday 31 January 2024
by bozga
[Master] Verifying Concurrent Systems with Automata over Infinite Alphabets
Thursday 30 June 2022
by bozga
[PhD] Logical Foundations of Self-Adapting Distributed Systems
Sunday 31 December 2023
by bozga
