Robert Lovas

1. Correctness Debugging of Message Passing Programs Using Model Verification Techniques
   2007/01/01 by Robert Lovas, Róbert Lovas, Péter Kacsuk +1 · 2 citations
   Computer Science · #Advanced Software Engineering Methodologies #Distributed systems and fault tolerance #Formal Methods in Verification
2. Integrating Temporal Assertions into a Parallel Debugger
   2002/01/01 by Jozsef Kovacs, József Kovács, Gábor Kusper +4 · 1 citation
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Real-Time Systems Scheduling
3. Extension of Macrostep Debugging Methodology Towards Metacomputing Applications
   2001/01/01 by Robert Lovas, Róbert Lovas, Vaidy Sunderam · 1 citation
   Computer Science · #Distributed and Parallel Computing Systems #Embedded Systems Design Techniques #Parallel Computing and Optimization Techniques