We stand with Ukraine  

Terru Stübinger

Orcid: 0009-0006-7411-2533

According to our database1, Terru Stübinger authored at least 5 papers between 2024 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Slicing Models for Equiconsistency with Alloy.
[BibTeX]
[DOI]
Marc Thieme
,
Shobhit Singh
,
Terru Stübinger
,
Romain Pascual
,
Mattias Ulbrich
Proceedings of the Rigorous State-Based Methods - 12th International Conference, 2026

2025
Observable Semantics for Characterising Consistency Between Heterogeneous Models.
[BibTeX]
[DOI]
Henriette Färber
,
Romain Pascual
,
Terru Stübinger
,
Mattias Ulbrich
Proceedings of the Software Engineering and Formal Methods - 23rd International Conference, 2025

Towards Examining the Complexity of Consistency.
[BibTeX]
[DOI]
Romain Pascual
,
Arne Lange
,
Thomas Weber
,
Lars König
,
Michael Kirsten
,
Terru Stübinger
Proceedings of the 28th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2025

2024
Go Code Generation for Isabelle.
[BibTeX]
[DOI]
Terru Stübinger
,
Lars Hupel
Arch. Formal Proofs, 2024

Extending Isabelle/HOL's Code Generator with Support for the Go Programming Language.
[BibTeX]
[DOI]
Terru Stübinger
,
Lars Hupel
Proceedings of the Formal Methods - 26th International Symposium, 2024


  Loading...