Sandor M. Veres

2013

A researcher in the Science corpus: 1 paper; trusts 0 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Papers from Sandor M. Veres's perspective

Ordered by how strongly the researchers Sandor M. Veres trusts endorse each paper. Same corpus, a different order for every researcher.

  1. The SPIN Model Checker - primer and reference manual
  2. Discrete abstractions of hybrid systems (Proceedings of the IEEE)
  3. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
  4. Model Checking
  5. An Introduction to MultiAgent Systems
  6. Jadex: A BDI Reasoning Engine (Multi-Agent Programming)
  7. PHAVer: algorithmic verification of hybrid systems past HyTech (International Journal on Software Tools for Technology Transfer (STTT))
  8. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
  9. Handbook of Modal Logic
  10. Verification and Control of Hybrid Systems - A Symbolic Approach

Their papers