23 results  save search

hal-01089742v3  Reports
van Chan NgoAxel LegayJean Quilbeuf. Dynamic Verification of SystemC with Statistical Model Checking
[Research Report] RR-8644, INRIA Rennes - Bretagne Atlantique, équipe ESTASYS; INRIA. 2014, pp.25
tel-01058041v1  Theses
van Chan Ngo. Formal Verification of a Synchronous Data- flow Compiler : from Signal to C
Software Engineering [cs.SE]. Université Rennes 1, 2014. English
tel-01114001v1  Habilitation à diriger des recherches
David Pichardie. Toward a Verified Software Toolchain for Java
Computer Science [cs]. ENS Cachan, 2012
hal-00646426v1  Conference papers
Benoit CombemaleXavier CrégutArnaud DieumegardMarc PantelFaiez Zalila. Teaching MDE through the Formal Verification of Process Models
7th Educators' Symposium @ MODELS 2011: Software Modeling in Education (EduSymp2011), Marion Brandsteidl; Andreas Winter, Oct 2011, Wellington, New Zealand
hal-00542167v1  Conference papers
Jean-Pierre TalpinPaul Le GuernicSandeep ShuklaR.K. GuptaFrédéric Doucet. Polychrony for refinement-based design
Design, Automation and Test in Europe Conference and Exposition (DATE 2003), Mar 2003, Munich, Germany. pp.11172-11173, ⟨10.1109/DATE.2003.1253786⟩
hal-00541841v1  Conference papers
Abdoulaye GamatiéThierry Gautier. Synchronous modeling of avionics applications using the SIGNAL language
9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), May 2003, Toronto, Canada. pp.144-151, ⟨10.1109/RTTAS.2003.1203046⟩
hal-01088031v1  Conference papers
Alessio ColomboDaniele FontanelliAxel LegayLuigi PalopoliSean Sedwards. Motion planning in crowds using statistical model checking to enhance the social force model
CDC 2013 - IEEE 52nd Annual Conference on Decision and Control, Dec 2013, Florence, Italy. pp.3602 - 3608, ⟨10.1109/CDC.2013.6760437⟩
hal-01088063v1  Conference papers
Alessio ColomboDaniele FontanelliDhaval GandhiAntonella de AngeliLuigi Palopoli et al.  Behavioural templates improve robot motion planning with social force model in human environments
2013 IEEE 18th Conference on Emerging Technologies \& Factory Automation (ETFA), Sep 2013, Cagliari, Italy. pp.1 - 6, ⟨10.1109/ETFA.2013.6648081⟩
hal-01767328v1  Conference papers
Van Chan NgoJean-Pierre TalpinThierry Gautier. Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.66-80, ⟨10.1007/978-3-319-19195-9_5 ⟩
hal-01238982v1  Conference papers
Cyrille JegourelAxel LegaySean SedwardsLouis-Marie Traonouez. Distributed Verification of Rare Properties using Importance Splitting Observers
Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015), Sep 2015, Edinburgh, United Kingdom
hal-01390707v1  Conference papers
Everton CavalcanteJean QuilbeufLouis-Marie TraonouezFlavio OquendoThais Batista et al.  Statistical Model Checking of Dynamic Software Architectures
ECSA 2016 - 10th European Conference on Software Architecture, Nov 2016, Copenhague, Denmark
hal-01440744v1  Conference papers
Soraya MesliDjamal KesraouiFlavio OquendoAlain BignonArmand Toguyéni et al.  Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams
Proceedings of the 10th European Conference on Software Architecture (ECSA 2016), Nov 2016, Copenhagen, Denmark. pp.210-226
hal-02193635v1  Conference papers
Jean-Pierre TalpinJean-Joseph MartyShravan NarayanDeian StefanRajesh Gupta. Towards verified programming of embedded devices
DATE 2019 - 22nd IEEE/ACM Design, Automation and Test in Europe, Mar 2019, Florence, Italy. pp.1445-1450, ⟨10.23919/DATE.2019.8715067⟩
hal-02449080v1  Journal articles
Gene CoopermanMartin Quinson. Sthread: In-Vivo Model Checking of Multithreaded Programs
The Art, Science, and Engineering of Programming, aosa, Inc., In press
hal-00822000v1  Conference papers
Mohamed Aymen ChaloufFrancine KriefNader MbarekTayeb Lemlouma. Improvement of a Service Level Negotiation Protocol using Formal Verification
The Eighteenth IEEE symposium on Computers and Communications, Jul 2013, Split, Croatia
tel-01944510v3  Theses
Alix Trieu. Verifying constant-time implementations in a verified compilation toolchain
Cryptography and Security [cs.CR]. Université Rennes 1, 2018. English. ⟨NNT : 2018REN1S099⟩