المؤلفون: Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall

المساهمون: Karlsruhe Institute of Technology (KIT), Max Planck Institute for Security and Privacy [Bochum] (MPI Security and Privacy), Thales Research and Technology [Palaiseau], THALES [France], Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Laboratoire Sûreté des Logiciels (LSL), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), CentraleSupélec, Mathématiques et Informatique pour la Complexité et les Systèmes (MICS), CentraleSupélec-Université Paris-Saclay, Prevosto, Virgile

المصدر: Leveraging Applications of Formal Methods, Verification and Validation
ISoLA 2022-11th International Symposium On Leveraging Applications of Formal Methods
ISoLA 2022-11th International Symposium On Leveraging Applications of Formal Methods, Oct 2022, Rhodes, Greece. pp.498-516, ⟨10.1007/978-3-031-19849-6_28⟩
ISoLA 2022-11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
ISoLA 2022-11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2022, Rhodes, Greece
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles ISBN: 9783031198489

مصطلحات موضوعية: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::74cb745a05cc4cf54cde26b59e622194
https://cea.hal.science/cea-04119217/document

المؤلفون: Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall

المساهمون: Karlsruhe Institute of Technology (KIT), Thales Research and Technology [Palaiseau], THALES [France], Laboratoire Sûreté des Logiciels (LSL), Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Ecole Supérieure d'Electricité - SUPELEC (FRANCE), Maurice H. ter Beek, Rosemary Monahan

المصدر: Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceeding
iFM 2022 : International Conference on integrated Formal Methods
iFM 2022 : International Conference on integrated Formal Methods, Jun 2022, Lugano, Switzerland. pp.86-105, ⟨10.1007/978-3-031-07727-2_6⟩
Lecture Notes in Computer Science ISBN: 9783031077265

مصطلحات موضوعية: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, DATA processing & computer science, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], ddc:004

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e7c9e79489178cf10d1d4056948a31b9
https://publikationen.bibliothek.kit.edu/1000148101

المؤلفون: Jonas Krämer, Lionel Blatter, Eva Darulova, Mattias Ulbrich

المصدر: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995232
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science

مصطلحات موضوعية: Datavetenskap (datalogi), Computer Sciences, DATA processing & computer science, ddc:004

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::032c51c0b2c611abdb075f8e939d6aab
https://doi.org/10.1007/978-3-030-99524-9_16

المؤلفون: Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto

المساهمون: Laboratoire Sûreté des Logiciels (LSL), Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Mathématiques et Informatique pour la Complexité et les Systèmes (MICS), CentraleSupélec, Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA))

المصدر: Approches Formelles pour l'Assistance au Développement de Logiciels-AFADL
Approches Formelles pour l'Assistance au Développement de Logiciels-AFADL, Jun 2018, Grenoble, France
HAL

مصطلحات موضوعية: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::30d49a9c67daa766b9b05d51574f1db9
https://hal-cea.archives-ouvertes.fr/cea-01835491

المؤلفون: Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, Guillaume Petiot, Lionel Blatter

المساهمون: Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Laboratoire Sûreté des Logiciels (LSL), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Mathématiques et Informatique pour la Complexité et les Systèmes (MICS), CentraleSupélec, Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA))

المصدر: Tests and Proofs ISBN: 9783319929934
TAP@STAF
Tests and Proofs-TAP
Tests and Proofs-TAP, Jun 2018, Toulouse, France
HAL

مصطلحات موضوعية: FOS: Computer and information sciences, Theoretical computer science, Property (programming), Computer science, media_common.quotation_subject, dynamic verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 0102 computer and information sciences, 02 engineering and technology, Encryption, computer.software_genre, 01 natural sciences, Frama-C, Computer Science - Software Engineering, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Plug-in, Function (engineering), self-composition, relational properties, media_common, business.industry, 020207 software engineering, Modular design, deductive veri- fication, Software Engineering (cs.SE), specification, 010201 computation theory & mathematics, Key (cryptography), business, computer, Counterexample

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cf2e186b9f168180515a4ceb3194a8b1
https://doi.org/10.1007/978-3-319-92994-1_3

المؤلفون: Lionel Blatter, Virgile Prevosto, Nikolai Kosmatov, Pascale Le Gall

المساهمون: Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Mathématiques et Informatique pour la Complexité et les Systèmes (MICS), CentraleSupélec, Part of the research work leading to these results has received funding for DEWI project (www.dewi-project.eu) from the ARTEMIS Joint Undertaking under grant agreement No. 621353, and for the S3P project from French DGE and BPIFrance., European Project: 621353,EC:FP7:SP1-JTI,ARTEMIS-2013-1,DEWI(2014), Département Ingénierie Logiciels et Systèmes ( DILS ), Laboratoire d'Intégration des Systèmes et des Technologies ( LIST ), Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay-Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay, Mathématiques et Informatique pour la Complexité et les Systèmes ( MICS ), European Project : 621353,EC:FP7:SP1-JTI,ARTEMIS-2013-1,DEWI ( 2014 ), Laboratoire d'Intégration des Systèmes et des Technologies (LIST)

المصدر: TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems
TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems, Apr 2017, Uppsala, Sweden. pp.391-397, ⟨10.1007/978-3-662-54577-5_22⟩
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10205 LNCS, pp.391-397. 〈10.1007/978-3-662-54577-5_22〉
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783662545768
TACAS (1)

مصطلحات موضوعية: FOS: Computer and information sciences, Theoretical computer science, [ INFO ] Computer Science [cs], Dataflow, Computer science, Relational database, Property (programming), Deductive verification, media_common.quotation_subject, Theoretical approach, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Computer Science - Software Engineering, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), [INFO]Computer Science [cs], Function (engineering), Finite set, Relational properties, media_common, Code transformation, Automatic proofs, Programming language, 020207 software engineering, Software Engineering (cs.SE), Cosine transforms, Relational calculus, 010201 computation theory & mathematics, Codd's theorem, C (programming language), Program execution, Other properties, computer, Specification and verification

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2b7b5798b46be3f257d5953c00cf648f
https://cea.hal.science/cea-01808885