المؤلفون: Chukri Soueidi (12504844), Ylies Falcone (14338057)

مصطلحات موضوعية: Formal methods for software, Monitoring, Software Engineering, Formal Methods, Software Verification, Instrumentation, Opportunistic Monitoring

Relation: https://figshare.com/articles/conference_contribution/Artifact_Repostiory_-_Opportunistic_Monitoring_of_Multithreaded_Programs/21828570

الاتاحة: https://doi.org/10.6084/m9.figshare.21828570.v5

المؤلفون: Ennio Visconti, Ezio Bartocci, Ylies Falcone, Laura Nenzi

مصطلحات موضوعية: Machine learning not elsewhere classified, Software testing, verification and validation, Runtime Verification

Relation: https://figshare.com/articles/software/Predicting_decentmon/24128775

الاتاحة: https://doi.org/10.6084/m9.figshare.24128775.v1
https://figshare.com/articles/software/Predicting_decentmon/24128775

المؤلفون: Chukri Soueidi, Antoine El-Hokayem, Yliès Falcone

المصدر: Fundamental Approaches to Software Engineering ISBN: 9783031308253

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2e5a0577219437242808f724f5696040
https://doi.org/10.1007/978-3-031-30826-0_10

المؤلفون: Chukri Soueidi, Yliès Falcone

المصدر: Model Checking Software ISBN: 9783031321566

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::025af71cdf14e5c13cace3e551ff06a5
https://doi.org/10.1007/978-3-031-32157-3_4

المؤلفون: Chukri Soueidi, Yliès Falcone

المصدر: Lecture Notes in Computer Science ISBN: 9783031258022

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4d08b974ccdf7184ed8072e805381be4
https://doi.org/10.1007/978-3-031-25803-9_9

المؤلفون: Chukri Soueidi, Yliès Falcone, Sylvain Hallé

مصطلحات موضوعية: dynamic program analysis, instrumentation, JVM-based languages, complex event processing

Relation: https://doi.org/10.5281/zenodo.8270197; https://doi.org/10.5281/zenodo.8271121; oai:zenodo.org:8271121

الاتاحة: https://doi.org/10.5281/zenodo.8271121

المؤلفون: Irman Faqrizal, Gwen Salaün, Yliès Falcone

المساهمون: Université Grenoble Alpes (UGA), Compiler Optimization and Run-time Systems (CORSE), 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), 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 ), Construction of verified concurrent systems (CONVECS ), ANR-11-LABX-0025,PERSYVAL-lab,Systemes et Algorithmes Pervasifs au confluent des mondes physique et numérique(2011), ANR-15-IDEX-0002,UGA,IDEX UGA(2015)

المصدر: IoT 2022-The 12th International Conference on the Internet of Things
IoT 2022-The 12th International Conference on the Internet of Things, Nov 2022, Delft, Netherlands

مصطلحات موضوعية: Industrial IoT, IEC 61499, [INFO]Computer Science [cs], Runtime verification, Probabilistic model checking

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0552b6b0825e1dc14112ae887895b902
https://inria.hal.science/hal-03848674

المؤلفون: Yliès Falcone, Irman Faqrizal, Gwen Salaün

المساهمون: Université Grenoble Alpes (UGA), Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Compiler Optimization and Run-time Systems (CORSE), 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), 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 ), Construction of verified concurrent systems (CONVECS ), ANR-11-LABX-0025,PERSYVAL-lab,Systemes et Algorithmes Pervasifs au confluent des mondes physique et numérique(2011), ANR-15-IDEX-0002,UGA,IDEX UGA(2015)

المصدر: SEFM 2022-20th International Conference on Software Engineering and Formal Methods
SEFM 2022-20th International Conference on Software Engineering and Formal Methods, Sep 2022, Berlin, Germany. pp.1-17, ⟨10.1007/978-3-031-17108-6_22⟩
Software Engineering and Formal Methods ISBN: 9783031171079

مصطلحات موضوعية: [INFO]Computer Science [cs]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0a220f60a4eb6dfc09f819d6e019a6b
https://inria.hal.science/hal-03766095

المؤلفون: Yliès Falcone, Antoine El-Hokayem

المصدر: International Journal on Software Tools for Technology Transfer. 24:159-181

