Nis Wegmann

According to our database, Nis Wegmann authored at least 3 papers between 2011 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

Copilot: monitoring embedded systems.

Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe

Innov. Syst. Softw. Eng., 2013

2012

Experience report: a do-it-yourself high-assurance compiler.

Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

Runtime Verification for Ultra-Critical Systems.

Lee Pike, Sebastian Niller, Nis Wegmann

Proceedings of the Runtime Verification - Second International Conference, 2011