EnosLib: A Library for Experiment-Driven Research in Distributed Computing

Συγγραφείς: Ronan-Alexandre Cherrueau, Marie Delavergne, Alexandre van Kempen, Adrien Lebre, Dimitri Pertin, Javier Rojas Balderrama, Anthony Simonet, Matthieu Simonin

Συνεισφορές: Lebre, Adrien, Software Stack for Massively Geo-Distributed Infrastructures (STACK), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Declarative & Reliable management of Uncertain, user-generated Interlinked Data (DRUID), GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), iExec Blockchain Tech Lyon, the World Is Distributed Exploring the tension between scale and coordination (WIDE), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Inria and Orange Labs, Institut national de recherche en informatique et en automatique, CNRS, RENATER

Πηγή: IEEE Transactions on Parallel and Distributed Systems. 33:1464-1477

Θεματικοί όροι: [INFO.INFO-DC]Computer Science [cs]/Distributed, [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI], ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.1: Distributed systems, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], Experiment-driven research, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, 02 engineering and technology, Distributed computing experimentation library, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS, Parallel, [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], and Cluster Computing [cs.DC], ACM: K.: Computing Milieux/K.6: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS/K.6.2: Installation Management/K.6.2.3: Performance and usage measurement, Performance evaluation, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.4: Systems and Software/H.3.4.3: Performance evaluation (efficiency and effectiveness)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hal.inria.fr/hal-03324177/file/tpds-enoslib-preprint.pdf
http://ieeexplore.ieee.org/document/9534688
https://hal.inria.fr/hal-03324177
https://www.computer.org/csdl/journal/td/5555/01/09534688/1wLblAxTkxq
https://ieeexplore.ieee.org/document/9534688
https://hal.inria.fr/hal-03324177/document
https://hal.archives-ouvertes.fr/hal-03324177v1

TAF: a tool for diverse and constrained test case generation

Συγγραφείς: Robert, Clément, Guiochet, Jérémie, Waeselynck, Hélène, Sartori, Luca Vittorio

Συνεισφορές: Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique (LAAS-TSF), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), EC, European Project: 812.788,SAS

Πηγή: 21st IEEE International Conference on Software Quality, Reliability and Security (QRS)
https://laas.hal.science/hal-03435959
21st IEEE International Conference on Software Quality, Reliability and Security (QRS), Dec 2021, Hanan Island, China. ⟨10.1109/QRS54544.2021.00042⟩

Θεματικοί όροι: test, test input generation, fuzzing, autonomous robots, simulation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO]Computer Science [cs]

Θέμα γεωγραφικό: Hanan Island, China

Relation: info:eu-repo/grantAgreement//812.788/EU/Safer Autonomous Systems/SAS

Διαθεσιμότητα: https://laas.hal.science/hal-03435959
https://laas.hal.science/hal-03435959v1/document
https://laas.hal.science/hal-03435959v1/file/350_file_Submit_PDF.pdf
https://doi.org/10.1109/QRS54544.2021.00042

Testing Real-Time Systems With Runtime Enforcement

Συγγραφείς: Jean-Luc Bechennec, Sebastien Faucou, Olivier H. Roux, Matthias Brun, Louis-Marie Givel

Συνεισφορές: Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Centre National de la Recherche Scientifique (CNRS), ESEO-TRAME (TRAME), ESEO-Tech, Université Bretagne Loire (UBL)-École supérieure d'électronique de l'ouest Angers (ESEO)-Université Bretagne Loire (UBL)-École supérieure d'électronique de l'ouest Angers (ESEO), Université de Nantes (UN), École Centrale de Nantes (ECN)

Πηγή: IEEE Design & Test. 35:31-37

Θεματικοί όροι: formal methods, real-time testing, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, 0102 computer and information sciences, 02 engineering and technology, 7. Clean energy, 01 natural sciences, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, model-based testing, real-time systems, runtime enforcement, parametric timed model, 13. Climate action, RTOS, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

