Concepedia

Manuel Rodríguez

MR

7

Publications

170

Citations

7

H-Index

2002

Active since

Affiliations

United States Air Force Research Laboratory(Current)

Laboratoire d'Analyse et d'Architecture des Systèmes

Centre National de la Recherche Scientifique

Fairleigh Dickinson University

Manuel Rodríguez is an author at United States Air Force Research Laboratory specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceSoftware AnalysisComputer EngineeringData SecurityFormal MethodsSoftware DesignHardware SecurityFormal VerificationSystems Engineering

Publications per year

2002–2020

7

Publications

7

Game Theoretic Modeling of Security and Interdependency in a Public Cloud

Charles Kamhoua, Luke Kwiat, Kevin A. Kwiat et al. · 2014 · 41 citations

Engineering, Information Security, Game Theory +23

MAFALDA-RT: a tool for dependability assessment of real-time systems

Manuel Rodríguez, Alexandre Albinet, Jean Arlat · 2003 · 38 citations

Software Maintenance, Engineering, Real-time System Design +24

A Game-Theoretic Approach for Testing for Hardware Trojans

Charles Kamhoua, Hong Zhao, Manuel Rodríguez et al. · IEEE Transactions on Multi-Scale Computing Systems · 2016 · 37 citations

Hardware Trojan, Engineering, Information Security +16

Good practices for the adoption of DataOps in the software industry

Manuel Rodríguez, Luiz Jonatã Pires de Araújo, Manuel Mazzara · Journal of Physics Conference Series · 2020 · 17 citations · Full text

Software Maintenance, Software Development Practice, Good Practices +25

Formal specification for building robust real-time microkernels

Manuel Rodríguez, J.-C. Fabre, Jean Arlat · 2002 · 15 citations

Hardware Security, Real-time System, Robust Microkernels +15

Rows per page

1–5 of 7