Autor: "Mallet, Frédéric" - OpacWWW

Skocz do pozycji: 1 1.

Tytuł :: EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles
Autorzy :: Abou Faysal, Joelle
Zalmai, Nour
Barisic, Ankica
Mallet, Frederic; Pokaż więcej
Źródło :: Advances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings. 1481:101-111
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 2 2.

Tytuł :: Formal Verification of Cyber-Physical Systems Using Theorem Proving
Autorzy :: Rashid, Adnan
Siddique, Umair
Tahar, Sofiène; Pokaż więcej
Źródło :: Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:3-18
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 3 3.

Tytuł :: Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661
Autorzy :: Singh, Neeraj Kumar
Aït-Ameur, Yamine
Méry, Dominique
Navarre, David
Palanque, Philippe
Pantel, Marc; Pokaż więcej
Źródło :: Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:21-39
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 4 4.

Tytuł :: Verifying Resource Adequacy of Networked IMA Systems at Concept Level
Autorzy :: Saar de Moraes, Rodrigo
Nadjm-Tehrani, Simin; Pokaż więcej
Źródło :: Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:40-56
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 5 5.

Tytuł :: Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study
Autorzy :: Yuan, Shenghao
Yang, Zhibin
Bodeveix, Jean-Paul
Filali, Mamoun
Wang, Tiexin
Zhou, Yong; Pokaż więcej
Źródło :: Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:57-73
Materiał oryginalny :: Supported by organization by the National Natural Science Foundation of China (61502231); The National Key Research and Development Program of China (2016YFB1000802); The Natural Science Foundation of Jiangsu Province (BK20150753); The National Defense Basic Scientific Research Project under Grant of China (JCKY2016203B011); The Fundamental Research Funds for the Central Universities (NP2017205); the Foundation of Graduate Innovation Center in NUAA (kfjj20181603).
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 6 6.

Tytuł :: POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations
Autorzy :: Ben Khalifa, Dorra
Martel, MatthieuAff8, Aff9
Adjé, Assalé; Pokaż więcej
Źródło :: Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:77-94
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 7 7.

Tytuł :: Visualising Railway Safety Verification
Autorzy :: Pantekis, Filippos
James, Phillip
O’Reilly, Liam
Archambault, Daniel
Moller, Faron; Pokaż więcej
Źródło :: Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:95-105
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 8 8.

Tytuł :: Probabilistic Activity Recognition for Serious Games with Applications in Medicine
Autorzy :: De Maria, Elisabetta
L’Yvonnet, Thibaud
Moisan, Sabine
Rigault, Jean-Paul; Pokaż więcej
Źródło :: Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:106-124
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 9 9.

Tytuł :: A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas
Autorzy :: Yu, Emily
Seidl, Martina
Biere, Armin; Pokaż więcej
Źródło :: Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:127-132
Materiał oryginalny :: This work was supported by the Austrian FWF grant W1255-N23 and the LIT AI Lab funded by the State of Upper Austria.
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 10 10.

Tytuł :: Formal Semantics Extraction from MIPS Instruction Manual
Autorzy :: Trac, Quang Thinh
Ogawa, Mizuhito; Pokaż więcej
Źródło :: Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:133-140
: Książka elektroniczna

Szczegóły

Informacja