pith. sign in

Jos\'e Meseguer (University of Illinois at Urbana-Champaign)

Identifiers

  • name variant Jos\'e Meseguer (University of Illinois at Urbana-Champaign) 0.60 · backfill

Papers (5)

  1. PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude cs.LO · 2013 · author #3
  2. Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control cs.LO · 2010 · author #2
  3. Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family cs.LO · 2010 · author #2
  4. Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures cs.LO · 2010 · author #2
  5. Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis cs.LO · 2010 · author #2

Mentions

  • 1301.0038 #3 · backfill · confidence 0.70 Jos\'e Meseguer (University of Illinois at Urbana-Champaign)
  • 1009.4601 #2 · backfill · confidence 0.70 Jos\'e Meseguer (University of Illinois at Urbana-Champaign)
  • 1009.4266 #2 · backfill · confidence 0.70 Jos\'e Meseguer (University of Illinois at Urbana-Champaign)
  • 1009.4265 #2 · backfill · confidence 0.70 Jos\'e Meseguer (University of Illinois at Urbana-Champaign)
  • 1009.4260 #2 · backfill · confidence 0.70 Jos\'e Meseguer (University of Illinois at Urbana-Champaign)

Frequent Coauthors