Ahmed Rezine
Orcid: 0000-0002-0440-4753
According to our database1,
Ahmed Rezine
authored at least 53 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
8
2
1
1
2
1
1
1
2
2
1
2
1
1
1
1
1
2
3
1
3
2
2
4
2
2
6
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., October, 2024
Proceedings of the Forty-first International Conference on Machine Learning, 2024
2023
Proceedings of the IEEE International Conference on Acoustics, 2023
2022
J. Syst. Archit., 2022
2021
Correction to: An integrated specification and verification technique for highly concurrent data structures.
Int. J. Softw. Tools Technol. Transf., 2021
IEEE Des. Test, 2021
2020
Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Proceedings of the Networked Systems - 8th International Conference, 2020
2019
ACM Trans. Embed. Comput. Syst., 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
2018
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018
Stability-aware integrated routing and scheduling for control applications in Ethernet networks.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
2017
An integrated specification and verification technique for highly concurrent data structures.
Int. J. Softw. Tools Technol. Transf., 2017
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017
2016
Int. J. Softw. Tools Technol. Transf., 2016
CoRR, 2016
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016
2015
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015
Proceedings of the Formal Methods in Computer-Aided Design, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
Ordered Counter-Abstraction - Refinable Subword Relations for Parameterized Verification.
Proceedings of the Language and Automata Theory and Applications, 2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
2012
Int. J. Softw. Tools Technol. Transf., 2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
Proceedings of the Static Analysis - 19th International Symposium, 2012
Proceedings of the 2012 European Intelligence and Security Informatics Conference, 2012
Proceedings of the 21st IEEE Asian Test Symposium, 2012
2011
Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints.
Int. J. Found. Comput. Sci., 2011
2010
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
2009
Int. J. Found. Comput. Sci., 2009
Approximated parameterized verification of infinite-state processes with global conditions.
Formal Methods Syst. Des., 2009
Proceedings of the Reachability Problems, 3rd International Workshop, 2009
Proceedings of the Formal Techniques for Distributed Systems, 2009
2008
PhD thesis, 2008
Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008
Proceedings of the Verification, 2008
Proceedings of the Theoretical Aspects of Computing, 2008
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008
Proceedings of the Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04., 2008
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
2007
Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
2006
J. Log. Algebraic Methods Program., 2006
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006
2005
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005