NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.

José Rufino; António Casimiro; Antónia Lopes; Frank Singhoff; Stéphane Rubini; Valérie-Anne Nicolas; Mounir Lallali; Mourad Dridi; Jalil Boukhobza; Lyes Allache

Home
Submit
Browse
Search
help
Folder
- Bib2HAL
- Link
- OCdHAL
- Link
- MédiHAL

NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.

José Rufino António Casimiro Antónia Lopes Frank Singhoff ^{1, 2} Stéphane Rubini ² Valérie-Anne Nicolas Mounir Lallali ² Mourad Dridi ² Jalil Boukhobza ² Lyes Allache

1 Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance

2 Lab-STICC_UBO_CACS_MOCS

IBNM - Institut Brestois du Numérique et des Mathématiques, Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance

José Rufino AuthorId : 873383
Author

António Casimiro AuthorId : 1502779

Author

Antónia Lopes AuthorId : 1534854

Author

Frank Singhoff ^{1, 2} AuthorId : 1127303

Author IdHAL : frank-singhoff

Stéphane Rubini ² AuthorId : 101797

Author IdHAL : stephane-rubini ORCID : https://orcid.org/0000-0002-3206-0310

Valérie-Anne Nicolas AuthorId : 624398

Author

Mounir Lallali ² AuthorId : 732191

Author IdHAL : mounir-lallali

Mourad Dridi ² AuthorId : 1228822
Author Employer institution : Laboratoire des Sciences et Techniques de l'Information, de la Communication et de la Connaissance

Jalil Boukhobza ² AuthorId : 956262

Author IdHAL : jalil-boukhobza ORCID : https://orcid.org/0000-0002-2194-4006

Lyes Allache AuthorId : 11269523
Author

1 Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Technopole Brest Iroise CS 83818 29238 BREST cedex 3 - France) StructId : 486345

ENIB - École Nationale d'Ingénieurs de Brest (945 avenue du Technopole - 29280 Plouzané - France) StructId : 131284
UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265
UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France) StructId : 300314
ENSTA Bretagne (2 rue François Verny, 29806 Brest cedex 9 - France) StructId : 301846
Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France) StructId : 302102
CNRS - Centre National de la Recherche Scientifique : UMR6285 (France) StructId : 441569
UBL - Université Bretagne Loire (Cité Internationale, 1 place Paul Ricoeur - CS 54417 35044 RENNES CEDEX - France) StructId : 469973
IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 - Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES - Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France) StructId : 481355

2 Lab-STICC_UBO_CACS_MOCS (Université de Bretagne Occidentale, 20 avenue Le Gorgeu, CS 93837, 29238 Brest Cedex 3 - France) StructId : 489718

IBNM - Institut Brestois du Numérique et des Mathématiques (Université de Brest - UBO 3 Rue des Archives, 29238 Brest - France) StructId : 301521
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France) StructId : 300314
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Technopole Brest Iroise CS 83818 29238 BREST cedex 3 - France) StructId : 486345
- ENIB - École Nationale d'Ingénieurs de Brest (945 avenue du Technopole - 29280 Plouzané - France) StructId : 131284
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France) StructId : 300314
- ENSTA Bretagne (2 rue François Verny, 29806 Brest cedex 9 - France) StructId : 301846
- Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France) StructId : 302102
- CNRS - Centre National de la Recherche Scientifique : UMR6285 (France) StructId : 441569
- UBL - Université Bretagne Loire (Cité Internationale, 1 place Paul Ricoeur - CS 54417 35044 RENNES CEDEX - France) StructId : 469973
- IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 - Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES - Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France) StructId : 481355

Document type :

Journal articles

Domain :

Computer Science [cs]

Complete list of metadatas

https://hal.univ-brest.fr/hal-01869010
Contributor : Frank Singhoff <>
Submitted on : Thursday, September 6, 2018 - 10:43:47 AM
Last modification on : Thursday, February 7, 2019 - 3:44:55 PM

Identifiers

HAL Id : hal-01869010, version 1

Collections

Citation

José Rufino, António Casimiro, Antónia Lopes, Frank Singhoff, Stéphane Rubini, et al.. NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.. Ada User Journal, 2018. ⟨hal-01869010⟩

NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.

Identifiers

Collections

Citation

Export

Metrics

56

Contact

NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.

Identifiers

Collections

Citation

Export

Share

Metrics

56

Contact