Omar I. Al-Bataineh

Leon Moonen

Linas Vidziunas

J. Syst. Softw., March, 2024

Invariant-based Program Repair.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2022

Verifix: Verified Repair of Programming Assignments.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2022

Towards Extending the Range of Bugs That Automated Program Repair Can Handle.

[BibT_eX]

[DOI]

Leon Moonen

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

2021

Towards More Reliable Automated Program Repair by Integrating Static Analysis Techniques.

[BibT_eX]

[DOI]

Anastasiia Grishina

Leon Moonen

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Monitoring Cumulative Cost Properties.

[BibT_eX]

[DOI]

Daniel Jun Xian Ng

Arvind Easwaran

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

2020

Smart Contract Repair.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2020

2019

Efficient Decentralized LTL Monitoring Framework Using Tableau Technique.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2019

A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 26th International Symposium, 2019

Epistemic model checking of distributed commit protocols with byzantine faults.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

2018

Efficient LTL Decentralized Monitoring Framework Using Formula Simplification Table.

[BibT_eX]

[DOI]

CoRR, 2018

Efficient Decentralized LTL Monitoring Framework Using Tableau Approach.

[BibT_eX]

[DOI]

CoRR, 2018

A Comparative Study of Decision Diagrams for Real-Time Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 25th International Symposium, 2018

2017

Finding minimum and maximum termination time of timed automata models with cyclic behaviour.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

Finding Maximum Expected Termination Time of Probabilistic Timed Automata Models with Cyclic behavior.

[BibT_eX]

[DOI]

Michael Fisher

CoRR, 2017

Epistemic Model Checking of Atomic Commitment Protocols with Byzantine Failures.

[BibT_eX]

[DOI]

CoRR, 2017

2016

Termination of Monotone Programs.

[BibT_eX]

[DOI]

CoRR, 2016

2015

Accelerating worst case execution time analysis of timed automata models with cyclic behaviour.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2015

2014

Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

2012

Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology

[BibT_eX]

[DOI]

CoRR, 2012

Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL.

[BibT_eX]

[DOI]

Terry Woodings

Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

2011

Abstraction for epistemic model checking of dining cryptographers-based protocols.

[BibT_eX]

[DOI]

Ron van der Meyden

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

2010

Epistemic Model Checking for Knowledge-Based Program Implementation: An Application to Anonymous Broadcast.

[BibT_eX]

[DOI]