Citation Impact
Citing Papers
Granular Computing: Perspectives and Challenges
2013 Standout
Attosecond metrology: from electron capture to future signal processing
2014 StandoutNobel
A classification and comparison framework for software architecture description languages
2000 Standout
Capturing Software Architecture Design Expertise with Armani
2004
Model‐based systems engineering: Motivation, current status, and research opportunities
2018
On-Chip Communication Architectures: System on Chip Interconnect
2008
Internet of things: Vision, applications and research challenges
2012 Standout
An overview on smart contracts: Challenges, advances and platforms
2019 Standout
An analysis of the most cited articles in software engineering journals – 2002
2008
Security Requirements Engineering: A Framework for Representation and Analysis
2008 Standout
Dependent types and multi-monadic effects in F*
2016
Leveraging Digital Twin Technology in Model-Based Systems Engineering
2019 Standout
Handling obstacles in goal-oriented requirements engineering
2000
Works of Sam Owre being referenced
Subtypes for specifications: predicate subtyping in PVS
1998
Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
1995
The Formal Semantics of PVS
1999