Wided Ghardallou
Orcid: 0000-0001-9162-4887
According to our database1,
Wided Ghardallou
authored at least 24 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
1
2
1
2
1
1
1
1
1
1
1
1
4
3
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the New Security Paradigms Workshop, 2024
2023
Softw. Syst. Model., December, 2023
Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023
2022
Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022
2021
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
2018
J. Log. Algebraic Methods Program., 2018
Proceedings of the Proceedings 18th Refinement Workshop, 2018
2017
Sci. Comput. Program., 2017
2016
Proceedings of the Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, 2016
Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016
2015
Proceedings of the Proceedings 17th International Workshop on Refinement, 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the Relational and Algebraic Methods in Computer Science, 2015
2014
Int. J. Crit. Comput. Based Syst., 2014
2013
J. Symb. Comput., 2013
2012
J. Log. Algebraic Methods Program., 2012
Proceedings of the 34th International Conference on Software Engineering, 2012
2011
Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011
2010
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010