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

Model Checking-Based Genetic Programming with an Application to Mutual Exclusion

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

10.1007/978-3-540-78800-3_11 ◽

2008 ◽

pp. 141-156 ◽

Cited By ~ 36

Author(s):

Gal Katz ◽

Doron Peled

Keyword(s):

Model Checking ◽

Genetic Programming ◽

Mutual Exclusion

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

Model Checking Mutual Exclusion Algorithms Using Uppaal

Advances in Intelligent Systems and Computing - Software Engineering Perspectives and Application in Intelligent Systems ◽

10.1007/978-3-319-33622-0_19 ◽

2016 ◽

pp. 203-215 ◽

Cited By ~ 1

Author(s):

Franco Cicirelli ◽

Libero Nigro ◽

Paolo F. Sciammarella

Keyword(s):

Model Checking ◽

Mutual Exclusion

Download Full-text

Formal Specification and Model Checking of the Walter-Welch-Vaidya Mutual Exclusion Protocol for Ad Hoc Mobile Networks

2018 25th Asia-Pacific Software Engineering Conference (APSEC) ◽

10.1109/apsec.2018.00023 ◽

2018 ◽

Cited By ~ 1

Author(s):

Yati Phyo ◽

Kazuhiro Ogata

Keyword(s):

Model Checking ◽

Mobile Networks ◽

Formal Specification ◽

Ad Hoc ◽

Mutual Exclusion ◽

Ad Hoc Mobile Networks

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

Model Checking of the Suzuki-Kasami Distributed Mutual Exclusion Algorithm with SPIN

2018 5th International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2018.00031 ◽

2018 ◽

Author(s):

Shouki Sakamoto ◽

Kazuhiro Ogata

Keyword(s):

Model Checking ◽

Mutual Exclusion ◽

Distributed Mutual Exclusion ◽

Mutual Exclusion 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 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

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

Analysis of Some Variants of the Anderson Array-Based Queuing Mutual Exclusion Protocol with Model Checking and Graphical Animations

2018 5th International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2018.00030 ◽

2018 ◽

Author(s):

Yati Phyo ◽

Kazuhiro Ogata

Keyword(s):

Model Checking ◽

Mutual Exclusion

Download Full-text