Σύνδεσμος πρόσβασης: https://hal.archives-ouvertes.fr/hal-01713193/file/DT_DTSI-2017-03-0068.R1_Faucou.pdf
https://hal.archives-ouvertes.fr/hal-01713193/document
https://doi.org/10.1109/MDAT.2018.2791801
https://dblp.uni-trier.de/db/journals/dt/dt35.html#BechennecFRBG18
https://hal.archives-ouvertes.fr/hal-01713193
http://doi.org/10.1109/MDAT.2018.2791801
https://ieeexplore.ieee.org/document/8253506/

Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems

Συγγραφείς: Felgentreff, Tim, Zendra, Olivier

Συνεισφορές: Oracle Labs, Threat Analysis and Mitigation for Information Security (TAMIS), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Tim Felgentreff, Olivier Zendra

Πηγή: 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2018
https://inria.hal.science/hal-02314731
Tim Felgentreff
Olivier Zendra. 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2018, Jul 2018, Amsterdam, Netherlands. ACM, 2018, 978-1-4503-5804-0
https://dl.acm.org/citation.cfm?doid=3242947

Θεματικοί όροι: compilation, languages, implementation, optimization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Θέμα γεωγραφικό: Amsterdam, Netherlands

Διαθεσιμότητα: https://inria.hal.science/hal-02314731
https://inria.hal.science/hal-02314731v1/document
https://inria.hal.science/hal-02314731v1/file/frontmatter.pdf

TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation

Συγγραφείς: Marsso, Lina, Mateescu, Radu, Serwe, Wendelin

Συνεισφορές: Construction of verified concurrent systems (CONVECS ), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 )-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), Grid'5000

Πηγή: TACAS 2018 - 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems ; https://inria.hal.science/hal-01777861 ; TACAS 2018 - 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2018, Thessaloniki, Greece. pp.211-228, ⟨10.1007/978-3-319-89963-3_13⟩

Θεματικοί όροι: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Θέμα γεωγραφικό: Thessaloniki, Greece

Διαθεσιμότητα: https://inria.hal.science/hal-01777861
https://inria.hal.science/hal-01777861/document
https://inria.hal.science/hal-01777861/file/Marsso-Mateescu-Serwe-18.pdf
https://doi.org/10.1007/978-3-319-89963-3_13

A Formal TLS Handshake Model in LNT

Συγγραφείς: Bozic, Josip, Marsso, Lina, Mateescu, Radu, Wotawa, Franz

Συνεισφορές: Graz University of Technology Graz (TU Graz), Construction of verified concurrent systems (CONVECS ), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 )-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 )

Πηγή: MARS/VPT 2018 - 3nd Workshop on Models for Formal Analysis of Real Systems and 6th International Workshop on Verification and Program Transformation ; https://inria.hal.science/hal-01779151 ; MARS/VPT 2018 - 3nd Workshop on Models for Formal Analysis of Real Systems and 6th International Workshop on Verification and Program Transformation, Apr 2018, Thessaloniki, Greece. pp.1 - 40, ⟨10.4204/EPTCS.268.1⟩

Θεματικοί όροι: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.2: Network Protocols, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Θέμα γεωγραφικό: Thessaloniki, Greece

Διαθεσιμότητα: https://inria.hal.science/hal-01779151
https://inria.hal.science/hal-01779151/document
https://inria.hal.science/hal-01779151/file/Bozic-Marsso-Mateescu-Wotawa-18.pdf
https://doi.org/10.4204/EPTCS.268.1

Towards a well-founded software component model for cyber-physical control systems

Συγγραφείς: Malenfant, Jacques

Συνεισφορές: Modélisation et Vérification (MoVe), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)

Πηγή: Second IEEE International Conference on Robotic Computing ; https://hal.sorbonne-universite.fr/hal-01666652 ; Second IEEE International Conference on Robotic Computing, Jan 2018, Laguna Hills, California, United States ; http://www.ieee-irc.org

Θεματικοί όροι: ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.5: Model Development, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]

Θέμα γεωγραφικό: Laguna Hills, California, United States

Διαθεσιμότητα: https://hal.sorbonne-universite.fr/hal-01666652
https://hal.sorbonne-universite.fr/hal-01666652v1/document
https://hal.sorbonne-universite.fr/hal-01666652v1/file/Malenfant.pdf

Understanding the Use of The Vistorian: Complementing Logs with Context Mini-Questionnaires

