Biblio

Found 131 results
Journal Article
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.
Gallardo M-del-M, Sanán D.  2012.  Verification of complex dynamic data tree with mu-calculus. Automated Software Engineering. :onlinefirst.
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.
Martínez J, Merino P, Salmeron A, Malpartida F.  2009.  UML-Based model-driven development for HSDPA design. IEEE Software. 26:26–33.
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.
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.
Díaz A, Merino P.  2009.  Testing mobile data applications on smartphones with SymPA. Ercim News. 77:56–57.
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.
Merino P, Schoitsch E.  2008.  Safety-critical software. Ercim News. 75:12–13.
Díaz A, Merino P, Rivas FJavier.  2010.  QOS analysis of video streaming service in live cellular networks. Computer Communications. 33:322–335.
[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.
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.
Gallardo M-del-M, Martínez J, Merino P, Nuñez P, Pimentel E.  2007.  PiXL: appliyng XML standards to support the integration of analysis tools for protocols. Science of Computer Programming. 65:57–69.
Gallardo M-del-M, Joubert C, Merino P.  2007.  On-the-Fly data flow analysis based on verification technology. Electronic Notes in Theoretical Computer Science. 190:33–48.
Rivas FJavier, Díaz A, Merino P.  2013.  Obtaining more realistic cross-layer QoS measurements: a VoIP over LTE use case. Journal of Computer Networks and Communications. :1–10.
Díaz A, Merino P, Salmeron A.  2011.  Obtaining models for realistic mobile network simulations using real traces. IEEE Communications Letters. 15:782–784.
Gallardo M-del-M, Merino P, Joubert C, Sanán D.  2012.  A Model-extraction approach to verifying concurrent C programs with CADP. Science of Computer Programming. 77:375–392.
Gallardo M-del-M, Merino P, Sanán D.  2009.  Model Checking dynamic memory allocation in operating systems. Journal of Automated Reasoning. 42:229–264.
Díaz A, Merino P, Rivas FJavier.  2009.  Mobile application profiling for connected Smartphones. IEEE Pervasive Computing. :inpress.
Díaz A, Merino P, Rivas FJavier.  2010.  Mobile application profiling for conected mobile devices. IEEE Pervasive Computing. 9:54–61.
Joseph AD, Díaz A, Merino P, Rivas FJavier, Kulkarni UP, Vadavi JV, Thyagaraju G.S, Joshi SM, Yardi AR.  2006.  Mobile and ubiquitous objects - Communication awareness in mobile devices. IEEE Distributed Systems Online. 7
Joseph AD, Díaz A, Merino P, Rivas FJavier, Kulkarni UP, Vadavi JV, Thyagaraju G.S, Joshi SM, Yardi AR.  2006.  Mobile and ubiquitous objects - Communication awareness in mobile devices. IEEE Pervasive Computing. 5:57–59.
Ocaña Mdel Carmen, Merino P.  2007.  La madurez de la tecnolog{ía IP. :47–48.

Pages