Personensuche
X
?
2024 IEEE/ACM 46th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) ,
2
Assessing the Impact of Hints in Learning Formal Specificat..:
, In:
?
Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training ,
4
Assessing the impact of hints in learning formal specificat..:
, In:
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
5
Verifying Temporal Relational Models with Pardinus:
, In:
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
7
An Experimental Evaluation of Tools for Grading Concurrent ..:
, In:
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
8
Task Model Design and Analysis with Alloy:
, In:
?
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems ,
9
Verification of railway network models with EVEREST:
, In:
?
2022 Sixth IEEE International Conference on Robotic Computing (IRC) ,
10
Variability Analysis for Robot Operating System Application:
, In:
?
Software Engineering and Formal Methods; Lecture Notes in Computer Science ,
12
Timely Specification Repair for Alloy 6:
, In:
?
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
14