Concepedia

José A. Pulido

JA

Statistics

Publications

2

Citations

25

H-Index

2

Active since

2007

Affiliations

Universidad Politécnica de Madrid(Current)

José A. Pulido is an author at Universidad Politécnica de Madrid specializing in formal methods, formal verification, and system software.

Top concepts

EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems Engineering

Publications per year

2007–2008

2

Publications

2

Ada 2005 code patterns for metamodel-based code generation

José A. Pulido, Juan A. de la Puente, Jérôme Hugues et al. · ACM SIGAda Ada Letters · 2007 · 14 citations

Engineering, Verification, Software Engineering +21

The ASSERT Virtual Machine: A Predictable Platform for Real-Time Systems

Juan A. de la Puente, Juan Zamorano, José A. Pulido et al. · IFAC Proceedings Volumes · 2008 · 11 citations

Assert Virtual Machine, Engineering, Runtime Verification +15

1–2 of 2