مصطلحات موضوعية: FOS: Computer and information sciences, Correctness, Apartment, Computer science, Scale (chemistry), Distributed computing, Runtime verification, 020207 software engineering, Context (language use), 02 engineering and technology, Modularity, Software Engineering (cs.SE), Computer Science - Software Engineering, Theory of computation, 0202 electrical engineering, electronic engineering, information engineering, Leverage (statistics), Software, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::09905779d45d78bbfecc90820068e82d
https://doi.org/10.1007/s10009-021-00614-2

المؤلفون: Chukri Soueidi, Yliès Falcone

المساهمون: Compiler Optimization and Run-time Systems (CORSE), 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), 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)

المصدر: SAC 2022-37th ACM Symposium on Applied Computing-Software Verification and Testing Track
SAC 2022-37th ACM Symposium on Applied Computing-Software Verification and Testing Track, Apr 2022, Brno (Virtuel), Czech Republic. ⟨10.1145/3477314.3507239⟩

مصطلحات موضوعية: Java Bytecode, Typestate Analysis, Runtime Verification, Parametric Monitoring, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Runtime Verification Typestate Analysis Parametric Monitoring Instrumentation Java Bytecode Control Flow, Instrumentation, Control Flow

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::51314e0ad20787a919d10bb70c2e20db
https://doi.org/10.1145/3477314.3507239

المؤلفون: Victor Roussanaly and Yliès Falcone, Roussanaly, Victor, Falcone, Yliès

مصطلحات الفهرس: Timed expressions, Timed properties, Monitoring, Runtime verification, Decentralized systems, Asynchronous communication, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.6
Is Part Of LIPIcs, Volume 247, 29th International Symposium on Temporal Representation and Reasoning (TIME 2022)

المؤلفون: Florian Gallay, Yliès Falcone

المصدر: Runtime Verification ISBN: 9783031171956

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::676fd8e252de0724eb097714c0db2a40
https://doi.org/10.1007/978-3-031-17196-3_18

المؤلفون: Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone

المصدر: Model Checking Software ISBN: 9783031150760

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::62331fac93487b940cad21ace49e9e65
https://doi.org/10.1007/978-3-031-15077-7_9

المؤلفون: Yliès Falcone

المصدر: Lecture Notes in Computer Science ISBN: 9783030988494

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a4bcf682e92bf879e76787643eda4646
https://doi.org/10.1007/978-3-030-98850-0_1

المؤلفون: Saddek Bensalem, Hosein Nazarpour, Yliès Falcone, Marius Bozga

المساهمون: Université Grenoble Alpes - UFR Informatique, mathématiques et mathématiques appliquées (UGA UFR IM2AG), Université Grenoble Alpes (UGA), Compiler Optimization and Run-time Systems (CORSE), 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), 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 ), Laboratoire d'Informatique de Grenoble (LIG), VERIMAG (VERIMAG - IMAG), MOAP, ANR-20-CE39-0009,SEVERITAS,Systèmes de tests et evaluations sûrs et vérifiables(2020), ANR-11-LABX-0025,PERSYVAL-lab,Systemes et Algorithmes Pervasifs au confluent des mondes physique et numérique(2011), European Project: 826276,CPS4EU(2019), European Project: 956123,FOCETA

المصدر: FACS 2021-17th edition of the International Conference on Formal Aspects of Component Software
FACS 2021-17th edition of the International Conference on Formal Aspects of Component Software, Oct 2021, Grenoble, France. pp.1-19
Formal Aspects of Component Software ISBN: 9783030906351
FACS

مصطلحات موضوعية: Set (abstract data type), Lattice (module), Observer (quantum physics), Asynchronous communication, Computer science, Distributed computing, Component (UML), Path (graph theory), Context (language use), [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, State (computer science), [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fdcaf1c0b8493debf288a701357c8b2d
https://hal.inria.fr/hal-03525762/file/facs21.pdf

المؤلفون: Wolfgang Ahrendt, Domenico Bianculli, Srđan Krstić, Christian Colombo, Gerardo Schneider, Julien Signoles, Dmitriy Traytel, João Lourenço, Yliès Falcone, José Rufino, Gordon J. Pace, Adrian Francalanza, Alexander Weiss, César Sánchez, Dejan Nickovic, Ezio Bartocci

المساهمون: Institute IMDEA Software [Madrid], University of Gothenburg (GU), Chalmers University of Technology [Göteborg], Vienna University of Technology (TU Wien), Université du Luxembourg (Uni.lu), University of Malta [Malta], Université Grenoble Alpes - UFR Informatique et Mathématiques Appliquées (UGA UFR IMAG), Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Compiler Optimization and Run-time Systems (CORSE), 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]), Department of Computer Science [ETH Zürich] (D-INFK), Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich] (ETH Zürich), Universidade Nova de Lisboa = NOVA University Lisbon (NOVA), Austrian Institute of Technology [Vienna] (AIT), Department of Computer Science [Malta], 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, Accemic Technologies GmbH, DI - Departamento de Informática, NOVALincs, European Cooperation in Science and Technology (COST) [sponsor], Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab) [research center], 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-Laboratoire d'Intégration des Systèmes et des Technologies (LIST), University of Edinburgh

