Concepedia

César Andrés

CA

Statistics

Publications

5

Citations

84

H-Index

5

Active since

2009

Affiliations

Universidad Complutense de Madrid(Current)

César Andrés is an author at Universidad Complutense de Madrid specializing in computer science, formal methods, and software engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceSoftware AnalysisSoftware EngineeringVerificationProgram AnalysisSoftware TestingFormal VerificationSystems Engineering

Publications per year

2009–2013

5

Publications

5

Formal passive testing of timed systems: theory and tools

César Andrés, Mercedes G. Merayo, Manuel Núñez · Software Testing Verification and Reliability · 2012 · 34 citations · Full text

Formal Passive Testing, Engineering, Verification +23

Passive Testing of Stochastic Timed Systems

César Andrés, Mercedes G. Merayo, Manuel Núñez · 2009 · 14 citations · Full text

Engineering, Real-time System Design, Verification +20

A formal framework for software product lines

César Andrés, Carlos Camacho, Luis Llana · Information and Software Technology · 2013 · 12 citations

Software Maintenance, Engineering, Program Analysis +10

Formal Correctness of a Passive Testing Approach for Timed Systems

César Andrés, Mercedes G. Merayo, Manuel Núñez · 2009 · 12 citations · Full text

Engineering, Real-time System Design, Verification +19

Pre-school Child Oral Health in a Rural Chilean Community

César Rivera, César Andrés · International journal of odontostomatology · 2011 · 12 citations · Full text

La Caries, Preventive Dentistry, Oral Medicine +16

1–5 of 5