Συγγραφείς: Serrano Molinero, Vanessa, Bach, Benjamin, Plaisant, Catherine, Dufournaud, Nicole, Fekete, Jean-Daniel

Συνεισφορές: Instituto Químico de Sarrià (IQS), University of Edinburgh (Edin.), Human-Computer Interaction Lab College Park (HCIL), University of Maryland College Park, University of Maryland System-University of Maryland System, Centre de Recherches Historiques (CRH) _ Unité Mixte de Recherches (UMR 8558 CNRS / EHESS) (CRH (UMR 8558 CNRS / EHESS)), École des hautes études en sciences sociales (EHESS)-Centre National de la Recherche Scientifique (CNRS), Analysis and Visualization (AVIZ), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

Πηγή: Visualization for the Digital Humanities ; https://inria.hal.science/hal-01650259 ; Visualization for the Digital Humanities, Oct 2017, Phoenix, United States

Θεματικοί όροι: Network visualization, logs, understanding users, history, digital humanities, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]

Θέμα γεωγραφικό: Phoenix, United States

Διαθεσιμότητα: https://inria.hal.science/hal-01650259
https://inria.hal.science/hal-01650259/document
https://inria.hal.science/hal-01650259/file/Understanding%20the%20Use%20of%20The%20Vistorian%20Complementing%20Logs%20with%20Context%20Mini-Questionnaires%20%281%29.pdf

Debugging of Concurrent Systems using Counterexample Analysis

Συγγραφείς: Barbon, Gianluca, Leroy, Vincent, Salaün, Gwen

Συνεισφορές: Construction of verified concurrent systems (CONVECS), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 )-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), ScaLable Information Discovery and Exploitation Grenoble (SLIDE), Laboratoire d'Informatique de Grenoble (LIG), Mehdi Dastani, Marjan Sirjani, TC 2, WG 2.2

Πηγή: Lecture Notes in Computer Science ; 7th International Conference on Fundamentals of Software Engineering (FSEN) ; https://inria.hal.science/hal-01533401 ; 7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Tehran, Iran. pp.20-34, ⟨10.1007/978-3-319-68972-2_2⟩ ; http://fsen.ir/2017/

Θεματικοί όροι: Concurrent Systems, Model Checking, Debugging, Counterexamples, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO]Computer Science [cs], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Θέμα γεωγραφικό: Tehran, Iran

Διαθεσιμότητα: https://inria.hal.science/hal-01533401
https://inria.hal.science/hal-01533401v2/document
https://inria.hal.science/hal-01533401v2/file/fsen17_rev.pdf
https://doi.org/10.1007/978-3-319-68972-2_2

Model-based testing of global properties on large-scale distributed systems

Συγγραφείς: Sunyé, Gerson, Cunha de Almeida, Eduardo, Le Traon, Yves, Baudry, Benoit, Jézéquel, Jean-Marc

Συνεισφορές: Sunyé, Gerson, Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), Modeling Technologies for Software Production, Operation, and Evolution (ATLANMOD), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Universidade Federal do Parana Curitiba (UFPR), Universidade Federal do Paraná Curitiba, Brasil = Federal University of Paraná Curitiba, Brazil = Université fédérale du Paraná Curitiba, Brésil (UFPR), Computer Science and Communications Research Unit Luxembourg (CSC), Laboratory of Advanced Software SYstems Luxembourg (LASSY), Université du Luxembourg = University of Luxembourg = Universität Luxemburg (uni.lu)-Université du Luxembourg = University of Luxembourg = Universität Luxemburg (uni.lu), Diversity-centric Software Engineering (DiverSe), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Reliable and efficient component based software engineering (TRISKELL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)

Πηγή: Information and Software Technology, 56(7), 749-762. Elsevier (2014).

Θεματικοί όροι: Computer science [C05] [Engineering, computing & technology], Model checking, Large-scale distributed system, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Distributed test architecture, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Sciences informatiques [C05] [Ingénierie, informatique & technologie], Model-based testing, Software testing, Distributed computer systems, Trustworthy softwares, Experimental validations, Model based testing, 0202 electrical engineering, electronic engineering, information engineering, Distributed Hash Table, Defects, Open source implementation, Experiments, Distributed software