المصدر: Formal Methods in System Design
Formal Methods in System Design, 2019, 54 (3), pp.279-335. ⟨10.1007/s10703-019-00337-w⟩
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Formal Methods in System Design, Springer Verlag, 2019, 54 (3), pp.279-335. ⟨10.1007/s10703-019-00337-w⟩
Formal Methods in System Design, 54 (3)

مصطلحات موضوعية: FOS: Computer and information sciences, Computer science, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Runtime verification, Formal methods, Formal verification, Theoretical Computer Science, Computer Science - Software Engineering, Software, Computer software -- Verification, Formal specification, 0202 electrical engineering, electronic engineering, information engineering, Instrumentation (computer programming), TRACE (psycholinguistics), Formal methods (Computer science), Computer science [C05] [Engineering, computing & technology], Computational model, business.industry, 020207 software engineering, Sciences informatiques [C05] [Ingénierie, informatique & technologie], Software Engineering (cs.SE), Hardware and Architecture, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, 020201 artificial intelligence & image processing, Software engineering, business

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::645b751db8857bf3667cce1fdcdecd68
https://doi.org/10.1007/s10703-019-00337-w

المؤلفون: Yliès Falcone, Gwen Salaün

المصدر: Software Engineering and Formal Methods ISBN: 9783030921231

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::06bb729f5da567c3282fbb69a8d115ab
https://doi.org/10.1007/978-3-030-92124-8_3

المؤلفون: Yliès Falcone, Hervé Marchand

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://hal.inria.fr/docs/00/86/32/23/PDF/cdc2013.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.385.363; http://hal.inria.fr/docs/00/86/32/23/PDF/cdc2013.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.385.363
http://hal.inria.fr/docs/00/86/32/23/PDF/cdc2013.pdf

المؤلفون: Yliès Falcone Sebastian Currea

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.ylies.fr/wp-content/uploads/2011/09/RuntimeVerificationAndEnforcementForAndroidApplications.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.685.5735; http://www.ylies.fr/wp-content/uploads/2011/09/RuntimeVerificationAndEnforcementForAndroidApplications.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.685.5735
http://www.ylies.fr/wp-content/uploads/2011/09/RuntimeVerificationAndEnforcementForAndroidApplications.pdf

المؤلفون: Mohamad Y. Jaber, Rayan Hallal, Al-Abbass Khalil, Antoine El-Hokayem, Paul C. Attie, Yliès Falcone

المساهمون: American University of Beirut [Beyrouth] (AUB), Université Grenoble Alpes - UFR Informatique, mathématiques et mathématiques appliquées (UGA UFR IM2AG), Université Grenoble Alpes (UGA), Compiler Optimization and Run-time Systems (CORSE), 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), 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 ), Augusta University, University System of Georgia (USG), Université Grenoble Alpes - UFR Informatique et Mathématiques Appliquées (UGA UFR IMAG)

المصدر: Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming, 2020, 115, pp.1-24. ⟨10.1016/j.jlamp.2020.100577⟩
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2020, 115, pp.1-24. ⟨10.1016/j.jlamp.2020.100577⟩

مصطلحات موضوعية: Java, LOOP (programming language), Logic, Computer science, Distributed computing, 0102 computer and information sciences, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Translation (geometry), 01 natural sciences, Theoretical Computer Science, Choreography, Set (abstract data type), Computational Theory and Mathematics, Promela, 010201 computation theory & mathematics, Verifiable secret sharing, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, computer, Implementation, Software, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::38dd3b2e172a93937065df00ea3b9ac4
https://inria.hal.science/hal-03113398/file/jlamp2.pdf