, What is stepper motor resonance?, 2013.
, Systems modeling language, 2018.
, Whip: safe composition of micro-services. ttp://whip.services, 2018.
,
Rigorous component-based system design using the BIP framework, IEEE Software, vol.28, issue.3, pp.41-48, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00722395
A synchronous approach to quasi-periodic systems, 2017. ,
URL : https://hal.archives-ouvertes.fr/tel-01507595
Police ground drones after reports they fall out of the sky, 2018. ,
Contracts for system design, Foundations and Trends® in Electronic Design Automation, vol.12, issue.2-3, pp.124-400, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-00757488
A protocol for loosely time-triggered architectures, International Workshop on Embedded Software, pp.252-265 ,
URL : https://hal.archives-ouvertes.fr/inria-00526261
, , 2002.
Proving the tls handshake secure (as it is), International Cryptology Conference, pp.235-255, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01102231
A methodology for correct-by-construction latency insensitive design, Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, pp.309-315, 1999. ,
Spanner: Gogle's globally distributed database, ACM Transactions on Computer Systems (TOCS), vol.31, issue.3, 2013. ,
Interface automata, Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp.109-120, 2001. ,
Approximate synchrony: An abstraction for distributed almost-synchronous systems, International Conference on Computer Aided Verification, pp.429-448, 2015. ,
Pulsar: A wireless propagation-aware clock synchronization platform, Real-Time and Embedded Technology and Applications Symposium (RTAS), 2017 IEEE, pp.283-292, 2017. ,
The case for the precision timed (PRET) machine, Proceedings of the 44th Design Automation Conference, pp.264-265, 2007. ,
An overview of the SAE architecture analysis & design language (AADL) standard: A basis for model-based architecture-driven embedded systems engineering, Architecture Description Languages -IFIP TC-2 Workshop on Architecture Description Languages (WADL), pp.3-15, 2004. ,
Certikos: An extensible architecture for building certified concurrent os kernels, OSDI, vol.16, pp.653-669, 2016. ,
,
sel4: formal verification of an OS kernel, Proceedings of the 22nd ACM Symposium on Operating Systems Principles, pp.207-220, 2009. ,
dreach: ?-reachability analysis for hybrid systems, International Conference on TOOLS and Algorithms for the Construction and Analysis of Systems, pp.200-205, 2015. ,
Why is IoT so insecure?, 2016. ,
Refinement-based synthesis of correct contract model decompositions, Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, pp.134-143, 2014. ,
Compositional proofs in differential dynamic logic dl, Application of Concurrency to System Design (ACSD), 2017 17th International Conference on, pp.19-28, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01615140
Unikernels: Rise of the virtual library operating system, Queue, vol.11, issue.11, p.30, 2013. ,
Cyber-physical system design from an architecture analysis viewpoint ,
URL : https://hal.archives-ouvertes.fr/hal-01615144
Vérification formelle concluante des propriétés des systèmes multi-horloges, 2018. ,
The structure of differential invariants and differential cut elimination, Logical Methods in Computer Science, vol.8, issue.4, 2011. ,
Keymaera: A hybrid theorem prover for hybrid systems (system description), Automated Reasoning, 4th International Joint Conference, pp.171-178, 2008. ,
The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science, pp.46-57, 1977. ,
From concurrent multi-clock programs to deterministic asynchronous implementations, Fundam. Inform, vol.108, issue.1-2, pp.91-118, 2011. ,
Verified low-level programming embedded in f, Proceedings of the ACM on Programming Languages, vol.1, p.17, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01672706
A modal interface theory for component-based design, Fundam. Inform, vol.108, issue.1-2, pp.119-149, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00554283
Liquid types, ACM SIGPLAN Notices, vol.43, pp.159-169, 2008. ,
Contract-based integration of cyber-physical analyses, Embedded Software (EMSOFT), 2014 International Conference on, pp.1-10, 2014. ,
Taming dr. frankenstein: Contract-based design for cyber-physical systems, Eur. J. Control, vol.18, issue.3, pp.217-238, 2012. ,
Real-time scheduling interfaces and contracts for the design of distributed embedded systems, 8th IEEE International Symposium on Industrial Embedded Systems, SIES 2013, pp.130-139, 2013. ,
Dependent types and multi-monadic effects in f, In ACM SIGPLAN Notices, vol.51, pp.256-270, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01265793
Arduino clock frequency accuracy, 2012. ,
The challenge of interoperability: model-based integration for automotive control software, Proceedings of the 52nd Annual Design Automation Conference, vol.58, pp.1-58, 2015. ,
A "hybrid" approach for synthesizing optimal controllers of hybrid systems: A case study of the oil pump industrial example, FM 2012: Formal Methods -18th International Symposium, pp.471-485, 2012. ,