BibTeX records: María-Emilia Cambronero

download as .bib file

@article{DBLP:journals/access/BernalCRNC19,
  author    = {Adrian Bernal and
               Mar{\'{\i}}a{-}Emilia Cambronero and
               Valent{\'{\i}}n Valero Ruiz and
               Alberto Nu{\~{n}}ez and
               Pablo C. Ca{\~{n}}izares},
  title     = {A Framework for Modeling Cloud Infrastructures and User Interactions},
  journal   = {{IEEE} Access},
  volume    = {7},
  pages     = {43269--43285},
  year      = {2019},
  url       = {https://doi.org/10.1109/ACCESS.2019.2907180},
  doi       = {10.1109/ACCESS.2019.2907180},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/access/BernalCRNC19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/MartinCGL19,
  author    = {Sonia Est{\'{e}}vez Mart{\'{\i}}n and
               Mar{\'{\i}}a{-}Emilia Cambronero and
               Yolanda Garc{\'{\i}}a{-}Ruiz and
               Luis Llana},
  title     = {Mobile Applications for People with Parkinson's Disease: {A} Systematic
               Search in App Stores and Content Review},
  journal   = {J. {UCS}},
  volume    = {25},
  number    = {7},
  pages     = {740--763},
  year      = {2019},
  url       = {http://www.jucs.org/jucs\_25\_7/mobile\_applications\_for\_people},
  timestamp = {Fri, 23 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jucs/MartinCGL19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GomezRCV19,
  author    = {Abel G{\'{o}}mez and
               Ricardo J. Rodr{\'{\i}}guez and
               Mar{\'{\i}}a{-}Emilia Cambronero and
               Valent{\'{\i}}n Valero},
  title     = {Profiling the publish/subscribe paradigm for automated analysis using
               colored Petri nets},
  journal   = {Software and Systems Modeling},
  volume    = {18},
  number    = {5},
  pages     = {2973--3003},
  year      = {2019},
  url       = {https://doi.org/10.1007/s10270-019-00716-1},
  doi       = {10.1007/s10270-019-00716-1},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sosym/GomezRCV19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/CambroneroMRO18,
  author    = {Mar{\'{\i}}a{-}Emilia Cambronero and
               Hermenegilda Maci{\`{a}} and
               Valent{\'{\i}}n Valero Ruiz and
               Luis Orozco{-}Barbosa},
  title     = {Modeling and Analysis of the 1-Wire Communication Protocol Using Timed
               Colored Petri Nets},
  journal   = {{IEEE} Access},
  volume    = {6},
  pages     = {27356--27372},
  year      = {2018},
  url       = {https://doi.org/10.1109/ACCESS.2018.2833213},
  doi       = {10.1109/ACCESS.2018.2833213},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/access/CambroneroMRO18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/CambroneroLP17,
  author    = {Mar{\'{\i}}a{-}Emilia Cambronero and
               Luis Llana and
               Gordon J. Pace},
  title     = {A Calculus Supporting Contract Reasoning and Monitoring},
  journal   = {{IEEE} Access},
  volume    = {5},
  pages     = {6735--6745},
  year      = {2017},
  url       = {https://doi.org/10.1109/ACCESS.2017.2696577},
  doi       = {10.1109/ACCESS.2017.2696577},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/access/CambroneroLP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ValeroDC17,
  author    = {Valent{\'{\i}}n Valero and
               Gregorio D{\'{\i}}az and
               Mar{\'{\i}}a{-}Emilia Cambronero},
  title     = {Timed Automata Modeling and Verification for Publish-Subscribe Structures
               Using Distributed Resources},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {43},
  number    = {1},
  pages     = {76--99},
  year      = {2017},
  url       = {https://doi.org/10.1109/TSE.2016.2560842},
  doi       = {10.1109/TSE.2016.2560842},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tse/ValeroDC17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/CambroneroLP17,
  author    = {Mar{\'{\i}}a{-}Emilia Cambronero and
               Luis Llana and
               Gordon J. Pace},
  title     = {Timed Contract Compliance Under Event Timing Uncertainty},
  booktitle = {Legal Knowledge and Information Systems - {JURIX} 2017: The Thirtieth
               Annual Conference, Luxembourg, 13-15 December 2017.},
  pages     = {33--38},
  year      = {2017},
  crossref  = {DBLP:conf/jurix/2017},
  url       = {https://doi.org/10.3233/978-1-61499-838-9-33},
  doi       = {10.3233/978-1-61499-838-9-33},
  timestamp = {Sat, 09 Dec 2017 13:17:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/jurix/CambroneroLP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/LlanaCD16,
  author    = {Luis Llana and
               Mar{\'{\i}}a{-}Emilia Cambronero and
               Gregorio D{\'{\i}}az},
  title     = {The Simulation Relation for Formal E-Contracts},
  booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
               Conference on Current Trends in Theory and Practice of Computer Science,
               Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
  pages     = {490--502},
  year      = {2016},
  crossref  = {DBLP:conf/sofsem/2016},
  url       = {https://doi.org/10.1007/978-3-662-49192-8\_40},
  doi       = {10.1007/978-3-662-49192-8\_40},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sofsem/LlanaCD16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/ValeroMDC15,
  author    = {Valent{\'{\i}}n Valero and
               Hermenegilda Maci{\`{a}} and
               Gregorio D{\'{\i}}az and
               Mar{\'{\i}}a{-}Emilia Cambronero},
  title     = {Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the
               Context of Web Services Resources},
  booktitle = {Formal Methods for Industrial Critical Systems - 20th International
               Workshop, {FMICS} 2015, Oslo, Norway, June 22-23, 2015 Proceedings},
  pages     = {81--95},
  year      = {2015},
  crossref  = {DBLP:conf/fmics/2015},
  url       = {https://doi.org/10.1007/978-3-319-19458-5\_6},
  doi       = {10.1007/978-3-319-19458-5\_6},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/ValeroMDC15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/DiazCMR15,
  author    = {Gregorio D{\'{\i}}az and
               Mar{\'{\i}}a{-}Emilia Cambronero and
               Hermenegilda Maci{\`{a}} and
               Valent{\'{\i}}n Valero Ruiz},
  title     = {Model-checking verification of publish-subscribe architectures in
               web service contexts},
  booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
               Salamanca, Spain, April 13-17, 2015},
  pages     = {1688--1695},
  year      = {2015},
  crossref  = {DBLP:conf/sac/2015},
  url       = {https://doi.org/10.1145/2695664.2695744},
  doi       = {10.1145/2695664.2695744},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/DiazCMR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DiazCMS14,
  author    = {Gregorio D{\'{\i}}az and
               Mar{\'{\i}}a{-}Emilia Cambronero and
               Enrique Mart{\'{\i}}nez and
               Gerardo Schneider},
  title     = {Specification and Verification of NormativeTexts Using {C-O} Diagrams},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {40},
  number    = {8},
  pages     = {795--817},
  year      = {2014},
  url       = {https://doi.org/10.1109/TSE.2013.54},
  doi       = {10.1109/TSE.2013.54},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tse/DiazCMS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/CambroneroV13,
  author    = {Mar{\'{\i}}a{-}Emilia Cambronero and
               Valent{\'{\i}}n Valero},
  title     = {Modelling Distributed Service Systems with Resources Using {UML}},
  booktitle = {Proceedings of the International Conference on Computational Science,
               {ICCS} 2013, Barcelona, Spain, 5-7 June, 2013},
  pages     = {140--148},
  year      = {2013},
  crossref  = {DBLP:conf/iccS/2013},
  url       = {https://doi.org/10.1016/j.procs.2013.05.177},
  doi       = {10.1016/j.procs.2013.05.177},
  timestamp = {Mon, 21 Aug 2017 16:43:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccS/CambroneroV13},
  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 = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/scp/RuizMPCD12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simulation/CambroneroDMRT12,
  author    = {Mar{\'{\i}}a{-}Emilia Cambronero and
               Gregorio D{\'{\i}}az and
               Enrique Mart{\'{\i}}nez and
               Valent{\'{\i}}n Valero Ruiz and
               M. Llanos Tobarra},
  title     = {{WST:} a tool supporting timed composite Web Services Model transformation},
  journal   = {Simulation},
  volume    = {88},
  number    = {3},
  pages     = {349--364},
  year      = {2012},
  url       = {https://doi.org/10.1177/0037549710372098},
  doi       = {10.1177/0037549710372098},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/simulation/CambroneroDMRT12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CambroneroRVM11,
  author    = {Mar{\'{\i}}a{-}Emilia Cambronero and
               Gregorio D{\'{\i}}az and
               Valent{\'{\i}}n Valero and
               Enrique Mart{\'{\i}}nez},
  title     = {Validation and verification of Web services choreographies by using
               timed automata},
  journal   = {J. Log. Algebr. Program.},
  volume    = {80},
  number    = {1},
  pages     = {25--49},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.jlap.2010.02.001},
  doi       = {10.1016/j.jlap.2010.02.001},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/CambroneroRVM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CambroneroRM11,
  author    = {Mar{\'{\i}}a{-}Emilia Cambronero and
               Valent{\'{\i}}n Valero Ruiz and
               Enrique Mart{\'{\i}}nez},
  title     = {Design and Generation of Web Services Choreographies with Time Constraints},
  journal   = {J. {UCS}},
  volume    = {17},
  number    = {13},
  pages     = {1800--1829},
  year      = {2011},
  url       = {https://doi.org/10.3217/jucs-017-13-1800},
  doi       = {10.3217/jucs-017-13-1800},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jucs/CambroneroRM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/MartinezDC11,
  author    = {Enrique Mart{\'{\i}}nez and
               Gregorio D{\'{\i}}az and
               Mar{\'{\i}}a{-}Emilia Cambronero},
  title     = {Contractually Compliant Service Compositions},
  booktitle = {Service-Oriented Computing - 9th International Conference, {ICSOC}
               2011, Paphos, Cyprus, December 5-8, 2011 Proceedings},
  pages     = {636--644},
  year      = {2011},
  crossref  = {DBLP:conf/icsoc/2011},
  url       = {https://doi.org/10.1007/978-3-642-25535-9\_50},
  doi       = {10.1007/978-3-642-25535-9\_50},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsoc/MartinezDC11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1109-2654,
  author    = {Enrique Mart{\'{\i}}nez and
               Mar{\'{\i}}a{-}Emilia Cambronero and
               Gregorio D{\'{\i}}az and
               Gerardo Schneider},
  title     = {Timed Automata Semantics for Visual e-Contracts},
  booktitle = {Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented
               Software, {FLACOS} 2011, M{\'{a}}laga, Spain, 22nd and 23rd September
               2011.},
  pages     = {7--21},
  year      = {2011},
  crossref  = {DBLP:journals/corr/abs-1109-2399},
  url       = {https://doi.org/10.4204/EPTCS.68.3},
  doi       = {10.4204/EPTCS.68.3},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1109-2654},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/CambroneroRD10,
  author    = {Mar{\'{\i}}a{-}Emilia Cambronero and
               Valent{\'{\i}}n Valero Ruiz and
               Gregorio D{\'{\i}}az},
  title     = {Verification of real-time systems design},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {20},
  number    = {1},
  pages     = {3--37},
  year      = {2010},
  url       = {https://doi.org/10.1002/stvr.405},
  doi       = {10.1002/stvr.405},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/CambroneroRD10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/MartinezDCS10,
  author    = {Enrique Mart{\'{\i}}nez and
               Gregorio D{\'{\i}}az and
               Mar{\'{\i}}a{-}Emilia Cambronero and
               Gerardo Schneider},
  title     = {A Model for Visual Specification of E-contracts},
  booktitle = {2010 {IEEE} International Conference on Services Computing, {SCC}
               2010, Miami, Florida, USA, July 5-10, 2010},
  pages     = {1--8},
  year      = {2010},
  crossref  = {DBLP:conf/IEEEscc/2010},
  url       = {https://doi.org/10.1109/SCC.2010.32},
  doi       = {10.1109/SCC.2010.32},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEscc/MartinezDCS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/AndresCN10,
  author    = {C{\'{e}}sar Andr{\'{e}}s and
               Mar{\'{\i}}a{-}Emilia Cambronero and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Formal Passive Testing of Service-Oriented Systems},
  booktitle = {2010 {IEEE} International Conference on Services Computing, {SCC}
               2010, Miami, Florida, USA, July 5-10, 2010},
  pages     = {610--613},
  year      = {2010},
  crossref  = {DBLP:conf/IEEEscc/2010},
  url       = {https://doi.org/10.1109/SCC.2010.62},
  doi       = {10.1109/SCC.2010.62},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEscc/AndresCN10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/AndresCN10,
  author    = {C{\'{e}}sar Andr{\'{e}}s and
               Mar{\'{\i}}a{-}Emilia Cambronero and
               Manuel N{\'{u}}{\~{n}}ez},
  title     = {Passive Testing of Web Services},
  booktitle = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
               2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
  pages     = {56--70},
  year      = {2010},
  crossref  = {DBLP:conf/wsfm/2010},
  url       = {https://doi.org/10.1007/978-3-642-19589-1\_4},
  doi       = {10.1007/978-3-642-19589-1\_4},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wsfm/AndresCN10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ValeroCDM09,
  author    = {Valent{\'{\i}}n Valero and
               Mar{\'{\i}}a{-}Emilia Cambronero and
               Gregorio D{\'{\i}}az and
               Hermenegilda Maci{\`{a}}},
  title     = {A Petri net approach for the design and analysis of Web Services Choreographies},
  journal   = {J. Log. Algebr. Program.},
  volume    = {78},
  number    = {5},
  pages     = {359--380},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.jlap.2008.09.002},
  doi       = {10.1016/j.jlap.2008.09.002},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/ValeroCDM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ValeroDCM09,
  author    = {Valent{\'{\i}}n Valero and
               Gregorio D{\'{\i}}az and
               Mar{\'{\i}}a{-}Emilia Cambronero and
               Hermenegilda Maci{\`{a}}},
  title     = {A barred operational semantics for a subset of {WS-CDL} with time
               restrictions},
  journal   = {J. Log. Algebr. Program.},
  volume    = {78},
  number    = {8},
  pages     = {730--748},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.jlap.2009.07.001},
  doi       = {10.1016/j.jlap.2009.07.001},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/ValeroDCM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/telsys/TobarraCCDC09,
  author    = {M. Llanos Tobarra and
               Diego Cazorla and
               Fernando Cuartero and
               Gregorio D{\'{\i}}az and
               Mar{\'{\i}}a{-}Emilia Cambronero},
  title     = {Model checking wireless sensor network security protocols: TinySec
               + {LEAP} + TinyPK},
  journal   = {Telecommunication Systems},
  volume    = {40},
  number    = {3-4},
  pages     = {91--99},
  year      = {2009},
  url       = {https://doi.org/10.1007/s11235-008-9131-z},
  doi       = {10.1007/s11235-008-9131-z},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/telsys/TobarraCCDC09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icebe/CambroneroDMV09,
  author    = {Mar{\'{\i}}a{-}Emilia Cambronero and
               Gregorio D{\'{\i}}az and
               Enrique Mart{\'{\i}}nez and
               Valent{\'{\i}}n Valero},
  title     = {A Comparative Study between WSCI, WS-CDL, and {OWL-S}},
  booktitle = {2009 {IEEE} International Conference on e-Business Engineering, {ICEBE}
               2009, Macau, China, 21-23 October 2009},
  pages     = {377--382},
  year      = {2009},
  crossref  = {DBLP:conf/icebe/2009},
  url       = {https://doi.org/10.1109/ICEBE.2009.59},
  doi       = {10.1109/ICEBE.2009.59},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icebe/CambroneroDMV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciw/MartinezCDV09,
  author    = {Enrique Mart{\'{\i}}nez and
               Mar{\'{\i}}a{-}Emilia Cambronero and
               Gregorio D{\'{\i}}az and
               Valent{\'{\i}}n Valero},
  title     = {Design and Verification of Web Services Compositions},
  booktitle = {Fourth International Conference on Internet and Web Applications and
               Services, {ICIW} 2009, 24-28 May 2009, Venice/Mestre, Italy},
  pages     = {395--400},
  year      = {2009},
  crossref  = {DBLP:conf/iciw/2009},
  url       = {https://doi.org/10.1109/ICIW.2009.65},
  doi       = {10.1109/ICIW.2009.65},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iciw/MartinezCDV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamoco/MartinezDMCR09,
  author    = {Enrique Mart{\'{\i}}nez and
               Gregorio D{\'{\i}}az and
               Carmen Rosa Mart{\'{\i}}nez and
               Mar{\'{\i}}a{-}Emilia Cambronero and
               Valent{\'{\i}}n Valero Ruiz},
  title     = {Time Ordering Architecture in {SCA}},
  booktitle = {Techniques and Applications for Mobile Commerce - Proceedings of TAMoCo
               2009, 16-17 September 2009, M{\'{e}}rida, Spain},
  pages     = {117--126},
  year      = {2009},
  crossref  = {DBLP:conf/tamoco/2009},
  url       = {https://doi.org/10.3233/978-1-60750-052-0-117},
  doi       = {10.3233/978-1-60750-052-0-117},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tamoco/MartinezDMCR09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamoco/DiazCTRP08,
  author    = {Gregorio D{\'{\i}}az and
               Mar{\'{\i}}a{-}Emilia Cambronero and
               M. Llanos Tobarra and
               Valent{\'{\i}}n Valero Ruiz and
               Fernando L. Pelayo},
  title     = {Enhancing the expressivity of {PADL} for specifying Web Services Architectures},
  booktitle = {Techniques and Applications for Mobile Commerce - Proceedings of TAMoCo
               2008, University of Paisley, Glasgow, Scotland, United Kingdom, 14
               - 15 January 2008},
  pages     = {99--110},
  year      = {2008},
  crossref  = {DBLP:conf/tamoco/2008},
  url       = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=8246},
  timestamp = {Wed, 14 Mar 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tamoco/DiazCTRP08},
  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 = {Tue, 21 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cleiej/DiazCPVC07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/DiazNCVC07,
  author    = {Gregorio D{\'{\i}}az and
               Elena Navarro and
               Mar{\'{\i}}a{-}Emilia Cambronero and
               Valent{\'{\i}}n Valero and
               Fernando Cuartero},
  title     = {Testing Time Goal-Driven Requirements with Model Checking Techniques},
  booktitle = {14th Annual {IEEE} International Conference and Workshop on Engineering
               of Computer Based Systems {(ECBS} 2007), 26-29 March 2007, Tucson,
               Arizona, {USA}},
  pages     = {503--514},
  year      = {2007},
  crossref  = {DBLP:conf/ecbs/2007},
  url       = {https://doi.org/10.1109/ECBS.2007.70},
  doi       = {10.1109/ECBS.2007.70},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecbs/DiazNCVC07},
  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},
  year      = {2007},
  crossref  = {DBLP:conf/iciw/2007},
  url       = {https://doi.org/10.1109/ICIW.2007.68},
  doi       = {10.1109/ICIW.2007.68},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iciw/CambroneroDPV07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip6-8/TobarraCCDC07,
  author    = {M. Llanos Tobarra and
               Diego Cazorla and
               Fernando Cuartero and
               Gregorio D{\'{\i}}az and
               Mar{\'{\i}}a{-}Emilia Cambronero},
  title     = {Model Checking Wireless Sensor Network Security Protocols: TinySec
               + {LEAP}},
  booktitle = {Wireless Sensor and Actor Networks - {IFIP} {WG} 6.8 First International
               Conference on Wireless Sensor and Actor Networks, WSAN'07, Albacete,
               Spain, September 24-26, 2007},
  pages     = {95--106},
  year      = {2007},
  crossref  = {DBLP:conf/ifip6-8/2007wsan},
  url       = {https://doi.org/10.1007/978-0-387-74899-3\_9},
  doi       = {10.1007/978-0-387-74899-3\_9},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifip6-8/TobarraCCDC07},
  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},
  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},
  year      = {2007},
  crossref  = {DBLP:conf/sac/2007},
  url       = {https://doi.org/10.1145/1244002.1244150},
  doi       = {10.1145/1244002.1244150},
  timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sac/CambroneroPDV07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{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},
  title     = {Verification of Web Services with Timed Automata},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {157},
  number    = {2},
  pages     = {19--34},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2005.12.042},
  doi       = {10.1016/j.entcs.2005.12.042},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/DiazPCVC06},
  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},
  year      = {2006},
  crossref  = {DBLP:conf/aict/2006},
  url       = {https://doi.org/10.1109/AICT-ICIW.2006.53},
  doi       = {10.1109/AICT-ICIW.2006.53},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aict/DiazCPVC06},
  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},
  year      = {2006},
  crossref  = {DBLP:conf/scw/2006},
  url       = {https://doi.org/10.1109/SCW.2006.35},
  doi       = {10.1109/SCW.2006.35},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/scw/CambroneroDPRP06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/DiazCTVC06,
  author    = {Gregorio D{\'{\i}}az and
               Mar{\'{\i}}a{-}Emilia Cambronero and
               M. Llanos Tobarra and
               Valent{\'{\i}}n Valero and
               Fernando Cuartero},
  title     = {Analysis and Verification of Time Requirements Applied to the Web
               Services Composition},
  booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
               2006 Vienna, Austria, September 8-9, 2006, Proceedings},
  pages     = {178--192},
  year      = {2006},
  crossref  = {DBLP:conf/wsfm/2006},
  url       = {https://doi.org/10.1007/11841197\_12},
  doi       = {10.1007/11841197\_12},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wsfm/DiazCTVC06},
  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},
  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},
  pages     = {230--242},
  year      = {2005},
  crossref  = {DBLP:conf/epew/2005},
  url       = {https://doi.org/10.1007/11549970\_17},
  doi       = {10.1007/11549970\_17},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/epew/DiazPCVC05},
  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},
  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},
  pages     = {177--191},
  year      = {2005},
  crossref  = {DBLP:conf/wwv/2005},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wwv/DiazPCVC05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jurix/2017,
  editor    = {Adam Z. Wyner and
               Giovanni Casini},
  title     = {Legal Knowledge and Information Systems - {JURIX} 2017: The Thirtieth
               Annual Conference, Luxembourg, 13-15 December 2017},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {302},
  publisher = {{IOS} Press},
  year      = {2017},
  isbn      = {978-1-61499-837-2},
  timestamp = {Sat, 09 Dec 2017 13:17:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/jurix/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2016,
  editor    = {Rusins Martins Freivalds and
               Gregor Engels and
               Barbara Catania},
  title     = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
               Conference on Current Trends in Theory and Practice of Computer Science,
               Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9587},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49192-8},
  doi       = {10.1007/978-3-662-49192-8},
  isbn      = {978-3-662-49191-1},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sofsem/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2015,
  editor    = {Manuel N{\'{u}}{\~{n}}ez and
               Matthias G{\"{u}}demann},
  title     = {Formal Methods for Industrial Critical Systems - 20th International
               Workshop, {FMICS} 2015, Oslo, Norway, June 22-23, 2015 Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9128},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19458-5},
  doi       = {10.1007/978-3-319-19458-5},
  isbn      = {978-3-319-19457-8},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2015,
  editor    = {Roger L. Wainwright and
               Juan Manuel Corchado and
               Alessio Bechini and
               Jiman Hong},
  title     = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
               Salamanca, Spain, April 13-17, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2695664},
  isbn      = {978-1-4503-3196-8},
  timestamp = {Tue, 21 Jul 2015 14:16:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sac/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccS/2013,
  editor    = {Vassil N. Alexandrov and
               Michael Lees and
               Valeria V. Krzhizhanovskaya and
               Jack J. Dongarra and
               Peter M. A. Sloot},
  title     = {Proceedings of the International Conference on Computational Science,
               {ICCS} 2013, Barcelona, Spain, 5-7 June, 2013},
  series    = {Procedia Computer Science},
  volume    = {18},
  publisher = {Elsevier},
  year      = {2013},
  url       = {http://www.sciencedirect.com/science/journal/18770509/18},
  timestamp = {Mon, 21 Aug 2017 16:43:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccS/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsoc/2011,
  editor    = {Gerti Kappel and
               Zakaria Maamar and
               Hamid R. {Motahari Nezhad}},
  title     = {Service-Oriented Computing - 9th International Conference, {ICSOC}
               2011, Paphos, Cyprus, December 5-8, 2011 Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7084},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-25535-9},
  doi       = {10.1007/978-3-642-25535-9},
  isbn      = {978-3-642-25534-2},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsoc/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1109-2399,
  editor    = {Ernesto Pimentel and
               Valent{\'{\i}}n Valero},
  title     = {Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented
               Software, {FLACOS} 2011, M{\'{a}}laga, Spain, 22nd and 23rd September
               2011},
  series    = {{EPTCS}},
  volume    = {68},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.68},
  doi       = {10.4204/EPTCS.68},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1109-2399},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/IEEEscc/2010,
  title     = {2010 {IEEE} International Conference on Services Computing, {SCC}
               2010, Miami, Florida, USA, July 5-10, 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5556873/proceeding},
  isbn      = {978-0-7695-4126-6},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEscc/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2010,
  editor    = {Mario Bravetti and
               Tevfik Bultan},
  title     = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
               2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6551},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-19589-1},
  doi       = {10.1007/978-3-642-19589-1},
  isbn      = {978-3-642-19588-4},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wsfm/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icebe/2009,
  title     = {2009 {IEEE} International Conference on e-Business Engineering, {ICEBE}
               2009, Macau, China, 21-23 October 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5342021/proceeding},
  isbn      = {978-0-7695-3842-6},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icebe/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iciw/2009,
  editor    = {Mark Perry and
               Hideyasu Sasaki and
               Matthias Ehmann and
               Guadalupe Ortiz and
               Oana Dini},
  title     = {Fourth International Conference on Internet and Web Applications and
               Services, {ICIW} 2009, 24-28 May 2009, Venice/Mestre, Italy},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5072479/proceeding},
  isbn      = {978-0-7695-3613-2},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iciw/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tamoco/2009,
  editor    = {Juan Enrique Agudo and
               Cherif Branki and
               Brian Cross and
               Gregorio D{\'{\i}}az and
               Frank{-}Dieter Dorloff and
               Guadalupe Ortiz and
               Key Pousttchi and
               Martin Randles and
               Mercedes Rico and
               H{\'{e}}ctor S{\'{a}}nchez and
               A. Taleb{-}Bendiab and
               Frank Teuteberg and
               Rainer Unland},
  title     = {Techniques and Applications for Mobile Commerce - Proceedings of TAMoCo
               2009, 16-17 September 2009, M{\'{e}}rida, Spain},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {201},
  publisher = {{IOS} Press},
  year      = {2009},
  isbn      = {978-1-60750-052-0},
  timestamp = {Tue, 24 Aug 2010 07:35:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tamoco/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tamoco/2008,
  editor    = {Cherif Branki and
               Brian Cross and
               Gregorio D{\'{\i}}az and
               Peter Langend{\"{o}}rfer and
               Fritz Laux and
               Guadalupe Ortiz and
               Martin Randles and
               A. Taleb{-}Bendiab and
               Frank Teuteberg and
               Rainer Unland and
               Gerhard Wanner},
  title     = {Techniques and Applications for Mobile Commerce - Proceedings of TAMoCo
               2008, University of Paisley, Glasgow, Scotland, United Kingdom, 14
               - 15 January 2008},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {169},
  publisher = {{IOS} Press},
  year      = {2008},
  isbn      = {978-1-58603-826-7},
  timestamp = {Wed, 18 Feb 2009 13:03:55 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tamoco/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecbs/2007,
  title     = {14th Annual {IEEE} International Conference and Workshop on Engineering
               of Computer Based Systems {(ECBS} 2007), 26-29 March 2007, Tucson,
               Arizona, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4148902/proceeding},
  isbn      = {0-7695-2772-8},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecbs/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iciw/2007,
  title     = {International Conference on Internet and Web Applications and Services
               {(ICIW} 2007), May 13-19, 2007, Le Morne, Mauritius},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4222895/proceeding},
  isbn      = {0-7695-2844-9},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iciw/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip6-8/2007wsan,
  editor    = {Luis Orozco{-}Barbosa and
               Teresa Olivares and
               Rafael Casado and
               Aurelio Berm{\'{u}}dez},
  title     = {Wireless Sensor and Actor Networks - {IFIP} {WG} 6.8 First International
               Conference on Wireless Sensor and Actor Networks, WSAN'07, Albacete,
               Spain, September 24-26, 2007},
  series    = {{IFIP}},
  volume    = {248},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-0-387-74899-3},
  doi       = {10.1007/978-0-387-74899-3},
  isbn      = {978-0-387-74898-6},
  timestamp = {Sat, 16 Sep 2017 12:10:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifip6-8/2007wsan},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2007,
  editor    = {Yookun Cho and
               Roger L. Wainwright and
               Hisham Haddad and
               Sung Y. Shin and
               Yong Wan Koo},
  title     = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
               Seoul, Korea, March 11-15, 2007},
  publisher = {{ACM}},
  year      = {2007},
  url       = {https://doi.org/10.1145/1244002},
  doi       = {10.1145/1244002},
  isbn      = {1-59593-480-4},
  timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sac/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aict/2006,
  title     = {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},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/10670/proceeding},
  isbn      = {0-7695-2522-9},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aict/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/scw/2006,
  title     = {Proceedings of the 2006 {IEEE} Services Computing Workshops {(SCW}
               2006), 18-22 September 2006, Chicago, Illinois, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4026993/proceeding},
  isbn      = {0-7695-2681-0},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/scw/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2006,
  editor    = {Mario Bravetti and
               Manuel N{\'{u}}{\~{n}}ez and
               Gianluigi Zavattaro},
  title     = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
               2006 Vienna, Austria, September 8-9, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4184},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11841197},
  doi       = {10.1007/11841197},
  isbn      = {3-540-38862-1},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wsfm/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/epew/2005,
  editor    = {Mario Bravetti and
               Le{\"{\i}}la Kloul and
               Gianluigi Zavattaro},
  title     = {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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11549970},
  doi       = {10.1007/11549970},
  isbn      = {3-540-28701-9},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/epew/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wwv/2005,
  editor    = {Mar{\'{\i}}a Alpuente and
               Santiago Escobar and
               Moreno Falaschi},
  title     = {First International Workshop on Automated Specification and Verification
               of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
  volume    = {{DSIC-II/03/05}},
  publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
               de Valencia},
  year      = {2005},
  url       = {http://www.dsic.upv.es/workshops/wwv05/pre-proceedings.pdf},
  timestamp = {Sun, 01 Dec 2013 18:12:21 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wwv/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics