BibTeX records: Juan José Pardo

download as .bib file

@article{DBLP:journals/sp/MorenoACPNRT20,
  author       = {Ra{\'{u}}l Moreno and
                  Enrique Arias and
                  Diego Cazorla and
                  Juan Jos{\'{e}} Pardo and
                  Andr{\'{e}}s Navarro and
                  Tom{\'{a}}s Rojo and
                  Francisco J. Tapiador},
  title        = {Analysis of a New {MPI} Process Distribution for the Weather Research
                  and Forecasting {(WRF)} Model},
  journal      = {Sci. Program.},
  volume       = {2020},
  pages        = {8148373:1--8148373:13},
  year         = {2020},
  url          = {https://doi.org/10.1155/2020/8148373},
  doi          = {10.1155/2020/8148373},
  timestamp    = {Thu, 30 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sp/MorenoACPNRT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/MorenoACPT20,
  author       = {Ra{\'{u}}l Moreno and
                  Enrique Arias and
                  Diego Cazorla and
                  Juan Jos{\'{e}} Pardo and
                  Francisco J. Tapiador},
  title        = {Seeking the best Weather Research and Forecasting model performance:
                  an empirical score approach},
  journal      = {J. Supercomput.},
  volume       = {76},
  number       = {12},
  pages        = {9629--9653},
  year         = {2020},
  url          = {https://doi.org/10.1007/s11227-020-03219-9},
  doi          = {10.1007/S11227-020-03219-9},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tjs/MorenoACPT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/gandc/MorenoPPNT19,
  author       = {Ra{\'{u}}l Moreno and
                  F. J. P{\'{e}}rez{-}Gil and
                  Juan Jos{\'{e}} Pardo and
                  Andr{\'{e}}s Navarro and
                  Francisco J. Tapiador},
  title        = {Science for everyone (ScifE): {A} proposed framework for science as
                  a service using interactive web technologies},
  journal      = {Comput. Geosci.},
  volume       = {131},
  pages        = {70--79},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.cageo.2019.06.001},
  doi          = {10.1016/J.CAGEO.2019.06.001},
  timestamp    = {Tue, 16 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/gandc/MorenoPPNT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/CanizaresNNP15,
  author       = {Pablo C. Ca{\~{n}}izares and
                  Alberto N{\'{u}}{\~{n}}ez and
                  Manuel N{\'{u}}{\~{n}}ez and
                  Juan Jos{\'{e}} Pardo},
  editor       = {Slawomir Koziel and
                  Leifur {\TH}. Leifsson and
                  Michael Lees and
                  Valeria V. Krzhizhanovskaya and
                  Jack J. Dongarra and
                  Peter M. A. Sloot},
  title        = {A Methodology for Designing Energy-aware Systems for Computational
                  Science},
  booktitle    = {Proceedings of the International Conference on Computational Science,
                  {ICCS} 2015, Computational Science at the Gates of Nature, Reykjav{\'{\i}}k,
                  Iceland, 1-3 June, 2015, 2014},
  series       = {Procedia Computer Science},
  volume       = {51},
  pages        = {2804--2808},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.procs.2015.05.438},
  doi          = {10.1016/J.PROCS.2015.05.438},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccS/CanizaresNNP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/MateoRMP14,
  author       = {Jos{\'{e}} Antonio Mateo and
                  M. Carmen Ruiz and
                  Hermenegilda Maci{\`{a}} and
                  Juan Jos{\'{e}} Pardo},
  title        = {Formal Study of Routing Protocols for Wireless Sensor Networks},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {20},
  number       = {9},
  pages        = {1373--1401},
  year         = {2014},
  url          = {https://doi.org/10.3217/jucs-020-09-1373},
  doi          = {10.3217/JUCS-020-09-1373},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jucs/MateoRMP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/MateoMRPO13,
  author       = {Jos{\'{e}} Antonio Mateo and
                  Hermenegilda Maci{\`{a}} and
                  M. Carmen Ruiz and
                  Juan Jos{\'{e}} Pardo and
                  A. M. Ortiz},
  editor       = {Vassil Alexandrov and
                  Michael Lees and
                  Valeria V. Krzhizhanovskaya and
                  Jack J. Dongarra and
                  Peter M. A. Sloot},
  title        = {Formal Study of a Novel Network Role-based Routing Intelligent Algorithm},
  booktitle    = {Proceedings of the International Conference on Computational Science,
                  {ICCS} 2013, Barcelona, Spain, 5-7 June, 2013},
  series       = {Procedia Computer Science},
  volume       = {18},
  pages        = {2525--2528},
  publisher    = {Elsevier},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.procs.2013.05.433},
  doi          = {10.1016/J.PROCS.2013.05.433},
  timestamp    = {Wed, 12 Jul 2023 15:16:18 +0200},
  biburl       = {https://dblp.org/rec/conf/iccS/MateoMRPO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/worldcist/RuizLPC13,
  author       = {M. Carmen Ruiz and
                  Diego P{\'{e}}rez Le{\'{a}}ndrez and
                  Juan Jos{\'{e}} Pardo and
                  Diego Cazorla},
  editor       = {{\'{A}}lvaro Rocha and
                  Ana Maria Ramalho Correia and
                  Tom Wilson and
                  Karl A. Stroetmann},
  title        = {Finding the Suitable Number of Resources to Maximize System Throughput},
  booktitle    = {Advances in Information Systems and Technologies [WorldCIST'13, Olh{\~{a}}o,
                  Algarve, Portugal, March 27-30, 2013]},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {206},
  pages        = {673--684},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36981-0\_62},
  doi          = {10.1007/978-3-642-36981-0\_62},
  timestamp    = {Wed, 21 Oct 2020 09:19:55 +0200},
  biburl       = {https://dblp.org/rec/conf/worldcist/RuizLPC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RuizMPCD12,
  author       = {Valent{\'{\i}}n Valero Ruiz and
                  Hermenegilda Maci{\`{a}} and
                  Juan Jos{\'{e}} Pardo and
                  Mar{\'{\i}}a{-}Emilia Cambronero and
                  Gregorio D{\'{\i}}az},
  title        = {Transforming Web Services Choreographies with priorities and time
                  constraints into prioritized-time colored Petri nets},
  journal      = {Sci. Comput. Program.},
  volume       = {77},
  number       = {3},
  pages        = {290--313},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.scico.2011.05.002},
  doi          = {10.1016/J.SCICO.2011.05.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/RuizMPCD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/LeandrezRPC10,
  author       = {Diego P{\'{e}}rez Le{\'{a}}ndrez and
                  M. Carmen Ruiz and
                  Juan Jos{\'{e}} Pardo and
                  Diego Cazorla},
  editor       = {Michael Johnson and
                  Dusko Pavlovic},
  title        = {{BAL} Tool in Flexible Manufacturing Systems},
  booktitle    = {Algebraic Methodology and Software Technology - 13th International
                  Conference, {AMAST} 2010, Lac-Beauport, QC, Canada, June 23-25, 2010.
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6486},
  pages        = {209--215},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17796-5\_13},
  doi          = {10.1007/978-3-642-17796-5\_13},
  timestamp    = {Sun, 25 Oct 2020 23:16:25 +0100},
  biburl       = {https://dblp.org/rec/conf/amast/LeandrezRPC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/PardoNR10,
  author       = {Juan Jos{\'{e}} Pardo and
                  Manuel N{\'{u}}{\~{n}}ez and
                  M. Carmen Ruiz},
  editor       = {John Hatcliff and
                  Elena Zucca},
  title        = {Specification and Testing of E-Commerce Agents Described by Using
                  UIOLTSs},
  booktitle    = {Formal Techniques for Distributed Systems, Joint 12th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2010 and 30th {IFIP} {WG} 6.1
                  International Conference, {FORTE} 2010, Amsterdam, The Netherlands,
                  June 7-9, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6117},
  pages        = {78--86},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13464-7\_7},
  doi          = {10.1007/978-3-642-13464-7\_7},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/PardoNR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieee-rita/CuarteroBP09,
  author       = {Fernando Cuartero and
                  Jes{\'{u}}s Ru{\'{\i}}z Bueno and
                  Juan Jos{\'{e}} Pardo},
  title        = {Nuevos M{\'{e}}todos de Ense{\~{n}}anza en Astronom{\'{\i}}a},
  journal      = {Rev. Iberoam. de Tecnol. del Aprendiz.},
  volume       = {4},
  number       = {4},
  pages        = {259--268},
  year         = {2009},
  url          = {http://rita.det.uvigo.es/200911/uploads/IEEE-RITA.2009.V4.N4.A3.pdf},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieee-rita/CuarteroBP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccci/PardoNR09,
  author       = {Juan Jos{\'{e}} Pardo and
                  Manuel N{\'{u}}{\~{n}}ez and
                  M. Carmen Ruiz},
  editor       = {Ngoc Thanh Nguyen and
                  Radoslaw P. Katarzyniak and
                  Adam Janiak},
  title        = {A Novel Formalism to Represent Collective Intelligence in Multi-agent
                  Systems},
  booktitle    = {New Challenges in Computational Collective Intelligence [selected
                  papers from the 1st International Conference on Collective Intelligence
                  - Semantic Web, Social Networks {\&} Multiagent Systems, {ICCCI}
                  2009]},
  series       = {Studies in Computational Intelligence},
  volume       = {244},
  pages        = {193--204},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03958-4\_17},
  doi          = {10.1007/978-3-642-03958-4\_17},
  timestamp    = {Thu, 16 Mar 2023 20:00:29 +0100},
  biburl       = {https://dblp.org/rec/conf/iccci/PardoNR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/TobarraCPC08,
  author       = {Llanos Tobarra and
                  Diego Cazorla and
                  Juan Jos{\'{e}} Pardo and
                  Fernando Cuartero},
  editor       = {Jos{\'{e}} Cordeiro and
                  Joaquim Filipe},
  title        = {Formal Verification of the Secure Sockets Layer Protocol},
  booktitle    = {{ICEIS} 2008 - Proceedings of the Tenth International Conference on
                  Enterprise Information Systems, Volume ISAS-2, Barcelona, Spain, June
                  12-16, 2008},
  pages        = {246--252},
  year         = {2008},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iceis/TobarraCPC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/TobarraCCP08,
  author       = {Llanos Tobarra and
                  Diego Cazorla and
                  Fernando Cuartero and
                  Juan Jos{\'{e}} Pardo},
  editor       = {Mar{\'{\i}}a Blanca Caminero and
                  Francisco M. Delicado Mart{\'{\i}}nez and
                  Richard Werner Nelem Pazzi},
  title        = {Modelling secure wireless sensor networks routing protocols with timed
                  automata},
  booktitle    = {Proceedings of the 3rd {ACM} Workshop on Performance Monitoring and
                  Measurement of Heterogeneous Wireless and Wired Networks, {PM2HW2N}
                  2008, Vancouver, British Columbia, Canada, October 31, 2008},
  pages        = {51--58},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1454630.1454638},
  doi          = {10.1145/1454630.1454638},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mswim/TobarraCCP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cleiej/DiazCPVC07,
  author       = {Gregorio D{\'{\i}}az and
                  Mar{\'{\i}}a{-}Emilia Cambronero and
                  Juan Jos{\'{e}} Pardo and
                  Valent{\'{\i}}n Valero and
                  Fernando Cuartero},
  title        = {Model Checking Techniques applied to the design of Web Services},
  journal      = {{CLEI} Electron. J.},
  volume       = {10},
  number       = {2},
  year         = {2007},
  url          = {https://doi.org/10.19153/cleiej.10.2.2},
  doi          = {10.19153/CLEIEJ.10.2.2},
  timestamp    = {Wed, 18 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cleiej/DiazCPVC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciw/CambroneroDPV07,
  author       = {Mar{\'{\i}}a{-}Emilia Cambronero and
                  Gregorio D{\'{\i}}az and
                  Juan Jos{\'{e}} Pardo and
                  Valent{\'{\i}}n Valero},
  title        = {Using {UML} Diagrams to Model Real-Time Web Services},
  booktitle    = {International Conference on Internet and Web Applications and Services
                  {(ICIW} 2007), May 13-19, 2007, Le Morne, Mauritius},
  pages        = {24},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICIW.2007.68},
  doi          = {10.1109/ICIW.2007.68},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iciw/CambroneroDPV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CambroneroPDV07,
  author       = {Mar{\'{\i}}a{-}Emilia Cambronero and
                  Juan Jos{\'{e}} Pardo and
                  Gregorio D{\'{\i}}az and
                  Valent{\'{\i}}n Valero},
  editor       = {Yookun Cho and
                  Roger L. Wainwright and
                  Hisham Haddad and
                  Sung Y. Shin and
                  Yong Wan Koo},
  title        = {Using {RT-UML} for modelling web services},
  booktitle    = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
                  Seoul, Korea, March 11-15, 2007},
  pages        = {643--648},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1244002.1244150},
  doi          = {10.1145/1244002.1244150},
  timestamp    = {Wed, 18 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/CambroneroPDV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aict/DiazCPVC06,
  author       = {Gregorio D{\'{\i}}az and
                  Mar{\'{\i}}a{-}Emilia Cambronero and
                  Juan Jos{\'{e}} Pardo and
                  Valent{\'{\i}}n Valero and
                  Fernando Cuartero},
  title        = {Automatic generation of Correct Web Services Choreographies and Orchestrations
                  with Model Checking Techniques},
  booktitle    = {Advanced International Conference on Telecommunications and International
                  Conference on Internet and Web Applications and Services {(AICT/ICIW}
                  2006), 19-25 February 2006, Guadeloupe, French Caribbean},
  pages        = {186},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/AICT-ICIW.2006.53},
  doi          = {10.1109/AICT-ICIW.2006.53},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aict/DiazCPVC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimca/RuizCCP06,
  author       = {M. Carmen Ruiz and
                  Diego Cazorla and
                  Fernando Cuartero and
                  Juan Jos{\'{e}} Pardo},
  title        = {Specification and performance evaluation of Flexible Manufacturing
                  Systems using a Bounded True Concurrent Process Algebra},
  booktitle    = {2006 International Conference on Computational Intelligence for Modelling
                  Control and Automation {(CIMCA} 2006), International Conference on
                  Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC}
                  2006), 29 November - 1 December 2006, Sydney, Australia},
  pages        = {46},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/CIMCA.2006.200},
  doi          = {10.1109/CIMCA.2006.200},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cimca/RuizCCP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/RuizCCP06,
  author       = {M. Carmen Ruiz and
                  Diego Cazorla and
                  Fernando Cuartero and
                  Juan Jos{\'{e}} Pardo},
  editor       = {Hisham Haddad},
  title        = {Analysis of the {SET} e-commerce protocol using a true concurrency
                  process algebra},
  booktitle    = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC),
                  Dijon, France, April 23-27, 2006},
  pages        = {879--886},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1141277.1141480},
  doi          = {10.1145/1141277.1141480},
  timestamp    = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/RuizCCP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scw/CambroneroDPRP06,
  author       = {Mar{\'{\i}}a{-}Emilia Cambronero and
                  Gregorio D{\'{\i}}az and
                  Juan Jos{\'{e}} Pardo and
                  Valent{\'{\i}}n Valero Ruiz and
                  Fernando L. Pelayo},
  title        = {{RT-UML} for modeling Real-Time Web Services},
  booktitle    = {Proceedings of the 2006 {IEEE} Services Computing Workshops {(SCW}
                  2006), 18-22 September 2006, Chicago, Illinois, {USA}},
  pages        = {131--139},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SCW.2006.35},
  doi          = {10.1109/SCW.2006.35},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/scw/CambroneroDPRP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/RuizCCP06,
  author       = {M. Carmen Ruiz and
                  Diego Cazorla and
                  Fernando Cuartero and
                  Juan Jos{\'{e}} Pardo},
  editor       = {Viorel Negru and
                  Dana Petcu and
                  Daniela Zaharie and
                  Ajith Abraham and
                  Bruno Buchberger and
                  Alexandru Cicortas and
                  Dorian Gorgan and
                  Jo{\"{e}}l Quinqueton},
  title        = {Process Algebra Specification of Flexible Manufacturing Systems},
  booktitle    = {8th International Symposium on Symbolic and Numeric Algorithms for
                  Scientific Computing {(SYNASC} 2006), 26-29 September 2006, Timisoara,
                  Romania},
  pages        = {181--186},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SYNASC.2006.64},
  doi          = {10.1109/SYNASC.2006.64},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/synasc/RuizCCP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/PardoRRCD05,
  author       = {Juan Jos{\'{e}} Pardo and
                  Valent{\'{\i}}n Valero Ruiz and
                  M. Carmen Ruiz and
                  Fernando Cuartero and
                  Gregorio D{\'{\i}}az},
  title        = {Obtaining Probabilistic Dynamic State Graphs for {TPPAL} Processes},
  booktitle    = {16th Australian Software Engineering Conference {(ASWEC} 2005), 31
                  March - 1 April 2005, Brisbane, Australia},
  pages        = {118--127},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/ASWEC.2005.33},
  doi          = {10.1109/ASWEC.2005.33},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aswec/PardoRRCD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/DiazPCVC05,
  author       = {Gregorio D{\'{\i}}az and
                  Juan Jos{\'{e}} Pardo and
                  Mar{\'{\i}}a{-}Emilia Cambronero and
                  Valent{\'{\i}}n Valero and
                  Fernando Cuartero},
  editor       = {Mario Bravetti and
                  Le{\"{\i}}la Kloul and
                  Gianluigi Zavattaro},
  title        = {Automatic Translation of {WS-CDL} Choreographies to Timed Automata},
  booktitle    = {Formal Techniques for Computer Systems and Business Processes, European
                  Performance Engineering Workshop, {EPEW} 2005 and International Workshop
                  on Web Services and Formal Methods, {WS-FM} 2005, Versailles, France,
                  September 1-3, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3670},
  pages        = {230--242},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549970\_17},
  doi          = {10.1007/11549970\_17},
  timestamp    = {Wed, 18 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/epew/DiazPCVC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/DiazLPCV05,
  author       = {Gregorio D{\'{\i}}az and
                  Kim Guldstrand Larsen and
                  Juan Jos{\'{e}} Pardo and
                  Fernando Cuartero and
                  Valent{\'{\i}}n Valero},
  editor       = {Hisham Haddad and
                  Lorie M. Liebrock and
                  Andrea Omicini and
                  Roger L. Wainwright},
  title        = {An approach to handle real time and probabilistic behaviors in e-commerce:
                  validating the {SET} protocol},
  booktitle    = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
                  Santa Fe, New Mexico, USA, March 13-17, 2005},
  pages        = {815--820},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1066677.1066864},
  doi          = {10.1145/1066677.1066864},
  timestamp    = {Wed, 18 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/DiazLPCV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/RuizCCP05,
  author       = {M. Carmen Ruiz and
                  Diego Cazorla and
                  Fernando Cuartero and
                  Juan Jos{\'{e}} Pardo},
  editor       = {Daniela Zaharie and
                  Dana Petcu and
                  Viorel Negru and
                  Tudor Jebelean and
                  Gabriel Ciobanu and
                  Alexandru Cicortas and
                  Ajith Abraham and
                  Marcin Paprzycki},
  title        = {A Formal Specification and Performance Evaluation of the Purchase
                  Phase in the {SET} Protocol},
  booktitle    = {Seventh International Symposium on Symbolic and Numeric Algorithms
                  for Scientific Computing {(SYNASC} 2005), 25-29 September 2005, Timisoara,
                  Romania},
  pages        = {239--244},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/SYNASC.2005.4},
  doi          = {10.1109/SYNASC.2005.4},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/synasc/RuizCCP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/DiazPCVC05,
  author       = {Gregorio D{\'{\i}}az and
                  Juan Jos{\'{e}} Pardo and
                  Mar{\'{\i}}a{-}Emilia Cambronero and
                  Valent{\'{\i}}n Valero and
                  Fernando Cuartero},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Santiago Escobar and
                  Moreno Falaschi},
  title        = {Verification of Web Services with Timed Automata},
  booktitle    = {First International Workshop on Automated Specification and Verification
                  of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
  volume       = {{DSIC-II/03/05}},
  pages        = {177--191},
  publisher    = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
                  de Valencia},
  year         = {2005},
  timestamp    = {Wed, 18 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wwv/DiazPCVC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DiazPCVC06,
  author       = {Gregorio D{\'{\i}}az and
                  Juan Jos{\'{e}} Pardo and
                  Mar{\'{\i}}a{-}Emilia Cambronero and
                  Valent{\'{\i}}n Valero and
                  Fernando Cuartero},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Santiago Escobar and
                  Moreno Falaschi},
  title        = {Verification of Web Services with Timed Automata},
  booktitle    = {Proceedings of the International Workshop on Automated Specification
                  and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
                  14-15, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {157},
  number       = {2},
  pages        = {19--34},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.12.042},
  doi          = {10.1016/J.ENTCS.2005.12.042},
  timestamp    = {Fri, 20 Jan 2023 11:40:19 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DiazPCVC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/RuizCCPM04,
  author       = {M. Carmen Ruiz and
                  Diego Cazorla and
                  Fernando Cuartero and
                  Juan Jos{\'{e}} Pardo and
                  Hermenegilda Maci{\`{a}}},
  editor       = {Manuel N{\'{u}}{\~{n}}ez and
                  Zakaria Maamar and
                  Fernando L. Pelayo and
                  Key Pousttchi and
                  Fernando Rubio},
  title        = {A Bounded True Concurrency Process Algebra for Performance Evaluation},
  booktitle    = {Applying Formal Methods: Testing, Performance and M/ECommerce, {FORTE}
                  2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2,
                  2004},
  series       = {Lecture Notes in Computer Science},
  volume       = {3236},
  pages        = {143--155},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30233-9\_11},
  doi          = {10.1007/978-3-540-30233-9\_11},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/RuizCCPM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CazorlaCRPP03,
  author       = {Diego Cazorla and
                  Fernando Cuartero and
                  Valent{\'{\i}}n Valero Ruiz and
                  Fernando L. Pelayo and
                  Juan Jos{\'{e}} Pardo},
  title        = {Algebraic theory of probabilistic and nondeterministic processes},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {55},
  number       = {1-2},
  pages        = {57--103},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1567-8326(02)00040-1},
  doi          = {10.1016/S1567-8326(02)00040-1},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/CazorlaCRPP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/RuizPC02,
  author       = {Valent{\'{\i}}n Valero Ruiz and
                  Juan Jos{\'{e}} Pardo and
                  Fernando Cuartero},
  editor       = {Javier Esparza and
                  Charles Lakos},
  title        = {Translating {TPAL} Specifications into Timed-Arc Petri Nets},
  booktitle    = {Applications and Theory of Petri Nets 2002, 23rd International Conference,
                  {ICATPN} 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2360},
  pages        = {414--433},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-48068-4\_24},
  doi          = {10.1007/3-540-48068-4\_24},
  timestamp    = {Fri, 09 Apr 2021 18:41:09 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/RuizPC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/PardoRCC01,
  author       = {Juan Jos{\'{e}} Pardo and
                  Valent{\'{\i}}n Valero Ruiz and
                  Fernando Cuartero and
                  Diego Cazorla},
  title        = {Automatic Translation of a Timed Process Algebra into Dynamic State
                  Graphs},
  booktitle    = {8th Asia-Pacific Software Engineering Conference {(APSEC} 2001), 4-7
                  December 2001, Macau, China},
  pages        = {63--70},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/APSEC.2001.991460},
  doi          = {10.1109/APSEC.2001.991460},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/PardoRCC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics