Ylìès Falcone - Concepedia

Author

Ylìès Falcone

Also Known As

FALCONE, Yliès Carlo, Falcone Yliès, Falcone, Ylies, Falcone, Yliès, Falcone, Yliès, Falcone, Yliés, Herve March, Inria Rennes, Nazarpour, Hosein, SÃ¡nchez, CÃ©sar

192

Publications

2.9K

Citations

H-Index

Concepts

All Affiliations

Université Grenoble Alpes Laboratoire d'Informatique de Grenoble Centre Inria de l'Université Grenoble Alpes Centre Inria de l'Université de Rennes Institut national de recherche en sciences et technologies du numérique

About

Ylìès Falcone is an author at Université Grenoble Alpes specializing in engineering, computer science, and formal verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	17	23	994
2	Computer Science	17	23	994
3	Computer Engineering	5	5	139
4	Law	1	1	17
5	Data Science	1	1	18

Ylìès Falcone

Publications

1.2K

Citations

H-Index

Page 1

	Year	Citations
What can you verify and enforce at runtime? Ylìès Falcone, Jean-Claude Fernandez, Laurent Mounier International Journal on Software Tools for Technology Transfer Program CheckingEngineeringRuntime VerificationProgram AnalysisSoftware Testing	2011	151
Runtime enforcement monitors: composition, synthesis, and enforcement abilities Ylìès Falcone, Laurent Mounier, Jean-Claude Fernandez, Formal Methods in System Design Runtime Enforcement MonitorsEngineeringRuntime VerificationProgram AnalysisInformation Security	2011	128
A taxonomy for classifying runtime verification tools Ylìès Falcone, Srđan Krstić, Giles Reger, International Journal on Software Tools for Technology Transfer Program CheckingEngineeringRuntime VerificationProgram AnalysisSoftware Testing	2021	106
Enforcement and validation (at runtime) of various notions of opacity Ylìès Falcone, Hervé Marchand Discrete Event Dynamic Systems EngineeringInformation SecurityVerificationFormal MethodsComputer Science	2014	99
A survey of challenges for runtime verification from advanced application domains (beyond software) César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Chalmers Research (Chalmers University of Technology)	2019	95
Decentralised LTL monitoring Andreas Bauer, Ylìès Falcone Formal Methods in System Design EngineeringDecentralized PrivacySystems EngineeringLtl MonitoringComputer Science	2016	67
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 Ezio Bartocci, Ylìès Falcone, Borzoo Bonakdarpour, International Journal on Software Tools for Technology Transfer	2017	66
Predictive runtime verification of timed properties Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Journal of Systems and Software Predictive Runtime VerificationEngineeringRuntime VerificationAutomated ReasoningProgram Analysis	2017	51
Runtime enforcement of timed properties revisited Srinivas Pinisetty, Ylìès Falcone, Thierry Jéron, Formal Methods in System Design Hardware SecurityEngineeringRuntime VerificationProgram AnalysisVerification	2014	47
Organising LTL monitors over distributed systems with a global clock Christian Colombo, Ylìès Falcone Formal Methods in System Design EngineeringDistributed ComputingSynchronization ProtocolComputer EngineeringComputer Architecture	2016	46

Page 1