Roland Groz - RankMe

74 papers A 6B 2C 17Journal 10Unranked 38

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Learning EFSM Models with Registers in Guards. CoRR Germán Vega, Roland Groz, Catherine Oriat, Michael Foster, Neil Walkinshaw, Adenilso Simão
2024	C	`conf`	Semantic Log Partitioning: Towards Automated Root Cause Analysis. QRS Bahareh Afshinpour, Massih-Reza Amini, Roland Groz
2023	C	`conf`	Active Inference of EFSMs Without Reset. ICFEM Michael Foster, Roland Groz, Catherine Oriat, Adenilso da Silva Simão, Germán Vega, Neil Walkinshaw
2023	—	`conf`	Active Inference of Extended Finite State Models of Software Systems. ICGI Roland Groz, Catherine Oriat, Germán Vega, Adenilso da Silva Simão, Michael Foster, Neil Walkinshaw
2023	—	`conf`	Improving Model Learning by Inferring Separating Sequences from Traces. ICSTW Rafael S. Braz, Adenilso da Silva Simão, Roland Groz, Catherine Oriat
2022	—	`conf`	Correlating Test Events With Monitoring Logs For Test Log Reduction And Anomaly Prediction. ISSRE Workshops Bahareh Afshinpour, Roland Groz, Massih-Reza Amini
2022	C	`conf`	Telemetry-Based Software Failure Prediction by Concept-Space Model Creation. QRS Bahareh Afshinpour, Roland Groz, Massih-Reza Amini
2021	C	`conf`	Improving Model Inference via W-Set Reduction. ICTSS Moritz Halm, Rafael S. Braz, Roland Groz, Catherine Oriat, Adenilso Simão
2020	A	`conf`	Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities. RAID Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon, Roland Groz, Matthieu Lemerre
2020	J	`jnl`	Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities. CoRR Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon, Roland Groz, Matthieu Lemerre
2020	—	`conf`	Reducing Regression Test Suites using the Word2Vec Natural Language Processing Tool. SEED/NLPaSE@APSEC Bahareh Afshinpour, Roland Groz, Massih-Reza Amini, Yves Ledru, Catherine Oriat
2019	C	`conf`	A Review of Intrusion Detection Systems for Industrial Control Systems. CoDIT Mohamad Kaouk, Jean-Marie Flaus, Marie-Laure Potet, Roland Groz
2019	—	`conf`	Case Studies in Learning Models and Testing Without Reset. ICST Workshops Nicolas Brémond, Roland Groz
2019	J	`jnl`	FSM inference and checking sequence construction are two sides of the same coin. Softw. Qual. J. Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat
2018	—	`conf`	Extending specification patterns for verification of parametric traces. FormaliSE@ICSE Yoann Blein, Yves Ledru, Lydie du Bousquet, Roland Groz
2018	—	`conf`	Inferring FSM Models of Systems Without Reset. Machine Learning for Dynamic Software Analysis Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat
2018	A	`conf`	Now You See Me: Real-time Dynamic Function Call Detection. ACSAC Franck de Goër, Sanjay Rawat, Dennis Andriesse, Herbert Bos, Roland Groz
2018	—	`conf`	Requirements for a Trace Property Language for Medical Devices. SEHS@ICSE Yves Ledru, Yoann Blein, Lydie du Bousquet, Roland Groz, Arnaud Clere, Fabrice Bertrand
2018	—	`conf`	Revisiting AI and testing methods to infer FSM models of black-box systems. AST@ICSE Roland Groz, Adenilso Simão, Nicolas Brémond, Catherine Oriat
2018	—	`conf`	Using Adaptive Sequences for Learning Non-Resettable FSMs. ICGI Roland Groz, Nicolas Brémond, Adenilso Simão
2017	C	`conf`	Adaptive Localizer Based on Splitting Trees. ICTSS Roland Groz, Adenilso da Silva Simão, Catherine Oriat
2017	C	`conf`	From Passive to Active FSM Inference via Checking Sequence Construction. ICTSS Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat
2017	—	`conf`	Improving Trace Generation and Analysis for Medical Devices. QRS Companion Yoann Blein, Arnaud Clere, Fabrice Bertrand, Yves Ledru, Roland Groz, Lydie du Bousquet
2017	—	`conf`	Metrics for runtime detection of allocators in binaries. CSET @ USENIX Security Symposium Franck de Goër, Roland Groz, Laurent Mounier
2016	—	`conf`	Inferring Non-resettable Mealy Machines with n States. ICGI Roland Groz, Catherine Oriat, Nicolas Brémond
2015	C	`conf`	Inferring Finite State Machines Without Reset Using State Identification Sequences. ICTSS Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat
2015	J	`jnl`	Integration testing of communicating systems with unknown components. Ann. des Télécommunications Roland Groz, Keqin Li, Alexandre Petrenko
2015	—	`conf`	Lightweight heuristics to retrieve parameter associations from binaries. PPREW@ACSAC Franck de Goër, Roland Groz, Laurent Mounier
2014	J	`jnl`	Analysis and testing of black-box component-based systems by inferring partial models. Softw. Test. Verification Reliab. Muzammil Shahbaz, Roland Groz
2014	—	`conf`	Automatic Model Inference of Web Applications for Security Testing. ICST Workshops Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier
2014	—	`conf`	Inferring Approximated Models for Systems Engineering. HASE Alexandre Petrenko, Keqin Li, Roland Groz, Karim Hossen, Catherine Oriat
2014	—	`conf`	KameleonFuzz: evolutionary fuzzing for black-box XSS detection. CODASPY Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz
2014	—	`conf`	Model inference and security testing in the spacios project. CSMR-WCRE Matthias Büchler, Karim Hossen, Petru Florin Mihancea, Marius Minea, Roland Groz, Catherine Oriat
2013	A	`conf`	A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. ICST Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis
2013	—	`conf`	Automatic Generation of Test Drivers for Model Inference of Web Applications. ICST Workshops Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier
2013	—	`conf`	Evolving indigestible codes: Fuzzing interpreters with genetic programming. CICS Sanjay Rawat, Fabien Duchene, Roland Groz, Jean-Luc Richier
2013	—	`conf`	LigRE: Reverse-engineering of control and data flow models for black-box XSS detection. WCRE Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz
2013	J	`jnl`	Model Inference and Testing. Adv. Comput. Muhammad-Naeem Irfan, Catherine Oriat, Roland Groz
2012	A	`conf`	A Taint Based Approach for Smart Fuzzing. ICST Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier
2012	—	`conf`	Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing. ISoLA (1) Roland Groz, Muhammad-Naeem Irfan, Catherine Oriat
2012	—	`conf`	Improving Model Inference of Black Box Components having Large Input Test Set. ICGI Muhammad-Naeem Irfan, Roland Groz, Catherine Oriat
2012	A	`conf`	XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing. ICST Fabien Duchene, Roland Groz, Sanjay Rawat, Jean-Luc Richier
2011	A	`conf`	Finding Software Vulnerabilities by Smart Fuzzing. ICST Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier
2011	—	`conf`	Security Vulnerabilities Detection Using Model Inference for Applications and Security Protocols. ICST Workshops Karim Hossen, Roland Groz, Jean-Luc Richier
2009	B	`conf`	Inferring Mealy Machines. FM Muzammil Shahbaz, Roland Groz
2008	J	`jnl`	Extraction de modèles paramétrés au cours du test de composants logiciels. Tech. Sci. Informatiques Roland Groz, Muzammil Shahbaz, Keqin Li
2008	—	`conf`	Modular System Verification by Inference, Testing and Reachability Analysis. TestCom/FATES Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz
2008	—	`conf`	Test generation and execution for security rules in temporal logic. ICST Workshops Vianney Darmaillacq, Jean-Luc Richier, Roland Groz
2007	—	`conf`	Can a Model Checker Generate Tests for Non-Deterministic Systems? MBT Sergiy Boroday, Alexandre Petrenko, Roland Groz
2007	—	`conf`	Learning Parameterized State Machine Model for Integration Testing. COMPSAC (2) Muzammil Shahbaz, Keqin Li, Roland Groz
2007	—	`conf`	Learning and Integration of Parameterized Components Through Testing. TestCom/FATES Muzammil Shahbaz, Keqin Li, Roland Groz
2007	—	`conf`	Test Generation from Security Policies Specified in Or-BAC. COMPSAC (2) Keqin Li, Laurent Mounier, Roland Groz
2007	C	`conf`	Using Invariant Detection Mechanism in Black Box Inference. ISoLA Muzammil Shahbaz, Roland Groz
2006	—	`conf`	Integration Testing of Components Guided by Incremental State Machine Learning. TAIC PART Keqin Li, Roland Groz, Muzammil Shahbaz
2006	C	`conf`	Integration Testing of Distributed Components Based on Learning Parameterized I/O Models. FORTE Keqin Li, Roland Groz, Muzammil Shahbaz
2006	—	`conf`	Test Generation for Network Security Rules. TestCom Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier
2004	J	`jnl`	Confirming Configurations in EFSM Testing. IEEE Trans. Software Eng. Alexandre Petrenko, Sergiy Boroday, Roland Groz
2004	—	`ed.`	Testing of Communicating Systems, 16th IFIP International Conerence, TestCom 2004, Oxford, UK, March 17-19, 2004, Proceedings TestCom Roland Groz, Robert M. Hierons
2002	—	`conf`	Techniques for Abstracting SDL Specifications. SAM Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener
2002	—	`conf`	Test Generation for CEFSM Combining Specification and Fault Coverage. TestCom Sergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener
2002	—	`conf`	Testing Mobile Agents. TestCom Mikael Marche, Yves-Marie Quemener, Roland Groz
1999	—	`conf`	Automated test generation from SDL specifications. SDL Forum Alain Kerbrat, Thierry Jéron, Roland Groz
1999	C	`conf`	Confirming configurations in EFSM. FORTE Alexandre Petrenko, Sergiy Boroday, Roland Groz
1997	C	`conf`	Eight Years of Experience in Test Generation from FDTs using TVEDA. FORTE Roland Groz, Nathalie Risser
1996	C	`conf`	Relating Conformance Test Coverage to Formal Specifications. FORTE Roland Groz, Olivier Charles, Josiane Renévot
1995	B	`conf`	Validation of distributed algorithms and protocols. ICNP Qiang Gao, Roland Groz, Gregor von Bochmann, Joumana Dargham, E. Houssain Htite
1993	C	`ed.`	Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992 FORTE Michel Diaz, Roland Groz
1990	C	`conf`	From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach. FORTE Marc Phalippou, Roland Groz
1989	C	`conf`	Experiences Using Estelle Within SEDOS Estelle Demonstrator. FORTE Michel Diaz, Jean Dufau, Roland Groz
1988	J	`jnl`	Development of Véda, a Prototyping Tool for Distributed Algorithms. IEEE Trans. Software Eng. Claude Jard, Jean-François Monin, Roland Groz
1988	C	`conf`	Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol. FORTE Marc Phalippou, Roland Groz
1986	J	`jnl`	Attacking a Complex Distributed Algorithm from Different Sides: an Experience with Complementary Validation Tools. Comput. Networks Roland Groz, Claude Jard, Claire Lassudrie
1985	—	`conf`	Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA. PSTV Claude Jard, Jean-François Monin, Roland Groz
1984	—	`conf`	Attacking a Complex Distributed Algorithm from Different Sides: An Experience with Complementary Validation Tools. PSTV Roland Groz, Claude Jard, Claire Lassudrie