Peter Csaba \"Olveczky (University of Oslo)

Identifiers

• name variant Peter Csaba \"Olveczky (University of Oslo) 0.60 · backfill

Papers (8)

1. PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude cs.LO · 2013 · author #4
2. Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems cs.LO · 2012 · author #1
3. Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies cs.SE · 2011 · author #2
4. Formal Model Engineering for Embedded Systems Using Real-Time Maude cs.LO · 2011 · author #1
5. Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family cs.LO · 2010 · author #1
6. A Rewriting-Logic-Based Technique for Modeling Thermal Systems cs.LO · 2010 · author #4
7. Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models cs.LO · 2010 · author #2
8. Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems cs.LO · 2010 · author #1

Mentions

• 1301.0038 #4 · backfill · confidence 0.70 Peter Csaba \"Olveczky (University of Oslo)
• 1212.6574 #1 · backfill · confidence 0.70 Peter Csaba \"Olveczky (University of Oslo)
• 1107.0066 #2 · backfill · confidence 0.70 Peter Csaba \"Olveczky (University of Oslo)
• 1107.0063 #1 · backfill · confidence 0.70 Peter Csaba \"Olveczky (University of Oslo)
• 1009.4265 #1 · backfill · confidence 0.70 Peter Csaba \"Olveczky (University of Oslo)
• 1009.4263 #4 · backfill · confidence 0.70 Peter Csaba \"Olveczky (University of Oslo)
• 1009.4261 #2 · backfill · confidence 0.70 Peter Csaba \"Olveczky (University of Oslo)
• 1009.3982 #1 · backfill · confidence 0.70 Peter Csaba \"Olveczky (University of Oslo)

Frequent Coauthors

• Jos\'e Meseguer (University of Illinois at Urbana-Champaign) 2 shared papers
• Kyungmin Bae (University of Illinois at Urbana-Champaign) 2 shared papers
• Cyrille Artho (AIST) 1 shared papers
• Daniela Lepri (University of Oslo) 1 shared papers
• Erika \'Abrah\'am (RWTH Aachen University) 1 shared papers
• Francisco Dur\'an (Universidad de M\'alaga) 1 shared papers
• Jos\'e E. Rivera (Universidad de M\'alaga) 1 shared papers
• Joshua Krisiloff (University of Illinois at Urbana-Champaign) 1 shared papers
• Muhammad Fadlisyah (University of Oslo) 1 shared papers