Peter Csaba \"Olveczky

Identifiers

• name variant Peter Csaba \"Olveczky 0.60 · backfill

Papers (2)

1. A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets cs.LO · 2024 · author #4
2. Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications cs.LO · 2010 · author #2

Mentions

• 1009.4264 #2 · backfill · confidence 0.70 Peter Csaba \"Olveczky

Frequent Coauthors

• Carlos Olarte 1 shared papers
• Daniela Lepri 1 shared papers
• Erika \'Abrah\'am 1 shared papers
• Jaime Arias 1 shared papers
• Kyungmin Bae 1 shared papers
• Laure Petrucci 1 shared papers