Alexander Legg

According to our database1, Alexander Legg authored at least 8 papers between 2011 and 2016.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.
Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

A SAT-Based Counterexample Guided Method for Unbounded Synthesis.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
SAT-Based Strategy Extraction in Reachability Games.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Automatic verification of active device drivers.
ACM SIGOPS Oper. Syst. Rev., 2014

User-Guided Device Driver Synthesis.
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Solving Games without Controllable Predecessor.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2012
Automatic Verification of Message-Based Device Drivers
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

2011
Static analysis of device drivers: we can do better!
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011


  Loading...