Dejan Nickovic

Computational Theory and Mathematics · 2004–2018

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

Subfields

Whom Dejan Nickovic trusts overall

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

  1. Inverse Problems
  2. Klaus Havelund
  3. Alberto L. Sangiovanni-Vincentelli
  4. Grigore Roşu

Who trusts Dejan Nickovic overall

  1. Alexandre Donzé
  2. Lars Lindemann
  3. Dorsa Sadigh
  4. Ezio Bartocci
  5. Oded Maler
  6. Dimos V. Dimarogonas

Papers from Dejan Nickovic's perspective

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

  1. Abstract Interpretation Frameworks
  2. Monitoring Java Programs with Java PathExplorer (RV@CAV)
  3. The Temporal Rover and the ATG Rover (SPIN)
  4. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  5. Interface Theories for Component-Based Design (International Conference on Embedded Software)
  6. A Tutorial on Uppaal (International School on Formal Methods for the Design of Computer, Communication and Software Systems)
  7. Model Checking
  8. Real Time Scheduling Theory: A Historical Perspective (Real-time systems)
  9. Principles of Object-Oriented Modeling and Simulation with Modelica 3.3: A Cyber-Physical Approach
  10. Taming heterogeneity - the Ptolemy approach (Proceedings of the IEEE)

Their papers