We stand with Ukraine  

Tobias Nießen

Orcid: 0000-0002-7712-0006

Affiliations:
  • TU Vienna, Institute of Logic and Computation, Austria
  • University of New Brunswick, Canada (former)


According to our database1, Tobias Nießen authored at least 3 papers between 2020 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Finding ∀∃ Hyperbugs using Symbolic Execution.
[BibTeX]
[DOI]
Arthur Correnson
,
Tobias Nießen
,
Bernd Finkbeiner
,
Georg Weissenbacher
Proc. ACM Program. Lang., 2024

Differential Property Monitoring for Backdoor Detection.
[BibTeX]
[DOI]
Otto Brechelmacher
,
Dejan Nickovic
,
Tobias Nießen
,
Sarah Sallinger
,
Georg Weissenbacher
Proceedings of the Formal Methods and Software Engineering, 2024

2020
Insights into WebAssembly: compilation performance and shared code caching in Node.js.
[BibTeX]
[DOI]
Tobias Nießen
,
Michael Dawson
,
Panos Patros
,
Kenneth B. Kent
Proceedings of the CASCON '20: Proceedings of the 30th Annual International Conference on Computer Science and Software Engineering, Toronto, Ontario, Canada, November 10, 2020


  Loading...