Yliès Falcone
Orcid: 0000-0002-0114-0641Affiliations:
- Univ. Grenoble Alpes, CNRS, Inria, Grenoble INP, LIG, 38000 Grenoble, France
According to our database1,
Yliès Falcone
authored at least 134 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
ACM Trans. Auton. Adapt. Syst., December, 2024
Formal Methods Syst. Des., June, 2024
Dynamic Resource Allocation for Executable BPMN Processes Leveraging Predictive Analytics.
Proceedings of the 24th IEEE International Conference on Software Quality, 2024
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024
Proceedings of the Fundamental Approaches to Software Engineering, 2024
Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024
2023
Int. J. Softw. Tools Technol. Transf., August, 2023
DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes.
Proceedings of the Bridging the Gap Between AI and Reality, 2023
Proceedings of the Model Checking Software - 29th International Symposium, 2023
Proceedings of the Runtime Verification - 23rd International Conference, 2023
Proceedings of the Runtime Verification - 23rd International Conference, 2023
Proceedings of the Runtime Verification - 23rd International Conference, 2023
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023
Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), 2023
Proceedings of the Fundamental Approaches to Software Engineering, 2023
Monitoring Business Process Compliance Across Multiple Executions with Stream Processing.
Proceedings of the Enterprise Design, Operations, and Computing. EDOC 2023 Workshops, 2023
Difficulty and Severity-Oriented Metrics for Test Prioritization in Deep Learning Systems.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2023
2022
Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications.
Int. J. Softw. Tools Technol. Transf., 2022
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022
Proceedings of the Verified Software. Theories, Tools and Experiments, 2022
Proceedings of the 29th International Symposium on Temporal Representation and Reasoning, 2022
Proceedings of the Model Checking Software - 28th International Symposium, 2022
Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022
Proceedings of the Runtime Verification - 22nd International Conference, 2022
Proceedings of the Runtime Verification - 22nd International Conference, 2022
Proceedings of the 12th International Conference on the Internet of Things, 2022
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022
Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022
DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2022
2021
Int. J. Softw. Tools Technol. Transf., 2021
Proceedings of the Proceedings 12th International Symposium on Games, 2021
CoRR, 2021
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2021
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021
Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021
Proceedings of the IEEE International Conference on Services Computing, 2021
2020
On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation.
ACM Trans. Softw. Eng. Methodol., 2020
Softw. Qual. J., 2020
J. Log. Algebraic Methods Program., 2020
Proceedings of the Runtime Verification - 20th International Conference, 2020
2019
Int. J. Softw. Tools Technol. Transf., 2019
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.
Int. J. Softw. Tools Technol. Transf., 2019
Math. Struct. Comput. Sci., 2019
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des., 2019
A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des., 2019
From Global Choreographies to Provably Correct and Efficient Distributed Implementations.
CoRR, 2019
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.
CoRR, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Runtime Verification - 19th International Conference, 2019
Proceedings of the 3rd ACM Workshop on Software Protection, 2019
2018
Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018
Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018
A high-level modeling language for the efficient design, implementation, and testing of Android applications.
Int. J. Softw. Tools Technol. Transf., 2018
Modularizing behavioral and architectural crosscutting concerns in formal component-based systems - Application to the Behavior Interaction Priority framework.
J. Log. Algebraic Methods Program., 2018
Formal Methods Syst. Des., 2018
Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes.
CoRR, 2018
Proceedings of the Runtime Verification - 18th International Conference, 2018
Second School on Runtime Verification, as Part of the ArVi COST Action 1402 - Overview and Reflections.
Proceedings of the Runtime Verification - 18th International Conference, 2018
Proceedings of the Runtime Verification - 18th International Conference, 2018
Proceedings of the Runtime Verification - 18th International Conference, 2018
Proceedings of the Runtime Verification - 18th International Conference, 2018
RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018
Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
2017
Fully automated runtime enforcement of component-based systems with formal and sound recovery.
Int. J. Softw. Tools Technol. Transf., 2017
Formal Methods Syst. Des., 2017
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation.
Formal Aspects Comput., 2017
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017
Proceedings of the Runtime Verification - 17th International Conference, 2017
Proceedings of the Testing Software and Systems, 2017
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017
Interactive Runtime Verification - When Interactive Debugging Meets Runtime Verification.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017
User-based Load Balancer in HBase.
Proceedings of the CLOSER 2017, 2017
2016
Sci. Comput. Program., 2016
Formal Methods Syst. Des., 2016
Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems.
CoRR, 2016
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016
Proceedings of the Runtime Verification - 16th International Conference, 2016
First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402.
Proceedings of the Runtime Verification - 16th International Conference, 2016
Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Conference, 2016
2015
Int. J. Softw. Tools Technol. Transf., 2015
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation.
Softw. Syst. Model., 2015
Discret. Event Dyn. Syst., 2015
Proceedings of the 2015 World Congress on Internet Security, 2015
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Proceedings of the Runtime Verification - 6th International Conference, 2015
Proceedings of the Runtime Verification - 6th International Conference, 2015
Proceedings of the Runtime Verification - 6th International Conference, 2015
Proceedings of the Runtime Verification - 6th International Conference, 2015
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015
Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015
2014
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
Proceedings of the Symposium on Applied Computing, 2014
Proceedings of the Runtime Verification - 5th International Conference, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014
Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014
2013
Proceedings of the Engineering Dependable Software Systems, 2013
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013
Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
2012
Int. J. Softw. Tools Technol. Transf., 2012
Proceedings of the Runtime Verification, Third International Conference, 2012
Proceedings of the Runtime Verification, Third International Conference, 2012
Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Formal Methods and Software Engineering, 2012
Proceedings of the FM 2012: Formal Methods, 2012
2011
Formal Methods Syst. Des., 2011
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011
2010
Towards Automatic Integration of Or-BAC Security Policies Using Aspects.
Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010
Proceedings of the Runtime Verification - First International Conference, 2010
2009
Etude et mise en œuvre de techniques de validation à l'exécution. (Study and implementation of runtime validation techniques).
PhD thesis, 2009
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Proceedings of the Runtime Verification, 9th International Workshop, 2009
2008
Proceedings of the Fourth Workshop on Model Based Testing, 2008
Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties.
Proceedings of the Information Systems Security, 4th International Conference, 2008
2007
Proceedings of the Testing of Software and Communicating Systems, 2007
2006
Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006