System requirements specification
Related papers: 17
Top Researchers
Nancy G. Leveson
Institution: —
Morteza Lahijanian
Institution: —
Krithi Ramamritham
Institution: —
John A. Stankovic
Institution: —
Massimo Narizzano
Institution: —
Alan K. Mackworth
Institution: —
Marta Kwiatkowska
Institution: —
Tomoya Yamaguchi
Institution: —
Patrizio Pelliccione
Institution: —
Thorsten Berger
Institution: —
Top Cited Papers
Specification revision for Markov decision processes with optimal trade-off
Morteza Lahijanian, Marta Kwiatkowska
Citations: 35 • 2016
Model-based requirements engineering: Architecting for system requirements with stakeholders in mind
Yaniv Mordecai, Dov Dori
Citations: 31 • 2017
PsALM: Specification of Dependable Robotic Missions
Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione
Citations: 25 • 2019
A real-time system description language
D. Niehaus, John A. Stankovic, Krithi Ramamritham
Citations: 17 • 2002
From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach
Daniel Maciel, Ana C. R. Paiva, Alberto Rodrigues da Silva
Citations: 16 • 2019
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
Citations: 14 • 2018
A Summary of Formal Specification and Verification of Autonomous Robotic Systems
Citations: 14 • 2019
Hybrid specification of control systems
K. Brink, L. Bun, J. van Katwijk, W.J. Toetenel
Citations: 14 • 2002
Virtual environment modeling for requirements validation of high consequence systems
Victor Winter, D. Desovski
Citations: 12 • 2002
CROME: Contract-Based Robotic Mission Specification
Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider
Citations: 7 • 2020
A Foundation for the Design and Analysis of Robotic Systems and Behaviors
Alan K. Mackworth, Ying Zhang
Citations: 7 • 1994
"Specification Technique for Virtual Testbeds in Space Robotics"
Ruslan Bernijazov, Michael Hillebrand, Christian Bremer, Lydia Kaiser, Roman Dumitrescu
Citations: 6 • 2018
Formal specification and verification of a team formation protocol using TLA<sup>+</sup>
Rajdeep Niyogi, Amar Nath
Citations: 5 • 2023
An intent-specifications model for a robotic software control system
Israel Navarro, Kristina Lundqvist, Nancy G. Leveson
Citations: 5 • 2002
Specification-guided Software Fault Localization for Autonomous Mobile Systems
Tomoya Yamaguchi, Bardh Hoxha, Danil Prokhorov, Jyotirmoy V. Deshmukh
Citations: 4 • 2020
Live synthesis
Bernd Finkbeiner, F. Klein, Niklas Metzger
Citations: 3 • 2022
Formal specification and verification of a team formation protocol using TLA
Rajdeep Niyogi, Amar Nath
Citations: 2 • 2023