1 |
Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation
|
|
|
|
In: 2021 IEEE Intelligent Vehicles Symposium (IV) ; https://hal.archives-ouvertes.fr/hal-03540190 ; 2021 IEEE Intelligent Vehicles Symposium (IV), Jul 2021, Nagoya, Japan. pp.215-222, ⟨10.1109/IV48863.2021.9575528⟩ (2021)
|
|
BASE
|
|
Show details
|
|
2 |
Sequential grammars with activation and blocking of rules
|
|
|
|
In: 8th International Conference on Machines, Computations, and Universality (MCU 2018) ; https://hal.archives-ouvertes.fr/hal-01825162 ; 8th International Conference on Machines, Computations, and Universality (MCU 2018), Jun 2018, Fontainebleau, France. pp.51--68, ⟨10.1007/978-3-319-92402-1_3⟩ (2018)
|
|
BASE
|
|
Show details
|
|
3 |
Representing and computing with types in dynamically typed languages ; Représentation et calcul avec des types dans des langages à typage dynamique
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03018107 ; Symbolic Computation [cs.SC]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS440⟩ (2018)
|
|
BASE
|
|
Show details
|
|
4 |
A Joint Development of Coloured Petri Nets and the B Method in Critical Systems
|
|
|
|
In: ISSN: 0948-695X ; EISSN: 0948-6968 ; Journal of Universal Computer Science ; https://hal.archives-ouvertes.fr/hal-01266935 ; Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2015, 21 (12), pp.1654-1683 (2015)
|
|
BASE
|
|
Show details
|
|
5 |
Hilbert-Post completeness for the state and the exception effects
|
|
|
|
In: Lecture Notes in Computer Sciences ; Sixth International Conference on Mathematical Aspects of Computer and Information Sciences ; https://hal.archives-ouvertes.fr/hal-01121924 ; Sixth International Conference on Mathematical Aspects of Computer and Information Sciences, Nov 2015, Berlin, Germany. pp.596-610, ⟨10.1007/978-3-319-32859-1_51⟩ (2015)
|
|
BASE
|
|
Show details
|
|
6 |
Formal verification in Coq of program properties involving the global state effect
|
|
|
|
In: JFLA 2014 - Journées Francophones des Langages Applicatifs ; https://hal.archives-ouvertes.fr/hal-00869230 ; JFLA 2014 - Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. pp.1-17 (2014)
|
|
BASE
|
|
Show details
|
|
7 |
Game semantics and parsing context-free lambda-grammars ; Jeux de typage et analyse de lambda-grammaires non-contextuelles
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00733964 ; Informatique et langage [cs.CL]. Université Sciences et Technologies - Bordeaux I, 2012. Français (2012)
|
|
BASE
|
|
Show details
|
|
8 |
Position de Noether Forte et Régularités Stabilisées
|
|
|
|
In: https://hal.inria.fr/inria-00098652 ; [Research Report] 2006, pp.21 (2006)
|
|
BASE
|
|
Show details
|
|
9 |
Modelling music with grammars: formal language representation in the Bol Processor
|
|
|
|
In: Computer Representations and Models in Music ; https://halshs.archives-ouvertes.fr/halshs-00004506 ; Computer Representations and Models in Music, Academic Press, pp.207-238, 1992 (1992)
|
|
BASE
|
|
Show details
|
|
|
|