Ezio Bartocci

Computer Networks and Communications · 2018

A researcher in the Science corpus: 2 papers; trusts 3 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Ezio Bartocci trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Alexandre Donzé
  2. Oded Maler
  3. Klaus Havelund
  4. John A. Nelder
  5. Ben D'Angelo
  6. Dejan Nickovic
  7. Grigore Roşu
  8. Edward A. Lee

Papers from Ezio Bartocci's perspective

Ordered by how strongly the researchers Ezio Bartocci trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Monitoring Java Programs with Java PathExplorer (RV@CAV)
  2. LOLA: runtime monitoring of synchronous systems (Time)
  3. Monitoring Temporal Properties of Continuous Signals (FORMATS/FTRTFT)
  4. A Simplex Method for Function Minimization
  5. Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems (International Conference on Computer Aided Verification)
  6. Robust Satisfaction of Temporal Logic over Real-Valued Signals (International Conference on Formal Modeling and Analysis of Timed Systems)
  7. Cyber Physical Systems: Design Challenges (IEEE International Symposium on Real-Time Distributed Computing)
  8. Hyperproperties (IEEE Computer Security Foundations Symposium)
  9. The Vision of Autonomic Computing (Computer)
  10. Enforceable security policies (Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems])

Their papers