| Semantics and pragmatics of real-time maude PC Ölveczky, J Meseguer Higher-order and symbolic computation 20, 161-196, 2007 | 302 | 2007 |
| Specification of real-time and hybrid systems in rewriting logic PC Ölveczky, J Meseguer Theoretical Computer Science 285 (2), 359-405, 2002 | 162 | 2002 |
| Rewriting logic as a unifying framework for Petri nets MO Stehr, J Meseguer, PC Ölveczky Unifying Petri Nets: Advances in Petri Nets, 250-303, 2001 | 110 | 2001 |
| Formal semantics and analysis of behavioral AADL models in Real-Time Maude PC Ölveczky, A Boronat, J Meseguer Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 …, 2010 | 106 | 2010 |
| Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude PC Ölveczky, M Keaton, J Meseguer, C Talcott, S Zabele International Conference on Fundamental Approaches to Software Engineering …, 2001 | 97* | 2001 |
| Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude PC Ölveczky, S Thorvaldsen Theoretical Computer Science 410 (2-3), 254-280, 2009 | 96 | 2009 |
| Formal modeling and analysis of the OGDC wireless sensor network algorithm in Real-Time Maude PC Ölveczky, S Thorvaldsen Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 …, 2007 | 77 | 2007 |
| Specification and analysis of real-time systems using Real-Time Maude PC Ölveczky, J Meseguer Fundamental Approaches to Software Engineering: 7th International Conference …, 2004 | 76 | 2004 |
| Abstraction and completeness for real-time maude PC Ölveczky, J Meseguer Electronic Notes in Theoretical Computer Science 176 (4), 5-27, 2007 | 71 | 2007 |
| Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude PC Ölveczky, J Meseguer, CL Talcott Formal Methods in System Design 29, 253-293, 2006 | 67 | 2006 |
| Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude PC Ölveczky, J Meseguer, CL Talcott Formal Methods in System Design 29 (3), 253-293, 2006 | 67 | 2006 |
| Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude PC Ölveczky, J Meseguer, CL Talcott Formal Methods in System Design 29 (3), 253-293, 2006 | 67 | 2006 |
| The Maude formal tool environment M Clavel, F Durán, J Hendrix, S Lucas, J Meseguer, P Ölveczky Algebra and Coalgebra in Computer Science: Second International Conference …, 2007 | 65 | 2007 |
| The real-time maude tool PC Ölveczky, J Meseguer TACAS 8, 332-336, 2008 | 62 | 2008 |
| Formal simulation and analysis of the CASH scheduling algorithm in Real-Time Maude PC Ölveczky, M Caccamo FASE 6, 357-372, 2006 | 62 | 2006 |
| Specification and analysis of real-time and hybrid systems in rewriting logic PC Ölveczky University of Bergen, 2000 | 58 | 2000 |
| Formalization and correctness of the PALS architectural pattern for distributed real-time systems J Meseguer, PC Ölveczky Theoretical Computer Science 451, 1-37, 2012 | 55 | 2012 |
| Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude PC Olveczky, S Thorvaldsen Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006 | 51 | 2006 |
| PALS: Physically asynchronous logically synchronous systems L Sha, A Al-Nayeem, M Sun, J Meseguer, PC Olveczky | 39 | 2009 |
| Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study K Bae, J Krisiloff, J Meseguer, PC Ölveczky Science of computer programming 103, 13-50, 2015 | 36 | 2015 |
