default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYliès Falcone
Person information
- affiliation: Univ. Grenoble Alpes, CNRS, Inria, Grenoble INP, LIG, 38000 Grenoble, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j33]Saumya Shankar
, Ankit Pradhan, Srinivas Pinisetty, Antoine Rollet, Yliès Falcone:
Bounded-memory runtime enforcement with probabilistic and performance analysis. Formal Methods Syst. Des. 62(1): 141-180 (2024)- [j32]Irman Faqrizal, Gwen Salaün, Yliès Falcone:
Adaptive Industrial Control Systems via IEC 61499 and Runtime Enforcement. ACM Trans. Auton. Adapt. Syst. 19(4): 24:1-24:31 (2024) - [c93]Irman Faqrizal, Gwen Salaün, Yliès Falcone:
Guided Evolution of IEC 61499 Applications. ETFA 2024: 1-8 - [c92]Yliès Falcone, Gwen Salaün, Ahang Zuo:
Probabilistic Runtime Enforcement of Executable BPMN Processes. FASE 2024: 56-76 - [c91]Ennio Visconti, Ezio Bartocci, Yliès Falcone, Laura Nenzi:
Adaptable Configuration of Decentralized Monitors. FORTE 2024: 197-217 - [c90]Enzo Nicourt, Benjamin Kushigian, Chandrakana Nandi, Yliès Falcone:
Using Mutation Testing To Improve and Minimize Test Suites for Smart Contracts. ICST 2024: 341-352 - [c89]Yliès Falcone, Gwen Salaün, Ahang Zuo:
Dynamic Resource Allocation for Executable BPMN Processes Leveraging Predictive Analytics. QRS 2024: 689-700 - [i19]Chukri Soueidi, Yliès Falcone:
Sound Concurrent Traces for Online Monitoring Technical Report. CoRR abs/2402.18391 (2024) - 2023
- [j31]Chukri Soueidi, Marius Monnier, Yliès Falcone:
Efficient and expressive bytecode-level instrumentation for Java programs. Int. J. Softw. Tools Technol. Transf. 25(4): 453-479 (2023) - [c88]Hamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem:
Difficulty and Severity-Oriented Metrics for Test Prioritization in Deep Learning Systems. AITest 2023: 40-48 - [c87]Chukri Soueidi, Yliès Falcone, Sylvain Hallé:
Monitoring Business Process Compliance Across Multiple Executions with Stream Processing. EDOC Workshops 2023: 247-264 - [c86]Chukri Soueidi, Antoine El-Hokayem, Yliès Falcone:
Opportunistic Monitoring of Multithreaded Programs. FASE 2023: 173-194 - [c85]Sylvain Hallé, Chukri Soueidi, Yliès Falcone:
Leveraging Runtime Verification for the Monitoring of Digital Twins. FMDT@FM 2023 - [c84]Chukri Soueidi, Yliès Falcone, Sylvain Hallé:
Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing. ISSRE 2023: 742-751 - [c83]Changshun Wu, Yliès Falcone, Saddek Bensalem:
Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes. RV 2023: 23-41 - [c82]Chukri Soueidi, Yliès Falcone:
Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM. RV 2023: 327-338 - [c81]Chukri Soueidi, Yliès Falcone:
Instrumentation for RV: From Basic Monitoring to Advanced Use Cases. RV 2023: 403-427 - [c80]Chukri Soueidi, Yliès Falcone:
Sound Concurrent Traces for Online Monitoring. SPIN 2023: 59-80 - [c79]Hamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem:
DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes. AISoLA 2023: 77-93 - 2022
- [j30]Antoine El-Hokayem, Yliès Falcone:
Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications. Int. J. Softw. Tools Technol. Transf. 24(2): 159-181 (2022) - [c78]Hamzah Al-Qadasi, Changshun Wu, Yliès Falcone, Saddek Bensalem:
DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks. AITest 2022: 64-71 - [c77]Angel Contreras, Yliès Falcone, Gwen Salaün, Ahang Zuo:
WEASY: A Tool for Modelling Optimised BPMN Processes. FACS 2022: 110-118 - [c76]Yliès Falcone, Gwen Salaün, Ahang Zuo:
Probabilistic Model Checking of BPMN Processes at Runtime. IFM 2022: 191-208 - [c75]Irman Faqrizal, Gwen Salaün, Yliès Falcone:
Probabilistic Analysis of Industrial IoT Applications. IOT 2022: 41-48 - [c74]Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider:
Runtime Verification of Kotlin Coroutines. RV 2022: 221-239 - [c73]Florian Gallay, Yliès Falcone:
Decent: A Benchmark for Decentralized Enforcement. RV 2022: 293-303 - [c72]Chukri Soueidi, Yliès Falcone:
Capturing program models with BISM. SAC 2022: 1857-1861 - [c71]Yliès Falcone, Irman Faqrizal, Gwen Salaün:
Runtime Enforcement for IEC 61499 Applications. SEFM 2022: 352-368 - [c70]Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone:
Bounded-Memory Runtime Enforcement. SPIN 2022: 114-133 - [c69]Victor Roussanaly, Yliès Falcone:
Decentralised Runtime Verification of Timed Regular Expressions. TIME 2022: 6:1-6:18 - [c68]Chukri Soueidi, Yliès Falcone:
Residual Runtime Verification via Reachability Analysis. VSTTE 2022: 148-166 - [c67]Francisco Durán, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo:
From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes. WRLA@ETAPS 2022: 3-21 - 2021
- [j29]Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel:
A taxonomy for classifying runtime verification tools. Int. J. Softw. Tools Technol. Transf. 23(2): 255-284 (2021) - [c66]Yliès Falcone, Gwen Salaün, Ahang Zuo:
Semi-automated Modelling of Optimized BPMN Processes. SCC 2021: 425-430 - [c65]Yliès Falcone, Hosein Nazarpour, Saddek Bensalem, Marius Bozga:
Monitoring Distributed Component-Based Systems. FACS 2021: 153-173 - [c64]Yliès Falcone, Gwen Salaün:
Runtime Enforcement with Reordering, Healing, and Suppression. SEFM 2021: 47-65 - [c63]Yliès Falcone:
On Decentralized Monitoring. VECoS 2021: 1-16 - [c62]Florian Gallay, Yliès Falcone:
Decentralized LTL Enforcement. GandALF 2021: 135-151 - [e4]Ezio Bartocci, Yliès Falcone, Martin Leucker:
Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 13065, Springer 2021, ISBN 978-3-030-87347-9 [contents] - [i18]Changshun Wu, Yliès Falcone, Saddek Bensalem:
Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes. CoRR abs/2104.14435 (2021) - [i17]Chukri Soueidi, Marius Monnier, Ali Kassem, Yliès Falcone:
Efficient and Expressive Bytecode-Level Instrumentation for Java Programs. CoRR abs/2106.01115 (2021) - 2020
- [j28]Matthieu Renard, Antoine Rollet, Yliès Falcone:
Runtime enforcement of timed properties using games. Formal Aspects Comput. 32(2-3): 315-360 (2020) - [j27]Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, Rayan Hallal, Antoine El-Hokayem:
From global choreographies to verifiable efficient distributed implementations. J. Log. Algebraic Methods Program. 115: 100577 (2020) - [j26]Yliès Falcone, Leonardo Mariani:
Preface to the special section on improving software quality through formal methods. Softw. Qual. J. 28(2): 693-694 (2020) - [j25]Antoine El-Hokayem, Yliès Falcone:
On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation. ACM Trans. Softw. Eng. Methodol. 29(1): 1:1-1:57 (2020) - [c61]Chukri Soueidi, Ali Kassem, Yliès Falcone:
BISM: Bytecode-Level Instrumentation for Software Monitoring. RV 2020: 323-335 - [i16]Chukri Soueidi, Ali Kassem, Yliès Falcone:
BISM: Bytecode-Level Instrumentation for Software Monitoring. CoRR abs/2007.03936 (2020)
2010 – 2019
- 2019
- [j24]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54(3): 279-335 (2019) - [j23]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 55(1): 72 (2019) - [j22]Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand:
Optimal enforcement of (timed) properties with uncontrollable events. Math. Struct. Comput. Sci. 29(1): 169-214 (2019) - [j21]Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang:
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 21(1): 31-70 (2019) - [j20]Fadi A. Zaraket, Mohamad Jaber, Mohamad Noureddine, Yliès Falcone:
From high-level modeling toward efficient and trustworthy circuits. Int. J. Softw. Tools Technol. Transf. 21(2): 143-163 (2019) - [c60]Ali Kassem, Yliès Falcone:
Detecting Fault Injection Attacks with Runtime Verification. SPRO@CCS 2019: 65-76 - [c59]Yliès Falcone, Srinivas Pinisetty:
On the Runtime Enforcement of Timed Properties. RV 2019: 48-69 - [c58]Ezio Bartocci, Yliès Falcone, Giles Reger:
International Competition on Runtime Verification (CRV). TACAS (3) 2019: 41-49 - [i15]Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz:
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR abs/1902.03776 (2019) - [i14]Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, Rayan Hallal:
From Global Choreographies to Provably Correct and Efficient Distributed Implementations. CoRR abs/1905.13529 (2019) - [i13]Ali Kassem, Yliès Falcone:
Detecting Fault Injection Attacks with Runtime Verification. CoRR abs/1907.03309 (2019) - 2018
- [j19]Yliès Falcone, César Sánchez:
Introduction to the special issue on runtime verification. Formal Methods Syst. Des. 53(1): 1-5 (2018) - [j18]Sylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem, Yliès Falcone:
Decentralized enforcement of document lifecycle constraints. Inf. Syst. 74(Part): 117-135 (2018) - [j17]Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber:
Modularizing behavioral and architectural crosscutting concerns in formal component-based systems - Application to the Behavior Interaction Priority framework. J. Log. Algebraic Methods Program. 99: 143-177 (2018) - [j16]Mohamad Jaber, Yliès Falcone, Kinan Dak-Al-Bab, John Abou-Jaoudeh, Mostafa El-Katerji:
A high-level modeling language for the efficient design, implementation, and testing of Android applications. Int. J. Softw. Tools Technol. Transf. 20(1): 1-18 (2018) - [c57]Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Yliès Falcone:
Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions. IFM 2018: 255-274 - [c56]Ezio Bartocci, Yliès Falcone:
RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction). ISoLA (4) 2018: 3-8 - [c55]Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, Volker Stolz:
COST Action IC1402 Runtime Verification Beyond Monitoring. RV 2018: 18-26 - [c54]Yliès Falcone:
Second School on Runtime Verification, as Part of the ArVi COST Action 1402 - Overview and Reflections. RV 2018: 27-32 - [c53]Antoine El-Hokayem, Yliès Falcone:
Can We Monitor All Multithreaded Programs? RV 2018: 64-89 - [c52]Antoine El-Hokayem, Yliès Falcone:
Bringing Runtime Verification Home. RV 2018: 222-240 - [c51]Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel:
A Taxonomy for Classifying Runtime Verification Tools. RV 2018: 241-262 - [c50]Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem:
Tracing Distributed Component-Based Systems, a Brief Overview. RV 2018: 417-425 - [p4]Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger:
Introduction to Runtime Verification. Lectures on Runtime Verification 2018: 1-33 - [p3]Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha:
Runtime Failure Prevention and Reaction. Lectures on Runtime Verification 2018: 103-134 - [e3]Ezio Bartocci, Yliès Falcone:
Lectures on Runtime Verification - Introductory and Advanced Topics. Lecture Notes in Computer Science 10457, Springer 2018, ISBN 978-3-319-75631-8 [contents] - [i12]Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber:
Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems - Application to the Behavior Interaction Priority Framework. CoRR abs/1805.08406 (2018) - [i11]Antoine El-Hokayem, Yliès Falcone:
On the Monitoring of Decentralized Specifications Semantics, Properties, Analysis, and Simulation. CoRR abs/1808.02692 (2018) - [i10]Antoine El-Hokayem, Yliès Falcone:
Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes. CoRR abs/1808.05487 (2018) - [i9]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR abs/1811.06740 (2018) - 2017
- [j15]Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga:
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. Formal Aspects Comput. 29(6): 951-986 (2017) - [j14]Ali Kassem, Yliès Falcone, Pascal Lafourcade:
Formal analysis and offline monitoring of electronic exams. Formal Methods Syst. Des. 51(1): 117-153 (2017) - [j13]Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand:
Predictive runtime enforcement. Formal Methods Syst. Des. 51(1): 154-199 (2017) - [j12]Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa:
Predictive runtime verification of timed properties. J. Syst. Softw. 132: 353-365 (2017) - [j11]Yliès Falcone, Mohamad Jaber:
Fully automated runtime enforcement of component-based systems with formal and sound recovery. Int. J. Softw. Tools Technol. Transf. 19(3): 341-365 (2017) - [c49]Ahmad Ghandour, Mariam Moukalled, Mohamad Jaber, Yliès Falcone:
User-based Load Balancer in HBase. CLOSER 2017: 364-368 - [c48]Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget:
Interactive Runtime Verification - When Interactive Debugging Meets Runtime Verification. ISSRE 2017: 182-193 - [c47]Antoine El-Hokayem, Yliès Falcone:
Monitoring decentralized specifications. ISSTA 2017: 125-135 - [c46]Antoine El-Hokayem, Yliès Falcone:
THEMIS: a tool for decentralized monitoring algorithms. ISSTA 2017: 372-375 - [c45]Matthieu Renard, Antoine Rollet, Yliès Falcone:
GREP: Games for the Runtime Enforcement of Properties. ICTSS 2017: 259-275 - [c44]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone:
Verifying Policy Enforcers. RV 2017: 241-258 - [c43]Matthieu Renard, Antoine Rollet, Yliès Falcone:
Runtime enforcement using Büchi games. SPIN 2017: 70-79 - [i8]Hosein Nazarpour, Yliès Falcone, Mohamad Jaber, Saddek Bensalem, Marius Bozga:
Monitoring Distributed Component-Based Systems. CoRR abs/1705.05242 (2017) - [i7]Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget:
Interactive Runtime Verification. CoRR abs/1705.05315 (2017) - [i6]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone:
Verifying Policy Enforcers. CoRR abs/1707.07473 (2017) - 2016
- [j10]Andreas Bauer, Yliès Falcone:
Decentralised LTL monitoring. Formal Methods Syst. Des. 48(1-2): 46-93 (2016) - [j9]Christian Colombo, Yliès Falcone:
Organising LTL monitors over distributed systems with a global clock. Formal Methods Syst. Des. 49(1-2): 109-158 (2016) - [j8]Yliès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty:
Runtime enforcement of regular timed properties by suppressing and delaying events. Sci. Comput. Program. 123: 2-41 (2016) - [c42]Sylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, Yliès Falcone:
Decentralized Enforcement of Artifact Lifecycles. EDOC 2016: 1-10 - [c41]Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz:
Monitoring Multi-threaded Component-Based Systems. IFM 2016: 141-159 - [c40]Ezio Bartocci, Yliès Falcone:
Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction). ISoLA (2) 2016: 333-338 - [c39]Christian Colombo, Yliès Falcone:
First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402. RV 2016: 17-20 - [c38]Giles Reger, Sylvain Hallé, Yliès Falcone:
Third International Competition on Runtime Verification - CRV 2016. RV 2016: 21-37 - [c37]Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand:
Predictive runtime enforcement. SAC 2016: 1628-1633 - [c36]Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber:
Modularizing Crosscutting Concerns in Component-Based Systems. SEFM 2016: 367-385 - [e2]Yliès Falcone, César Sánchez:
Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. Lecture Notes in Computer Science 10012, Springer 2016, ISBN 978-3-319-46981-2 [contents] - [i5]Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga:
Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems. CoRR abs/1612.06154 (2016) - 2015
- [j7]Yliès Falcone, Hervé Marchand:
Enforcement and validation (at runtime) of various notions of opacity. Discret. Event Dyn. Syst. 25(4): 531-570 (2015) - [j6]Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem:
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Softw. Syst. Model. 14(1): 173-199 (2015) - [j5]Yliès Falcone, Lenore D. Zuck:
Runtime verification: the application perspective. Int. J. Softw. Tools Technol. Transf. 17(2): 121-123 (2015) - [c35]Selma Saidi, Yliès Falcone:
Dynamic Detection and Mitigation of DMA Races in MPSoCs. DSD 2015: 267-270 - [c34]Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand:
Enforcement of (Timed) Properties with Uncontrollable Events. ICTAC 2015: 542-560 - [c33]Ali Kassem, Yliès Falcone, Pascal Lafourcade:
Monitoring Electronic Exams. RV 2015: 118-135 - [c32]Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand:
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. RV 2015: 306-320 - [c31]Philip Daian, Yliès Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shinichi Shiraishi, Akihito Iwai, Grigore Rosu:
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial. RV 2015: 342-357 - [c30]Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma:
Second International Competition on Runtime Verification CRV 2015. RV 2015: 405-422 - [c29]Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber:
Runtime enforcement for component-based systems. SAC 2015: 1789-1796 - [c28]Abdurrahman Pektas, Tankut Acarman, Yliès Falcone, Jean-Claude Fernandez:
Runtime-behavior based malware classification using online machine learning. WorldCIS 2015: 166-171 - [i4]John Abou-Jaoudeh, Kinan Dak-Al-Bab, Mostafa El-Katerji, Yliès Falcone, Mohamad Jaber:
A High-Level Modeling Language for the Efficient Design, Implementation, and Testing of Android Applications. CoRR abs/1508.02153 (2015) - 2014
- [j4]