Safouan Taha
Orcid: 0000-0003-3950-6415
According to our database1,
Safouan Taha
authored at least 24 papers
between 2007 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
2
1
1
1
1
1
1
1
2
1
1
1
3
1
1
2
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Robotics Auton. Syst., December, 2023
Proceedings of the Human and Artificial Rationalities - Second International Conference, 2023
2021
Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021
2020
Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020
Proceedings of the Integrated Formal Methods - 16th International Conference, 2020
2019
Improved Invariant Generation for Industrial Software Model Checking of Time Properties.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019
2018
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018
2015
A compositional automata-based semantics and preserving transformation rules for testing property patterns.
Formal Aspects Comput., 2015
Proceedings of the Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, 2015
2014
2013
Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013
Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
2012
Proceedings of the Software Language Engineering, 5th International Conference, 2012
2011
Proceedings of the Testing Software and Systems, 2011
2010
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010
2008
Unifying HW Analysis and SoC Design Flows by Bridging Two Key Standards: UML and IP-XACT.
Proceedings of the Distributed Embedded Systems: Design, 2008
2007
Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007
Proceedings of the Forum on specification and Design Languages, 2007