Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-19237-1_13 ◽

2011 ◽

pp. 117-132 ◽

Cited By ~ 13

Author(s):

Gal Katz ◽

Doron Peled

Keyword(s):

Model Checking ◽

Genetic Programming ◽

Leader Election

Download Full-text

Combining Genetic Programming and Model Checking to Generate Environment Assumptions

IEEE Transactions on Software Engineering ◽

10.1109/tse.2021.3101818 ◽

2021 ◽

pp. 1-1

Author(s):

Khouloud Gaaloul ◽

Claudio Menghi ◽

Shiva Nejati ◽

Lionel Briand ◽

Yago Isasi Parache

Keyword(s):

Model Checking ◽

Genetic Programming

Download Full-text

An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54577-5_2 ◽

2017 ◽

pp. 23-40

Author(s):

Ocan Sankur ◽

Jean-Pierre Talpin

Keyword(s):

Model Checking ◽

Leader Election ◽

Parameterized Model

Download Full-text

Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption

Analytical and Stochastic Modeling Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13568-2_18 ◽

2010 ◽

pp. 247-261 ◽

Cited By ~ 2

Author(s):

Haidi Yue ◽

Joost-Pieter Katoen

Keyword(s):

Energy Consumption ◽

Model Checking ◽

Radio Networks ◽

Leader Election

Download Full-text

Synthesis of Parametric Programs using Genetic Programming and Model Checking

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.140.5 ◽

2014 ◽

Vol 140 ◽

pp. 70-84 ◽

Cited By ~ 4

Author(s):

Gal Katz ◽

Doron Peled

Keyword(s):

Model Checking ◽

Genetic Programming ◽

Parametric Programs

Download Full-text

Analyzing Eventual Leader Election Protocols for Dynamic Systems by Probabilistic Model Checking

Cloud Computing and Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27051-7_17 ◽

2015 ◽

pp. 192-205 ◽

Cited By ~ 2

Author(s):

Jiayi Gu ◽

Yu Zhou ◽

Weigang Wu ◽

Taolue Chen

Keyword(s):

Model Checking ◽

Dynamic Systems ◽

Probabilistic Model ◽

Leader Election ◽

Probabilistic Model Checking

Download Full-text

Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-11245-5_19 ◽

2019 ◽

pp. 409-424 ◽

Cited By ~ 1

Author(s):

Étienne André ◽

Laurent Fribourg ◽

Jean-Marc Mota ◽

Romain Soulat

Keyword(s):

Model Checking ◽

Parametric Model ◽

Leader Election ◽

Election Algorithm ◽

Leader Election Algorithm

Download Full-text

Automated program repair using genetic programming and model checking

Applied Intelligence ◽

10.1007/s10489-016-0804-0 ◽

2016 ◽

Vol 45 (4) ◽

pp. 1066-1088 ◽

Cited By ~ 4

Author(s):

Zahra Zojaji ◽

Behrouz Tork Ladani ◽

Alireza Khalilian

Keyword(s):

Model Checking ◽

Genetic Programming ◽

Automated Program Repair ◽

Program Repair

Download Full-text

Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-03077-7_17 ◽

2013 ◽

pp. 246-261 ◽

Cited By ~ 6

Author(s):

Gal Katz ◽

Doron Peled

Keyword(s):

Model Checking ◽

Genetic Programming

Download Full-text

MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15643-4_28 ◽

2010 ◽

pp. 359-364 ◽

Cited By ~ 6

Author(s):

Gal Katz ◽

Doron Peled

Keyword(s):

Model Checking ◽

Genetic Programming ◽

Software Synthesis ◽

Synthesis Tool

Download Full-text

Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88387-6_5 ◽

2008 ◽

pp. 33-47 ◽

Cited By ~ 29

Author(s):

Gal Katz ◽

Doron Peled

Keyword(s):

Model Checking ◽

Genetic Programming ◽

Mutual Exclusion

Download Full-text