Found 139 results
Journal Article
Gallardo M-del-M, Merino P, Panizo L, Linares A.  2011.  A practical use of model checking for synthesis: generating a dam controller for flood management. Software Practice & Experience. 41:1329–1347.
[Anonymous].  2010.  Preface to the special issue on formal methods for industrial critical systems (FMICS 2007+FMICS 2008). Science of Computer Programming. 76:63–64.
Díaz A, Merino P, Rivas FJavier.  2010.  QOS analysis of video streaming service in live cellular networks. Computer Communications. 33:322–335.
Merino P, Schoitsch E.  2008.  Safety-critical software. Ercim News. 75:12–13.
Díaz A, Merino P.  2010.  A Testbed for energy profile characterization of IP services in samrtphones over live networks. Mobile, Networks and Applications (MONET) Journal. :onlinefirst.
Díaz A, Merino P.  2009.  Testing mobile data applications on smartphones with SymPA. Ercim News. 77:56–57.
Díaz A, García CAugusto, Merino P.  2014.  Third-Generation partnership project standards: for delivery of critical communications for railways. IEEE Vehicular Technology Magazine. 9:58–68.
Rivas FJavier, Díaz A, Merino P.  2013.  Tools and methods for characterization of traffic performance in cellular networks (Characterizing traffic performance in cellular networks). IEEE Internet Computing. :inpress.
Martínez J, Merino P, Salmeron A, Malpartida F.  2009.  UML-Based model-driven development for HSDPA design. IEEE Software. 26:26–33.
Adalid D, Salmeron A, Gallardo M-del-M, Merino P.  2013.  Using SPIN for automated debugging of infinite executions of Java programs (in press). Journal of Systems and Software. :15.
Gallardo M-del-M, Sanán D.  2012.  Verification of complex dynamic data tree with mu-calculus. Automated Software Engineering. :onlinefirst.
de la Cámara P, Castro R, Gallardo M-del-M, Merino P.  2010.  Verification support for arinc-653-based avionics software (to appear). Software Testing Verification & Reliability.