Σύνδεσμος πρόσβασης: https://orbilu.uni.lu/bitstream/10993/25155/1/Model-based%20testing%20of%20global%20properties.pdf
https://inria.hal.science/hal-00942576v1
https://doi.org/10.1016/j.infsof.2014.02.002
https://hal.inria.fr/hal-00942576
https://orbilu.uni.lu/bitstream/10993/25155/1/Model-based%20testing%20of%20global%20properties.pdf
http://orbilu.uni.lu/handle/10993/25155
https://doi.org/10.1016/j.infsof.2014.02.002
https://www.sciencedirect.com/science/article/pii/S0950584914000366
https://dialnet.unirioja.es/servlet/articulo?codigo=6494648
http://orbilu.uni.lu/handle/10993/25155

Test fonctionnel de conformité vis-à-vis d'une politique de contrôle d'accès

Συγγραφείς: Dadeau, Frédéric, Haddad, Amal, Moutet, Thierry

Συνεισφορές: Dadeau, Frédéric, Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre Inria de l'Université de Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Validation de Systèmes, Composants et Objets logiciels (VASCO), Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), VERIMAG (VERIMAG - IMAG), Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), ANR-05-RNTL-0010,POSE,Test de conformité de POlitiques de SEcurité de systèmes enfouis(2005)

Πηγή: Techniques et sciences informatiques. 28:533-563

Θεματικοί όροι: noyau de sécurité, test de conformité, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], contrôle d'accès, Meca, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], politique de sécurité

Σύνδεσμος πρόσβασης: https://hal.inria.fr/inria-00429230
https://doi.org/10.3166/tsi.28.533-563
https://dblp.uni-trier.de/db/journals/tsi/tsi28.html#DadeauHM09
https://tsi.revuesonline.com/article.jsp?articleId=13301

CapiTainS Toolkit, Digital Editing and Data Reuse ; Les outils CapiTainS, l’édition numérique et l’exploitation des textes

Συγγραφείς: Clérice, Thibault

Συνεισφορές: Centre Jean Mabillon (CJM), École nationale des chartes (ENC), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL), Université Paris Sciences et Lettres (PSL)

Πηγή: ISSN: 0751-2708.

Θεματικοί όροι: réutilisation, édition, standard, moissonnage, valorisation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, [SHS]Humanities and Social Sciences, [SHS.LITT]Humanities and Social Sciences/Literature, [INFO]Computer Science [cs]

Διαθεσιμότητα: https://hal.science/hal-02892280
https://hal.science/hal-02892280v1/document
https://hal.science/hal-02892280v1/file/Article%20CapiTainS.pdf
https://doi.org/10.4000/medievales.8211

LocFaults: A new flow-driven and constraint-based error localization approach

Συγγραφείς: Bekkouche, Mohammed, Collavizza, Hélène, Rueher, Michel

Συνεισφορές: Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe CEP, Modèles Discrets pour les Systèmes Complexes (Laboratoire I3S - MDSC), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), OSEO ISI PAJERO projects., ACM, ANR-11-INSE-0004,VACSIM,Validation de la commande des systèmes critiques par couplage simulation et méthodes d'analyse formelle(2011), ANR-10-SEGI-0013,Aeolus,Maîtriser la complexité du Cloud Computing(2010)

Πηγή: SAC’15, SVT track ; https://hal.science/hal-01094227 ; SAC’15, SVT track, ACM, Apr 2015, Salamanca,, Spain. ⟨10.1145/2695664.2695822⟩

Θεματικοί όροι: Error handling and recovery, Diagnostics, Debugging aids, Testing and Debugging, Constraints, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Θέμα γεωγραφικό: Salamanca, Spain

Διαθεσιμότητα: https://hal.science/hal-01094227
https://hal.science/hal-01094227v1/document
https://hal.science/hal-01094227v1/file/mcs_sac15.pdf
https://doi.org/10.1145/2695664.2695822

Analysis of Event-Related Potentials: Have you thought of tagging latency?

Συγγραφείς: Andreev, Anton, Cattan, Grégoire

