Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Juan José Pardo
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.