Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-se]computer science [cs]/software engineering [cs.se] 42 Treffer
- [info]computer science [cs] 37 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 29 Treffer
- [info.info-es]computer science [cs]/embedded systems 18 Treffer
- [scco.comp]cognitive science/computer science 14 Treffer
-
45 weitere Werte:
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 11 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 11 Treffer
- static analysis 10 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 9 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 8 Treffer
- [info.info-os]computer science [cs]/operating systems [cs.os] 8 Treffer
- [info.info-cv]computer science [cs]/computer vision and pattern recognition [cs.cv] 7 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 7 Treffer
- [phys]physics [physics] 7 Treffer
- [spi]engineering sciences [physics] 7 Treffer
- frama-c 7 Treffer
- test generation 6 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 5 Treffer
- lustre 5 Treffer
- reactive systems 5 Treffer
- run-time errors 5 Treffer
- statistical testing 5 Treffer
- [info.info-na]computer science [cs]/numerical analysis [cs.na] 4 Treffer
- [math.math-oc]mathematics [math]/optimization and control [math.oc] 4 Treffer
- [math.math-ra]mathematics [math]/rings and algebras [math.ra] 4 Treffer
- [math]mathematics [math] 4 Treffer
- abstract interpretation 4 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 4 Treffer
- acm: d.: software/d.3: programming languages 4 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.2: semantics of programming languages 4 Treffer
- algebre lineaire 4 Treffer
- c pointers 4 Treffer
- coverage criteria 4 Treffer
- deductive verification 4 Treffer
- explainable ai 4 Treffer
- information flow 4 Treffer
- internet of things 4 Treffer
- movies 4 Treffer
- multilayer networks 4 Treffer
- out-of-distribution detection 4 Treffer
- runtime verification 4 Treffer
- verification 4 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 3 Treffer
- [info.info-ts]computer science [cs]/signal and image processing 3 Treffer
- [spi.other]engineering sciences [physics]/other 3 Treffer
- chemical reaction networks 3 Treffer
- dynamic verification 3 Treffer
- geometric optimal control 3 Treffer
- linked lists 3 Treffer
- network similarity 3 Treffer
Verlag
Publikation
- sarssi - 8eme conference sur la securite des architectures reseaux et des systemes d'information ; https://inria.hal.science/hal-00909293 ; sarssi - 8eme conference sur la securite des architectures reseaux et des systemes d'information, sep 2013, mont de marsan, france 5 Treffer
- les vingt-neuviemes journees francophones des langages applicatifs (the 29th francophone days of application languages - jfla 2018) ; https://cea.hal.science/cea-01809497 ; les vingt-neuviemes journees francophones des langages applicatifs (the 29th francophone days of application languages - jfla 2018), jan 2018, banyuls-sur-mer, france 4 Treffer
- proceedings of the 24th international conference on software & systems engineering and their applications (icssea 2012) ; icssea 2012 - 24th international conference on software & systems engineering and their applications ; https://hal.science/hal-00724508 ; icssea 2012 - 24th international conference on software & systems engineering and their applications, oct 2012, paris, france. pp.1-7 4 Treffer
- 18e journees approches formelles dans l'assistance au developpement de logiciels ; https://hal.science/hal-02175079 ; 18e journees approches formelles dans l'assistance au developpement de logiciels, jun 2019, toulouse, france 3 Treffer
- erts 2008 proceedings ; embedded real time software and systems (erts2008) ; https://hal.science/hal-02270268 ; embedded real time software and systems (erts2008), jan 2008, toulouse, france 3 Treffer
-
3 weitere Werte:
- popl 2017 - acm symposium on principles of programming languages ; https://inria.hal.science/hal-01618360 ; popl 2017 - acm symposium on principles of programming languages, jan 2017, paris, france. pp.874-887, ⟨10.1145/3009837.3009889⟩ ; https://popl17.sigplan.org/ 3 Treffer
- actes des vingt-sixiemes journees francophones des langages applicatifs (jfla 2015) ; vingt-sixiemes journees francophones des langages applicatifs (jfla 2015) ; https://inria.hal.science/hal-01099135 ; vingt-sixiemes journees francophones des langages applicatifs (jfla 2015), jan 2015, le val d'ajol, france ; http://jfla.inria.fr/2015 2 Treffer
- computer safety, reliability, and security. safecomp 2023 workshops ; https://cea.hal.science/cea-04254022 ; computer safety, reliability, and security. safecomp 2023 workshops, sep 2023, toulouse, france 1 Treffer
Sprache
Geographischer Bezug
157 Treffer
-
In: RTSI 2022, IEEE 7th Forum on Research and Technologies for Society and Industry Innovation ; https://hal.science/hal-03810269 ; RTSI 2022, 2022Online KonferenzZugriff:
-
In: RTSI 2022, IEEE 7th Forum on Research and Technologies for Society and Industry Innovation ; https://hal.science/hal-03810269 ; RTSI 2022, 2022Online KonferenzZugriff:
-
In: 2023 IEEE Information Theory Workshop (ITW) ; https://hal.science/hal-04189307 ; 2023 IEEE Information Theory Workshop (ITW), Apr 2023, Saint-Malo, France. pp.299-304, ⟨10.1109/ITW55543.2023.10161629⟩, 2023KonferenzZugriff:
-
In: 2023 IEEE Information Theory Workshop (ITW) ; https://hal.science/hal-04189307 ; 2023 IEEE Information Theory Workshop (ITW), Apr 2023, Saint-Malo, France. pp.299-304, ⟨10.1109/ITW55543.2023.10161629⟩, 2023KonferenzZugriff:
-
In: Lecture Notes in Computer Science (LNCS) ; ESOP 2023 - 32nd European Symposium on Programming, 2023Online KonferenzZugriff:
-
In: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ; https://cea.hal.science/cea-04254022 ; Computer Safety, 2023Online KonferenzZugriff:
-
In: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ; https://cea.hal.science/cea-04254022 ; Computer Safety, 2023Online KonferenzZugriff:
-
In: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ; https://cea.hal.science/cea-04254022 ; Computer Safety, 2023Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science (LNCS) ; ESOP 2023 - 32nd European Symposium on Programming, 2023Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science (LNCS) ; ESOP 2023 - 32nd European Symposium on Programming, 2023Online KonferenzZugriff:
-
In: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ; https://cea.hal.science/cea-04254022 ; Computer Safety, 2023Online KonferenzZugriff:
-
In: 19ème congrès de l'Association des Chercheurs en Activités Physiques et Sportives (ACAPS) ; https://hal.science/hal-04158634 ; 19ème congrès de l'Association des Chercheurs en Activités Physiques et Sportives (ACAPS), Oct 2021, Montpellier, France, 2021KonferenzZugriff:
-
In: 19ème congrès de l'Association des Chercheurs en Activités Physiques et Sportives (ACAPS) ; https://hal.science/hal-04158634 ; 19ème congrès de l'Association des Chercheurs en Activités Physiques et Sportives (ACAPS), Oct 2021, Montpellier, France, 2021KonferenzZugriff:
-
In: JFLA 2022 - Journées Francophones des Langages Applicatifs ; https://hal-cea.archives-ouvertes.fr/cea-04060700 ; JFLA 2022 - Journées Francophones des Langages Applicatifs, Feb 2022, Saint-Médard-d'Excideuil, France, 2022Online KonferenzZugriff:
-
In: 18th IFAC Workshop on Control Applications of Optimization CAO 2022 ; https://hal.science/hal-03551676 ; 18th IFAC Workshop on Control Applications of Optimization CAO 2022, Jul 2022, Gif sur Yvette, France. ⟨10.1016/j.ifacol.2022.08.080⟩, 2022Online KonferenzZugriff:
-
In: 18th IFAC Workshop on Control Applications of Optimization CAO 2022 ; https://hal.science/hal-03551676 ; 18th IFAC Workshop on Control Applications of Optimization CAO 2022, Jul 2022, Gif sur Yvette, France. ⟨10.1016/j.ifacol.2022.08.080⟩, 2022Online KonferenzZugriff:
-
In: JFLA 2022 - Journées Francophones des Langages Applicatifs ; https://hal-cea.archives-ouvertes.fr/cea-04060700 ; JFLA 2022 - Journées Francophones des Langages Applicatifs, Feb 2022, Saint-Médard-d'Excideuil, France, 2022Online KonferenzZugriff:
-
In: Journées Francophones des Langages Applicatifs ; 33èmes Journées Francophones des Langages Applicatifs ; https://inria.hal.science/hal-03626792 ; 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.61-77, 2022Online KonferenzZugriff:
-
In: JFLA 2022 - Journées Francophones des Langages Applicatifs ; https://hal-cea.archives-ouvertes.fr/cea-04060700 ; JFLA 2022 - Journées Francophones des Langages Applicatifs, Feb 2022, Saint-Médard-d'Excideuil, France, 2022Online KonferenzZugriff:
-
In: 18th IFAC Workshop on Control Applications of Optimization CAO 2022 ; https://hal.science/hal-03551676 ; 18th IFAC Workshop on Control Applications of Optimization CAO 2022, Jul 2022, Gif sur Yvette, France. ⟨10.1016/j.ifacol.2022.08.080⟩, 2022Online KonferenzZugriff: