Róbert 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. Demonstration of P-GRADE Job-Mode for the Grid
   2003/01/01 by P. Kacsuk, Péter Kacsuk, R. Lovas +20 · 2 citations
   Computer Science · #Distributed and Parallel Computing Systems
3. The P-GRADE Grid Portal
   2004/01/01 by Csaba Németh, Gábor Dózsa, Róbert Lovas +1 · 1 citation
   Computer Science · Decision Sciences · #Distributed and Parallel Computing Systems #Parallel Computing and Optimization Techniques #Scientific Computing and Data Management
4. Integrating Temporal Assertions into a Parallel Debugger
   2002/01/01 by József Kovács, Jozsef Kovacs, Gábor Kusper +4 · 1 citation
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Real-Time Systems Scheduling
5. 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
6. The GRED graphical editor for the GRADE parallel program development environment
   1998/01/01 by Péter Kacsuk, Gábor Dózsa, Tibor Fadgyas +1 · 1 citation
   Computer Science · #Distributed and Parallel Computing Systems #Interconnection Networks and Systems #Parallel Computing and Optimization Techniques
7. Workflow Support for Complex Grid Applications: Integrated and Portal Solutions
   2004/01/01 by Róbert Lovas, Gábor Dózsa, Péter Kacsuk +2 · 1 citation
   Computer Science · Decision Sciences · #Advanced Data Storage Technologies #Distributed and Parallel Computing Systems #Scientific Computing and Data Management
8. Translation of a High-Level Graphical Code to Message-Passing Primitives in the GRADE Programming Environment
   2000/01/01 by Gábor Dózsa, Dániel Drótos, Róbert Lovas · 1 citation
   Computer Science · #Distributed and Parallel Computing Systems #Embedded Systems Design Techniques #Parallel Computing and Optimization Techniques
9. Integration of Formal Verification and Debugging Methods in P-GRADE Environment
   2005/12/30 by Róbert Lovas, Bertalan Vécsei · 1 citation
   Computer Science · #Distributed and Parallel Computing Systems #Distributed systems and fault tolerance #Petri Nets in System Modeling