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

Other keywords in this group

Other groups of keywords

Sections

Contact | Site Map | Site powered by SPIP 4.2.13 + AHUNTSIC [CC License]

info visites 4001503