References in zbMATH (referenced in 11 articles , 1 standard article )

Showing results 1 to 11 of 11.
Sorted by year (citations)

  1. Baake, Michael; Frank, Natalie Priebe; Grimm, Uwe; Robinson, E. Arthur jun.: Geometric properties of a binary non-Pisot inflation and absence of absolutely continuous diffraction (2019)
  2. André, Étienne; Liu, Yang; Sun, Jun; Dong, Jin-Song: Parameter synthesis for hierarchical concurrent real-time systems (2014)
  3. Függer, Matthias; Schmid, Ulrich: Reconciling fault-tolerant distributed computing and systems-on-chip (2012)
  4. André, Étienne; Soulat, Romain: Synthesis of timing parameters satisfying safety properties (2011)
  5. André, Étienne; Chatain, Thomas; Fribourg, Laurent; Encrenaz, Emmanuelle: An inverse method for parametric timed automata (2009)
  6. Helmstetter, C.; Maraninchi, F.; Maillet-Contoz, L.: Full simulation coverage for SystemC transaction-level models of systems-on-a-chip (2009)
  7. André, Étienne; Chatain, Thomas; Fribourg, Laurent; Encrenaz, Emmanuelle: An inverse method for parametric timed automata (2008)
  8. Clarisó, Robert; Cortadella, Jordi: Verification of concurrent systems with parametric delays using octahedra (2007)
  9. Ogata, Shougo; Tsuchiya, Tatsuhiro; Kikuno, Tohru: SAT-based verification of safe Petri nets (2004)
  10. Yoneda, Tomohiro; Kitai, Tomoya; Myers, Chris: Automatic derivation of timing constraints by failure analysis (2002)
  11. Yoneda, Tomohiro: VINAS-P: A tool for trace theoretic verification of timed asynchronous circuits (2000)