Συνεισφορές: GIPSA-Services (GIPSA-Services), Grenoble Images Parole Signal Automatique (GIPSA-lab), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), IBM - Cloud and Cognitive Software

Πηγή: NTB Berlin 2022 - International Forum on Neural Engineering & Brain Technologies ; https://hal.science/hal-03672192 ; NTB Berlin 2022 - International Forum on Neural Engineering & Brain Technologies, May 2022, Berlin, Germany ; https://nbt-berlin.de/

Θεματικοί όροι: EEG, Brain-computer interface BCI, Systematic latency, Event-related potential ERP, Potentiels Evoqués Cognitifs PEC, Latence, ACM: K.: Computing Milieux, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces/H.5.2.15: User-centered design, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [SCCO]Cognitive science, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [SCCO.COMP]Cognitive science/Computer science, [SCCO.NEUR]Cognitive science/Neuroscience, [SCCO.PSYC]Cognitive science/Psychology

Θέμα γεωγραφικό: Berlin, Germany

Διαθεσιμότητα: https://hal.science/hal-03672192

Optimal Minimisation of Pairwise-covering Test Configurations Using Constraint Programming

Συγγραφείς: Hervieu, Aymeric, Marijan, Dusica, Gotlieb, Arnaud, Baudry, Benoit

Συνεισφορές: Diversity-centric Software Engineering (DiverSe), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Simula Research Laboratory Lysaker (SRL)

Πηγή: ISSN: 0950-5849.

Θεματικοί όροι: Configuration testing, configurable software systems, constraints programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g., data generators, coverage testing), [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC]

Διαθεσιμότητα: https://inria.hal.science/hal-01352831
https://inria.hal.science/hal-01352831v1/document
https://inria.hal.science/hal-01352831v1/file/IST_journal.pdf

Generating test cases inside suspicious intervals for floating-point number programs

Συγγραφείς: Collavizza, Hélène, Michel, Claude, Ponsini, Olivier, Rueher, Michel

Συνεισφορές: Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe CEP, Modèles Discrets pour les Systèmes Complexes (Laboratoire I3S - MDSC), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), ACM, ANR-11-INSE-0004,VACSIM,Validation de la commande des systèmes critiques par couplage simulation et méthodes d'analyse formelle(2011), ANR-10-SEGI-0013,Aeolus,Maîtriser la complexité du Cloud Computing(2010)

Πηγή: CSTVA ; https://hal.science/hal-01099503 ; CSTVA, ACM, May 2014, Hyderabad, India. pp.7 - 11, ⟨10.1145/2593735.2593737⟩ ; http://dl.acm.org/citation.cfm?doid=2593735.2593737

Θεματικοί όροι: ACM: D.: Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Θέμα γεωγραφικό: Hyderabad, India

Time: Hyderabad, India

Διαθεσιμότητα: https://hal.science/hal-01099503
https://hal.science/hal-01099503v1/document
https://hal.science/hal-01099503v1/file/cstva14.pdf
https://doi.org/10.1145/2593735.2593737

MPLM -- MaTeLo Product Line Manager

Συγγραφείς: Samih, Hamza, Bogusch, Ralf

Συνεισφορές: Diversity-centric Software Engineering (DiverSe), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), ALL4TEC RD Laval, ALL4TEC, Airbus, Airbus Group Germany, Airbus France -Airbus France, Airbus defence and space, European Project: 269335,EC:FP7:SP1-JTI,ARTEMIS-2010-1,MBAT(2011)

Πηγή: 18th International Software Product Line Conference (2014)
https://inria.hal.science/hal-01025159
18th International Software Product Line Conference (2014), Sep 2014, Florence, Italy

Θεματικοί όροι: MaTeLo, Product Line Manager, Model-based Testing tool, OVM, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [SCCO.COMP]Cognitive science/Computer science

Θέμα γεωγραφικό: Florence, Italy

Time: Florence, Italy

Relation: info:eu-repo/grantAgreement/EC/FP7/269335/EU/Combined Model-based Analysis and Testing of Embedded Systems/MBAT

Διαθεσιμότητα: https://inria.hal.science/hal-01025159
https://inria.hal.science/hal-01025159v1/document
https://inria.hal.science/hal-01025159v1/file/MasterTexMPLM.pdf

