|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 10 keywords
|
|
|
|
|
Results
Found 47 publication records. Showing 47 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem |
The SynchAADL2Maude Tool.  |
FASE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám |
Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Peter Csaba Ölveczky, José Eduardo Rivera |
Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies |
AMMSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky |
Formal Model Engineering for Embedded Systems Using Real-Time Maude |
AMMSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer |
Synchronous AADL and Its Formal Analysis in Real-Time Maude. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám |
Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucian Bentea, Peter Csaba Ölveczky |
Probabilistic Real-Time Rewrite Theories and Their Expressive Power. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky |
Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude. |
Formal Modeling: Actors, Open Systems, Biological Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky (eds.) |
Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems |
RTRTS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Lepri, Peter Csaba Ölveczky, Erika Ábrahám |
Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications |
RTRTS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky |
A Rewriting-Logic-Based Technique for Modeling Thermal Systems |
RTRTS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyungmin Bae, Peter Csaba Ölveczky |
Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models |
RTRTS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, José Meseguer |
Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family |
RTRTS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, Artur Boronat, José Meseguer |
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer, Peter Csaba Ölveczky |
Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Boronat, Peter Csaba Ölveczky |
Formal Real-Time Model Transformations in MOMENT2. |
FASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky (eds.) |
Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, Stian Thorvaldsen |
Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Peter Csaba Ölveczky |
A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis |
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elisabeth Lien, Peter Csaba Ölveczky |
Formal Modeling and Analysis of an IETF Multicast Protocol. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky |
Teaching Formal Methods Based on Rewriting Logic and Maude. |
TFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon Bendiksen, Peter Csaba Ölveczky |
The Priced-Timed Maude Tool. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, José Meseguer |
The Real-Time Maude Tool. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky |
Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
formal modeling and analysis, object-oriented real-time systems, embedded medical devices, rewriting logic, metric temporal logic |
| 1 | Peter Csaba Ölveczky, Pavithra Prabhakar, Xue Liu |
Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, José Meseguer |
Recent Advances in Real-Time Maude. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, José Meseguer |
Abstraction and Completeness for Real-Time Maude. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, José Meseguer |
Semantics and pragmatics of Real-Time Maude. |
Higher-Order and Symbolic Computation |
2007 |
DBLP DOI BibTeX RDF |
Simulation, Real-time systems, Model checking, Formal analysis, Rewriting logic, Object-oriented specification |
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo |
Some Tools. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, Stian Thorvaldsen |
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, Martin Grimeland |
Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky |
The Maude Formal Tool Environment. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott |
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude. |
Formal Methods in System Design |
2006 |
DBLP DOI BibTeX RDF |
Real-time systems, Active networks, Formal analysis, Rewriting logic, Object-oriented specification, Multicast protocols |
| 1 | Peter Csaba Ölveczky, Stian Thorvaldsen |
Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, Marco Caccamo |
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, José Meseguer |
Real-Time Maude 2.1. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, José Meseguer |
Specification and Analysis of Real-Time Systems Using Real-Time Maude. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, José Meseguer |
Specification of real-time and hybrid systems in rewriting logic. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott |
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks. |
DANCE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky |
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky |
Rewriting Logic as a Unifying Framework for Petri Nets. |
Unifying Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, Mark Keaton, José Meseguer, Carolyn L. Talcott, Steve Zabele |
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, José Meseguer |
Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, José Meseguer |
Specifying real-time systems in rewriting logic. |
Electr. Notes Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, Olav Lysne |
Order-Sorted Termination: The Unsorted Way. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
Order-sortedness, Termination |
| 1 | Peter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing |
An Object-Oriented Algebraic Steam-Boiler Control Specification. |
Formal Methods for Industrial Applications |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #47 of 47 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")