Deriving Usage Model Variants for Model-based Testing: An Industrial Case Study

Συγγραφείς: Samih, Hamza, Acher, Mathieu, Bogusch, Ralf, Le Guen, Hélène, Baudry, Benoit

Συνεισφορές: Diversity-centric Software Engineering (DiverSe), Centre Inria de l'Université de Rennes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), ALL4TEC RD Laval, ALL4TEC, Airbus, Airbus Group Germany, Airbus France -Airbus France, Airbus defence and space, INRIA, European Project: 269335,EC:FP7:SP1-JTI,ARTEMIS-2010-1,MBAT(2011)

Πηγή: 19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014)
https://inria.hal.science/hal-01002099
19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014), Aug 2014, Tianjin, China

Θεματικοί όροι: Usage Model, Product Line, Orthogonal Variability Model, Requirements, Model-based Testing, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, [SCCO.COMP]Cognitive science/Computer science, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

Θέμα γεωγραφικό: Tianjin, China

Relation: info:eu-repo/grantAgreement/EC/FP7/269335/EU/Combined Model-based Analysis and Testing of Embedded Systems/MBAT

Διαθεσιμότητα: https://inria.hal.science/hal-01002099
https://inria.hal.science/hal-01002099v1/document
https://inria.hal.science/hal-01002099v1/file/Deriving_Usage_Model_Variants_for_Model_based_Testing_An_Industrial_Case_Study.pdf

Timed symbolic testing framework for executable models using high-level scenarios

Συγγραφείς: Arnaud, Mathilde, Bannour, Boutheina, Cuccuru, Arnaud, Gaston, Christophe, Gerard, Sébastien, Lapitre, Arnault

Συνεισφορές: Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués (LISE), Département Ingénierie Logiciels et Systèmes (DILS (CEA, LIST)), 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

Πηγή: Conference on Complex Systems Design & Management ; https://cea.hal.science/cea-01810844 ; Conference on Complex Systems Design & Management, Nov 2014, Paris, France

Θεματικοί όροι: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering

Θέμα γεωγραφικό: Paris, France

Διαθεσιμότητα: https://cea.hal.science/cea-01810844
https://cea.hal.science/cea-01810844v1/document
https://cea.hal.science/cea-01810844v1/file/CSDM2014_ABCGGL.pdf

Knowledge Continuous Integration Process (K-CIP)

Συγγραφείς: Skaf-Molli, Hala, Desmontils, Emmanuel, Nauer, Emmanuel, Canals, Gérôme, Cordier, Amélie, Lefevre, Marie, Molli, Pascal, Toussaint, Yannick

Συνεισφορές: Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), Knowledge representation, reasonning (ORPAILLEUR), Centre Inria de l'Université de Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Natural Language Processing & Knowledge Discovery (LORIA - NLPKD), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Services and Cooperation (SCORE), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Networks, Systems and Services (LORIA - NSS), Supporting Interaction and Learning by Experience (SILEX), Laboratoire d'InfoRmatique en Image et Systèmes d'information (LIRIS), Université Lumière - Lyon 2 (UL2)-École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Université Lumière - Lyon 2 (UL2)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS), Gestion de Données Distribuées Nantes (GDD), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), ANR-10-CORD-0021,Kolflow,Collaboration homme-machine dans des processus continus de construction de connaissances(2010)

Πηγή: WWW 2012 - SWCS'12 Workshop - 21st World Wide Web Conference - Semantic Web Collaborative Spaces workshop ; https://inria.hal.science/hal-00765596 ; WWW 2012 - SWCS'12 Workshop - 21st World Wide Web Conference - Semantic Web Collaborative Spaces workshop, Apr 2012, Lyon, France. pp.1075-1082

Θεματικοί όροι: Knowledge Management, Semantic Wiki, Continuous Integration process, Ontology, ACM: H.: Information Systems/H.4: INFORMATION SYSTEMS APPLICATIONS, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Θέμα γεωγραφικό: Lyon, France

Διαθεσιμότητα: https://inria.hal.science/hal-00765596
https://inria.hal.science/hal-00765596v1/document
https://inria.hal.science/hal-00765596v1/file/p1075.pdf