Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Manuel I. Capel
@inproceedings{DBLP:conf/closer/CapelAJ20,
author = {Manuel I. Capel and
Oscar I. Aporta and
Maria del Carmen Pegalajar Jim{\'{e}}nez},
editor = {Donald Ferguson and
Markus Helfert and
Claus Pahl},
title = {Quality of Service in Cloud Computing Environments with Multitenant
{DBMS}},
booktitle = {Proceedings of the 10th International Conference on Cloud Computing
and Services Science, {CLOSER} 2020, Prague, Czech Republic, May 7-9,
2020},
pages = {506--514},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0009794605060514},
doi = {10.5220/0009794605060514},
timestamp = {Fri, 05 Jun 2020 13:55:06 +0200},
biburl = {https://dblp.org/rec/conf/closer/CapelAJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/asc/RuizCC19,
author = {Luis G. Baca Ru{\'{\i}}z and
Manuel I. Capel and
Manuel P. Cu{\'{e}}llar},
title = {Parallel memetic algorithm for training recurrent neural networks
for the energy efficiency problem},
journal = {Appl. Soft Comput.},
volume = {76},
pages = {356--368},
year = {2019},
url = {https://doi.org/10.1016/j.asoc.2018.12.028},
doi = {10.1016/J.ASOC.2018.12.028},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/asc/RuizCC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/SalgueroTC19,
author = {Alberto G. Salguero and
Antonio J. Tomeu{-}Hardasmal and
Manuel I. Capel},
title = {Dynamic Load Balancing Strategy for Parallel Tumor Growth Simulations},
journal = {J. Integr. Bioinform.},
volume = {16},
number = {1},
year = {2019},
url = {https://doi.org/10.1515/jib-2018-0066},
doi = {10.1515/JIB-2018-0066},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/SalgueroTC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rcs/LopezTTPO19,
author = {Mario Rossainz L{\'{o}}pez and
Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Ivo Humberto Pineda Torres and
Iv{\'{a}}n Olmos Pineda and
J. Arturo Olvera{-}L{\'{o}}pez},
title = {Use of Parallel Patterns of Communication between Processes for search
of Sequences {DNA} and RNAi Strings},
journal = {Res. Comput. Sci.},
volume = {148},
number = {3},
pages = {133--145},
year = {2019},
url = {https://rcs.cic.ipn.mx/2019\_148\_3/Use\%20of\%20Parallel\%20Patterns\%20of\%20Communication\%20between\%20Processes\%20for\%20search\%20of\%20Sequences\%20DNA.pdf},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rcs/LopezTTPO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/Tomeu-Hardasmal18,
author = {Antonio J. Tomeu{-}Hardasmal and
Alberto G. Salguero{-}Hidalgo and
Manuel I. Capel},
editor = {Gabriele Mencagli and
Dora B. Heras and
Valeria Cardellini and
Emiliano Casalicchio and
Emmanuel Jeannot and
Felix Wolf and
Antonio Salis and
Claudio Schifanella and
Ravi Reddy Manumachu and
Laura Ricci and
Marco Beccuti and
Laura Antonelli and
Jos{\'{e}} Daniel Garc{\'{\i}}a S{\'{a}}nchez and
Stephen L. Scott},
title = {A Parallel Cellular Automaton Model For Adenocarcinomas in Situ with
Java: Study of One Case},
booktitle = {Euro-Par 2018: Parallel Processing Workshops - Euro-Par 2018 International
Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11339},
pages = {704--715},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-10549-5\_55},
doi = {10.1007/978-3-030-10549-5\_55},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/Tomeu-Hardasmal18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/SanchezCJRP18,
author = {J. R. Sanchez and
Manuel I. Capel and
Celina Jim{\'{e}}nez and
Gonzalo Rodriguez{-}Fraile and
Maria del Carmen Pegalajar},
editor = {Jes{\'{u}}s Medina and
Manuel Ojeda{-}Aciego and
Jos{\'{e}} Luis Verdegay Galdeano and
David A. Pelta and
Inma P. Cabrera and
Bernadette Bouchon{-}Meunier and
Ronald R. Yager},
title = {Personality Determination of an Individual Through Neural Networks},
booktitle = {Information Processing and Management of Uncertainty in Knowledge-Based
Systems. Theory and Foundations - 17th International Conference, {IPMU}
2018, C{\'{a}}diz, Spain, June 11-15, 2018, Proceedings, Part
{I}},
series = {Communications in Computer and Information Science},
volume = {853},
pages = {52--61},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91473-2\_5},
doi = {10.1007/978-3-319-91473-2\_5},
timestamp = {Thu, 07 Jan 2021 08:57:40 +0100},
biburl = {https://dblp.org/rec/conf/ipmu/SanchezCJRP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pacbb/SalgueroCT18,
author = {Alberto G. Salguero and
Manuel I. Capel and
Antonio J. Tomeu},
editor = {Florentino Fdez{-}Riverola and
Mohd Saberi Mohamad and
Miguel Rocha and
Juan F. De Paz and
Pascual Gonz{\'{a}}lez},
title = {Parallel Cellular Automaton Tumor Growth Model},
booktitle = {Practical Applications of Computational Biology and Bioinformatics,
12th International Conference, {PACBB} 2018, Toledo, Spain, 20-22
May, 2018},
series = {Advances in Intelligent Systems and Computing},
volume = {803},
pages = {175--182},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98702-6\_21},
doi = {10.1007/978-3-319-98702-6\_21},
timestamp = {Wed, 12 Oct 2022 08:58:53 +0200},
biburl = {https://dblp.org/rec/conf/pacbb/SalgueroCT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/MendozaC17,
author = {Luis Eduardo Mendoza and
Manuel I. Capel},
title = {A methodological approach for checking safety-critical systems software},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {7},
number = {4},
pages = {341--368},
year = {2017},
url = {https://doi.org/10.1504/IJCCBS.2017.10011028},
doi = {10.1504/IJCCBS.2017.10011028},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/MendozaC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijspm/LopezC17,
author = {Mario Rossainz L{\'{o}}pez and
Manuel I. Capel},
title = {Design and implementation of communication patterns using parallel
objects},
journal = {Int. J. Simul. Process. Model.},
volume = {12},
number = {1},
pages = {69--91},
year = {2017},
url = {https://doi.org/10.1504/IJSPM.2017.10003693},
doi = {10.1504/IJSPM.2017.10003693},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijspm/LopezC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/CapelTS17,
author = {Manuel I. Capel and
Antonio J. Tomeu{-}Hardasmal and
Alberto G. Salguero},
title = {Teaching concurrent and parallel programming by patterns: An interactive
{ICT} approach},
journal = {J. Parallel Distributed Comput.},
volume = {105},
pages = {42--52},
year = {2017},
url = {https://doi.org/10.1016/j.jpdc.2017.01.010},
doi = {10.1016/J.JPDC.2017.01.010},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/CapelTS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rcs/LopezTR17,
author = {Mario Rossainz L{\'{o}}pez and
Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Diego Sarmiento Rojas},
title = {Partitioning Strategy Divide and Conquer as CPANs. {A} Methodological
Proposal},
journal = {Res. Comput. Sci.},
volume = {145},
pages = {21--36},
year = {2017},
url = {https://rcs.cic.ipn.mx/2017\_145/Partitioning\%20Strategy\%20Divide\%20and\%20Conquer\%20as\%20CPANs\_\%20A\%20Methodological\%20Proposal.pdf},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rcs/LopezTR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/closer/Capel17,
author = {Manuel I. Capel},
editor = {Donald Ferguson and
V{\'{\i}}ctor M{\'{e}}ndez Mu{\~{n}}oz and
Jorge Cardoso and
Markus Helfert and
Claus Pahl},
title = {Checking Realizability of a Timed Business Processes Choreography},
booktitle = {{CLOSER} 2017 - Proceedings of the 7th International Conference on
Cloud Computing and Services Science, Porto, Portugal, April 24-26,
2017},
pages = {413--420},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006300404130420},
doi = {10.5220/0006300404130420},
timestamp = {Thu, 03 Feb 2022 09:27:48 +0100},
biburl = {https://dblp.org/rec/conf/closer/Capel17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/CapelTS17,
author = {Manuel I. Capel and
Antonio J. Tomeu and
Alberto G. Salguero},
editor = {Dora Blanco Heras and
Luc Boug{\'{e}} and
Gabriele Mencagli and
Emmanuel Jeannot and
Rizos Sakellariou and
Rosa M. Badia and
Jorge G. Barbosa and
Laura Ricci and
Stephen L. Scott and
Stefan Lankes and
Josef Weidendorfer},
title = {A Set of Patterns for Concurrent and Parallel Programming Teaching},
booktitle = {Euro-Par 2017: Parallel Processing Workshops - Euro-Par 2017 International
Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10659},
pages = {203--215},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-75178-8\_17},
doi = {10.1007/978-3-319-75178-8\_17},
timestamp = {Thu, 14 Oct 2021 10:28:38 +0200},
biburl = {https://dblp.org/rec/conf/europar/CapelTS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/TomeuSC17,
author = {Antonio J. Tomeu and
Alberto G. Salguero and
Manuel I. Capel},
editor = {Dora Blanco Heras and
Luc Boug{\'{e}} and
Gabriele Mencagli and
Emmanuel Jeannot and
Rizos Sakellariou and
Rosa M. Badia and
Jorge G. Barbosa and
Laura Ricci and
Stephen L. Scott and
Stefan Lankes and
Josef Weidendorfer},
title = {Teaching Software Transactional Memory in Concurrency Courses with
Clojure and Java},
booktitle = {Euro-Par 2017: Parallel Processing Workshops - Euro-Par 2017 International
Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10659},
pages = {266--277},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-75178-8\_22},
doi = {10.1007/978-3-319-75178-8\_22},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/TomeuSC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/MoralesC16,
author = {Luis E. Mendoza Morales and
Manuel I. Capel},
editor = {Mark C. Paulk and
Ricardo J. Machado and
Miguel A. Brito and
Miguel Goul{\~{a}}o and
Vasco Amaral},
title = {Checking Critical Software Systems: {A} Formal Proposal},
booktitle = {10th International Conference on the Quality of Information and Communications
Technology, {QUATIC} 2016, Lisbon, Portugal, September 6-9, 2016},
pages = {160--163},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.ieeecomputersociety.org/10.1109/QUATIC.2016.041},
doi = {10.1109/QUATIC.2016.041},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/quatic/MoralesC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/Tomeu-Hardasmal15,
author = {Antonio J. Tomeu{-}Hardasmal and
Alberto G. Salguero and
Manuel I. Capel},
editor = {Sascha Hunold and
Alexandru Costan and
Domingo Gim{\'{e}}nez and
Alexandru Iosup and
Laura Ricci and
Mar{\'{\i}}a Engracia G{\'{o}}mez Requena and
Vittorio Scarano and
Ana Lucia Varbanescu and
Stephen L. Scott and
Stefan Lankes and
Josef Weidendorfer and
Michael Alexander},
title = {Integration of {ICT} in Concurrent and Parallel Programming Lectures},
booktitle = {Euro-Par 2015: Parallel Processing Workshops - Euro-Par 2015 International
Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9523},
pages = {114--124},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27308-2\_10},
doi = {10.1007/978-3-319-27308-2\_10},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/Tomeu-Hardasmal15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/CapelM14,
author = {Manuel I. Capel and
Luis Eduardo Mendoza},
editor = {Joseph Barjis and
Robert Pergl},
title = {Choreography Modeling Compliance for Timed Business Models},
booktitle = {Enterprise and Organizational Modeling and Simulation - 10th International
Workshop, {EOMAS} 2014, Held at CAiSE 2014, Thessaloniki, Greece,
June 16-17, 2014, Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {191},
pages = {202--218},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44860-1\_12},
doi = {10.1007/978-3-662-44860-1\_12},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/CapelM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/closer/Capel13,
author = {Manuel I. Capel},
editor = {Fr{\'{e}}d{\'{e}}ric Desprez and
Donald Ferguson and
Ethan Hadar and
Frank Leymann and
Matthias Jarke and
Markus Helfert},
title = {Choreography Conformace Checking based on Process Algebras},
booktitle = {{CLOSER} 2013 - Proceedings of the 3rd International Conference on
Cloud Computing and Services Science, Aachen, Germany, 8-10 May, 2013},
pages = {135--139},
publisher = {SciTePress},
year = {2013},
timestamp = {Wed, 29 Mar 2017 16:45:24 +0200},
biburl = {https://dblp.org/rec/conf/closer/Capel13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/MendozaCP12,
author = {Luis Eduardo Mendoza and
Manuel I. Capel and
Mar{\'{\i}}a A. P{\'{e}}rez},
title = {Conceptual framework for business processes compositional verification},
journal = {Inf. Softw. Technol.},
volume = {54},
number = {2},
pages = {149--161},
year = {2012},
url = {https://doi.org/10.1016/j.infsof.2011.08.004},
doi = {10.1016/J.INFSOF.2011.08.004},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/MendozaCP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/CapelM12,
author = {Manuel I. Capel and
Luis E. Mendoza Morales},
editor = {Leszek A. Maciaszek and
Alfredo Cuzzocrea and
Jos{\'{e}} Cordeiro},
title = {A Formal Compositional Verification Approach for Safety-Critical Systems
Correctness - Model-Checking based Methodological Approach to Automatically
Verify Safety Critical Systems Software},
booktitle = {{ICEIS} 2012 - Proceedings of the 14th International Conference on
Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June
- 1 July, 2012},
pages = {105--112},
publisher = {SciTePress},
year = {2012},
timestamp = {Tue, 21 Aug 2012 14:19:32 +0200},
biburl = {https://dblp.org/rec/conf/iceis/CapelM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/CapelM12,
author = {Manuel I. Capel and
Luis Eduardo Mendoza},
editor = {Jonathan P. Bowen and
Huibiao Zhu and
Mike Hinchey},
title = {Automating the Transformation from {BPMN} Models to {CSP+T} Specifications},
booktitle = {35th Annual {IEEE} Software Engineering Workshop, {SEW} 2012, Heraclion,
Crete, Greece, October 12-13, 2012},
pages = {100--109},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SEW.2012.17},
doi = {10.1109/SEW.2012.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/CapelM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/GonzalezMCPMD11,
author = {Aleksander Gonz{\'{a}}lez and
Luis E. Mendoza Morales and
Manuel I. Capel and
Mar{\'{\i}}a A. P{\'{e}}rez and
Edumilis Maria M{\'{e}}ndez and
Kenyer Dom{\'{\i}}nguez},
editor = {Runtong Zhang and
Jos{\'{e}} Cordeiro and
Xuewei Li and
Zhenji Zhang and
Juliang Zhang},
title = {{BTRANSFORMER} - {A} Tool for {BPMN} to {CSP+T} Transformation},
booktitle = {{ICEIS} 2011 - Proceedings of the 13th International Conference on
Enterprise Information Systems, Volume 3, Beijing, China, 8-11 June,
2011},
pages = {363--366},
publisher = {SciTePress},
year = {2011},
timestamp = {Wed, 28 Sep 2011 15:01:13 +0200},
biburl = {https://dblp.org/rec/conf/iceis/GonzalezMCPMD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/GonzalezMCP11,
author = {Aleksander Gonz{\'{a}}lez and
Luis Eduardo Mendoza and
Manuel I. Capel and
Mar{\'{\i}}a A. P{\'{e}}rez},
editor = {Markus Helfert and
Mouzhi Ge and
Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Farouk Toumani and
Val{\'{e}}rie Monfort and
Wassim Jaziri and
Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Chunping Li},
title = {Implementing a Transformation from {BPMN} to {CSP+T} with {ATL:} Lessons
Learnt},
booktitle = {IVM, FTMDD, {RTSOABIS} {\&} {MSVVEIS} 2011 - Proceedings of the
International Joint Workshop on Information Value Management, Future
Trends of Model-Driven Development, Recent Trends in {SOA} Based Information
Systems and Modelling and Simulation, Verification and Validation
of Enterprise Information Systems, In conjunction with {ICEIS} 2011,
Beijing, China, June, 2011},
pages = {51--60},
publisher = {SciTePress},
year = {2011},
timestamp = {Wed, 28 Sep 2011 15:52:57 +0200},
biburl = {https://dblp.org/rec/conf/vveis/GonzalezMCP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vveis/2011,
editor = {Markus Helfert and
Mouzhi Ge and
Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Farouk Toumani and
Val{\'{e}}rie Monfort and
Wassim Jaziri and
Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Chunping Li},
title = {IVM, FTMDD, {RTSOABIS} {\&} {MSVVEIS} 2011 - Proceedings of the
International Joint Workshop on Information Value Management, Future
Trends of Model-Driven Development, Recent Trends in {SOA} Based Information
Systems and Modelling and Simulation, Verification and Validation
of Enterprise Information Systems, In conjunction with {ICEIS} 2011,
Beijing, China, June, 2011},
publisher = {SciTePress},
year = {2011},
isbn = {978-989-8425-60-7},
timestamp = {Wed, 28 Sep 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/MoralesTP10,
author = {Luis E. Mendoza Morales and
Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Mar{\'{\i}}a A. P{\'{e}}rez},
editor = {Joaquim Filipe and
Jos{\'{e}} Cordeiro},
title = {Compositional Verification of Business Processes Modelled with {BPMN}},
booktitle = {{ICEIS} 2010 - Proceedings of the 12th International Conference on
Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira,
Portugal, June 8 - 12, 2010},
pages = {113--122},
publisher = {SciTePress},
year = {2010},
timestamp = {Tue, 04 Jan 2011 08:32:08 +0100},
biburl = {https://dblp.org/rec/conf/iceis/MoralesTP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/MoralesTP10a,
author = {Luis E. Mendoza Morales and
Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Mar{\'{\i}}a A. P{\'{e}}rez},
editor = {Joaquim Filipe and
Jos{\'{e}} Cordeiro},
title = {A Formalization Proposal of Timed {BPMN} for Compositional Verification
of Business Processes},
booktitle = {Enterprise Information Systems - 12th International Conference, {ICEIS}
2010, Funchal, Madeira, Portugal, June 8-12, 2010, Revised Selected
Papers},
series = {Lecture Notes in Business Information Processing},
volume = {73},
pages = {388--403},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19802-1\_27},
doi = {10.1007/978-3-642-19802-1\_27},
timestamp = {Sat, 19 Oct 2019 20:26:20 +0200},
biburl = {https://dblp.org/rec/conf/iceis/MoralesTP10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/MendozaCP10,
author = {Luis Eduardo Mendoza and
Manuel I. Capel and
Mar{\'{\i}}a A. P{\'{e}}rez},
editor = {Juan Garbajosa Sope{\~{n}}a and
Manuel I. Capel Tu{\~{n}}{\'{o}}n},
title = {Compositional Verification of Business Processes by Model-Checking},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 8th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2010, In conjunction with {ICEIS} 2010, Funchal,
Madeira, Portugal, June 2010},
pages = {60--69},
publisher = {SciTePress},
year = {2010},
timestamp = {Tue, 04 Jan 2011 12:14:12 +0100},
biburl = {https://dblp.org/rec/conf/vveis/MendozaCP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vveis/2010,
editor = {Juan Garbajosa Sope{\~{n}}a and
Manuel I. Capel Tu{\~{n}}{\'{o}}n},
title = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 8th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2010, In conjunction with {ICEIS} 2010, Funchal,
Madeira, Portugal, June 2010},
publisher = {SciTePress},
year = {2010},
isbn = {978-989-8425-12-6},
timestamp = {Tue, 04 Jan 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecms/LopezT09,
author = {Mario Rossainz L{\'{o}}pez and
Manuel I. Capel Tu{\~{n}}{\'{o}}n},
editor = {Javier Otamendi and
Andrzej Bargiela and
Jos{\'{e}} Luis Isla Montes and
Luis Miguel Doncel Pedrera},
title = {Methodology Of Parallel Programming Using Compositions Of Parallel
Objects Or {CPANS} For The Solution Of NP-Complete Problems},
booktitle = {European Conference on Modelling and Simulation, {ECMS} 2009, Madrid,
Spain, June 9-12, 2009},
pages = {63--69},
publisher = {European Council for Modeling and Simulation},
year = {2009},
url = {https://doi.org/10.7148/2009-0063-0069},
doi = {10.7148/2009-0063-0069},
timestamp = {Tue, 09 Feb 2021 08:33:04 +0100},
biburl = {https://dblp.org/rec/conf/ecms/LopezT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/MoralesC09,
author = {Luis E. Mendoza Morales and
Manuel I. Capel},
editor = {Joaquim Filipe and
Jos{\'{e}} Cordeiro},
title = {Automatic Compositional Verification of Business Processes},
booktitle = {Enterprise Information Systems, 11th International Conference, {ICEIS}
2009, Milan, Italy, May 6-10, 2009. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {24},
pages = {479--490},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01347-8\_40},
doi = {10.1007/978-3-642-01347-8\_40},
timestamp = {Tue, 16 Aug 2022 23:04:29 +0200},
biburl = {https://dblp.org/rec/conf/iceis/MoralesC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijspm/TunonMA08,
author = {Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Luis E. Mendoza Morales and
Kawtar Benghazi Akhlaki},
title = {Automatic verification of business process integrity},
journal = {Int. J. Simul. Process. Model.},
volume = {4},
number = {3/4},
pages = {167--182},
year = {2008},
url = {https://doi.org/10.1504/IJSPM.2008.023679},
doi = {10.1504/IJSPM.2008.023679},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijspm/TunonMA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/MoralesTPA08,
author = {Luis E. Mendoza Morales and
Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Mar{\'{\i}}a A. P{\'{e}}rez and
Kawtar Benghazi Akhlaki},
editor = {Jos{\'{e}} Cordeiro and
Joaquim Filipe},
title = {A Conceptual Scheme for Compositional Model-Checking Verification
of Critical Communicating Systems},
booktitle = {{ICEIS} 2008 - Proceedings of the Tenth International Conference on
Enterprise Information Systems, Volume ISAS-1, Barcelona, Spain, June
12-16, 2008},
pages = {86--93},
year = {2008},
timestamp = {Tue, 08 Sep 2009 16:03:50 +0200},
biburl = {https://dblp.org/rec/conf/iceis/MoralesTPA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/MoralesCPA08,
author = {Luis E. Mendoza Morales and
Manuel I. Capel and
Mar{\'{\i}}a A. P{\'{e}}rez and
Kawtar Benghazi Akhlaki},
editor = {Joaquim Filipe and
Jos{\'{e}} Cordeiro},
title = {Compositional Model-Checking Verification of Critical Systems},
booktitle = {Enterprise Information Systems, 10th International Conference, {ICEIS}
2008, Barcelona, Spain, June 12-16, 2008, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {19},
pages = {213--225},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00670-8\_16},
doi = {10.1007/978-3-642-00670-8\_16},
timestamp = {Tue, 16 Aug 2022 23:04:29 +0200},
biburl = {https://dblp.org/rec/conf/iceis/MoralesCPA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/MendozaCA08,
author = {Luis Eduardo Mendoza and
Manuel I. Capel and
Kawtar Benghazi Akhlaki},
editor = {Ana Moreira and
Mar{\'{\i}}a Jos{\'{e}} Su{\'{a}}rez Cabal and
Claudio de la Riva and
Javier Tuya},
title = {Towards the Correctness Verifcation of Business Processes Modelled
with {UML}},
booktitle = {{XIII} Jornadas de Ingenier{\'{\i}}a del Software y Bases de
Datos {(JISBD} 2008), Gij{\'{o}}n, Spain, October 7-10, 2008.
Proceedings},
pages = {159--170},
year = {2008},
timestamp = {Tue, 23 Jan 2018 13:29:37 +0100},
biburl = {https://dblp.org/rec/conf/jisbd/MendozaCA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AkhlakiTTM07,
author = {Kawtar Benghazi Akhlaki and
Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Juan Antonio Holgado Terriza and
Luis E. Mendoza Morales},
title = {A methodological approach to the formal specification of real-time
systems by transformation of {UML-RT} design models},
journal = {Sci. Comput. Program.},
volume = {65},
number = {1},
pages = {41--56},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2006.08.005},
doi = {10.1016/J.SCICO.2006.08.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AkhlakiTTM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/MoralesTA07,
author = {Luis E. Mendoza Morales and
Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Kawtar Benghazi Akhlaki},
editor = {Jorge Cardoso and
Jos{\'{e}} Cordeiro and
Joaquim Filipe},
title = {Checking Behavioural Consistency of {UML-RT} Models through Trace-Based
Semantics},
booktitle = {{ICEIS} 2007 - Proceedings of the Ninth International Conference on
Enterprise Information Systems, Volume EIS, Funchal, Madeira, Portugal,
June 12-16, 2007},
pages = {205--211},
year = {2007},
timestamp = {Thu, 03 Feb 2022 09:27:49 +0100},
biburl = {https://dblp.org/rec/conf/iceis/MoralesTA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/AkhlakiTTM07,
author = {Kawtar Benghazi Akhlaki and
Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Juan Antonio Holgado Terriza and
Luis E. Mendoza Morales},
editor = {Jorge Cardoso and
Jos{\'{e}} Cordeiro and
Joaquim Filipe},
title = {Towards {UML-RT} Behavioural Consistency},
booktitle = {{ICEIS} 2007 - Proceedings of the Ninth International Conference on
Enterprise Information Systems, Volume EIS, Funchal, Madeira, Portugal,
June 12-16, 2007},
pages = {612--615},
year = {2007},
timestamp = {Sun, 13 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceis/AkhlakiTTM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecims/Holgado-TerrizaGT07,
author = {Juan Antonio Holgado Terriza and
Alfredo Moreno Guill{\'{e}}n and
Manuel I. Capel Tu{\~{n}}{\'{o}}n},
title = {Java-Based Adaptable Middleware Platform for Virtual Instrumentation},
booktitle = {{IEEE} International Conference on Virtual Environments, Human-Computer
Interfaces and Measurement Systems, {VECIMS} 2007, Ostuni, Italy,
June 25-27, 2007},
pages = {144--149},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/VECIMS.2007.4373945},
doi = {10.1109/VECIMS.2007.4373945},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/vecims/Holgado-TerrizaGT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/TunonATM07,
author = {Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Kawtar Benghazi Akhlaki and
Juan Antonio Holgado Terriza and
Luis E. Mendoza Morales},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {An Interpretation of Behavioral Consistency of {UML-RT} Diagrams in
Terms of {CSP+T}},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {74--83},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Thu, 24 Jan 2008 13:49:05 +0100},
biburl = {https://dblp.org/rec/conf/vveis/TunonATM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conielecomp/LopezT06,
author = {Mario Rossainz L{\'{o}}pez and
Manuel I. Capel Tu{\~{n}}{\'{o}}n},
title = {An Approach to Structured Parallel Programming Based on a Composition},
booktitle = {16th International Conference on Electronics, Communications, and
Computers {(CONIELECOMP} 2006), 27 February 2005 - 1 March 2006, Cholula,
Puebla, Mexico},
pages = {42},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/CONIELECOMP.2006.11},
doi = {10.1109/CONIELECOMP.2006.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/conielecomp/LopezT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/AkhlakiTT06,
author = {Kawtar Benghazi Akhlaki and
Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Juan Antonio Holgado Terriza},
editor = {Yannis Manolopoulos and
Joaquim Filipe and
Panos Constantopoulos and
Jos{\'{e}} Cordeiro},
title = {Design of Real-Time Systems by Systematic Transformation of {UML/RT}
Models into Simple Timed Process Algebra System Specifications},
booktitle = {{ICEIS} 2006 - Proceedings of the Eighth International Conference
on Enterprise Information Systems: Databases and Information Systems
Integration, Paphos, Cyprus, May 23-27, 2006},
pages = {290--297},
year = {2006},
timestamp = {Thu, 02 Feb 2017 12:53:45 +0100},
biburl = {https://dblp.org/rec/conf/iceis/AkhlakiTT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/CapelMAT06,
author = {Manuel I. Capel and
Luis E. Mendoza Morales and
Kawtar Benghazi Akhlaki and
Juan Antonio Holgado Terriza},
editor = {Jos{\'{e}} Crist{\'{o}}bal Riquelme Santos and
Pere Botella},
title = {A Semantic Formalization of {UML-RT} Models with csp+t Processes Applicable
to Real-time Systems Verification},
booktitle = {{XI} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2006), Octubre 3-6, 2006, Sitges, Barcelona, Spain},
pages = {283--292},
year = {2006},
timestamp = {Thu, 04 Oct 2007 15:05:39 +0200},
biburl = {https://dblp.org/rec/conf/jisbd/CapelMAT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/AkhlakiTTM06,
author = {Kawtar Benghazi Akhlaki and
Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Juan Antonio Holgado Terriza and
Luis E. Mendoza Morales},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {Formal Specification of Real-Time Systems by Transformation of {UML-RT}
Design Models},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {16--25},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 13:10:42 +0200},
biburl = {https://dblp.org/rec/conf/vveis/AkhlakiTTM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/EscamezATC06,
author = {Agust{\'{\i}}n Esc{\'{a}}mez and
Kawtar Benghazi Akhlaki and
Juan Antonio Holgado Terriza and
Manuel I. Capel},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {CSPJade: Architectural Driven Development of Complex Embedded System
Software Using a {CSP} Paradigm Based Generation Tool Code},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {128--133},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Sun, 15 Apr 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/EscamezATC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conielecomp/TunonL05,
author = {Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Mario Rossainz L{\'{o}}pez},
title = {Design and Use of the {CPAN} Branch {\&} Bound for the Solution
of the Travelling Salesman Problem {(TSP)}},
booktitle = {15th International Conference on Electronics, Communications, and
Computers {(CONIELECOMP} 2005), 28 February 2005 - 2 March 2005, Puebla,
Mexico},
pages = {262--267},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CONIEL.2005.33},
doi = {10.1109/CONIEL.2005.33},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/conielecomp/TunonL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/CapelH05,
author = {Manuel I. Capel and
Juan Antonio Holgado Terriza},
editor = {Chin{-}Sheng Chen and
Joaquim Filipe and
Isabel Seruca and
Jos{\'{e}} Cordeiro},
title = {Transforming {SA/RT} Graphical Specifications into {CSP+T} Formalism
- Obtaining a Formal Specification from Semi-Formal {SA/RT} Essential
Models},
booktitle = {{ICEIS} 2005, Proceedings of the Seventh International Conference
on Enterprise Information Systems, Miami, USA, May 25-28, 2005},
pages = {65--72},
year = {2005},
timestamp = {Thu, 02 Feb 2017 12:53:54 +0100},
biburl = {https://dblp.org/rec/conf/iceis/CapelH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/CapelHE05,
author = {Manuel I. Capel and
Juan Antonio Holgado Terriza and
Agust{\'{\i}}n Esc{\'{a}}mez},
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {An Integration Scheme for {CPN} and Process Algebra Applied to a Manufacturing
Industry Case},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
pages = {39--48},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Mon, 09 Dec 2013 17:20:14 +0100},
biburl = {https://dblp.org/rec/conf/vveis/CapelHE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wec/AkhlakiT05,
author = {Kawtar Benghazi Akhlaki and
Manuel I. Capel Tu{\~{n}}{\'{o}}n},
editor = {Cemal Ardil},
title = {Combining the Description Features of {UMLRT} and {CSP+T} Specifications
Applied to a Complete Design of Real- Time Systems},
booktitle = {International Enformatika Conference, IEC'05, August 26-28, 2005,
Prague, Czech Republic, {CDROM}},
pages = {193--198},
publisher = {Enformatika, {\c{C}}anakkale, Turkey},
year = {2005},
timestamp = {Thu, 13 Oct 2005 14:01:12 +0200},
biburl = {https://dblp.org/rec/conf/wec/AkhlakiT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conielecomp/TunonL04,
author = {Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Mario Rossainz L{\'{o}}pez},
title = {A Parallel Programming Methodology based on High Level Parallel Compositions
(CPANs)},
booktitle = {14th International Conference on Electronics, Communications, and
Computers {(CONIELECOMP} 2004), 16-18 February 2004, Veracruz, Mexico},
pages = {242--247},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICECC.2004.1269580},
doi = {10.1109/ICECC.2004.1269580},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/conielecomp/TunonL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/CapelBH04,
author = {Manuel I. Capel and
Jos{\'{e}} R. Balsas and
Juan Antonio Holgado Terriza},
editor = {Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {Systematic Design of Real-Time Systems Based on {CSP+T} Process Algebra},
booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings
of the 2nd International Workshop on Verification and Validation of
Enterprise Information Systems, {VVEIS} 2004, In conjunction with
{ICEIS} 2004, Porto, Portugal, April 2004},
pages = {81--83},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Thu, 31 Aug 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/CapelBH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/HornosC02,
author = {Miguel J. Hornos and
Manuel I. Capel},
title = {On-the-fly model checking from interval logic specifications},
journal = {{ACM} {SIGPLAN} Notices},
volume = {37},
number = {12},
pages = {108--119},
year = {2002},
url = {https://doi.org/10.1145/636517.636532},
doi = {10.1145/636517.636532},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/HornosC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HornosC01,
author = {Miguel J. Hornos and
Manuel I. Capel},
title = {Automata Generation for On-the-fly Automatic Verification Using Formulas
of an Interval Logic},
booktitle = {2nd International Conference on Application of Concurrency to System
Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
pages = {221--230},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/CSD.2001.981779},
doi = {10.1109/CSD.2001.981779},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/HornosC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/HornosC01,
author = {Miguel J. Hornos and
Manuel I. Capel},
editor = {Oscar D{\'{\i}}az and
Arantza Illarramendi and
Mario Piattini},
title = {Verificaci{\'{o}}n Automatizada Eficiente de Sistemas Concurrentes
Especificando Sus Propiedades con F{\'{o}}rmalus de una L{\'{o}}gica
de Intervalos},
booktitle = {{VI} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2001), 1-23 de Noviembre de 2001, Almagro (Ciudad Real)},
pages = {375--390},
year = {2001},
timestamp = {Wed, 11 Feb 2004 07:59:26 +0100},
biburl = {https://dblp.org/rec/conf/jisbd/HornosC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/AraqueCRP97,
author = {F. Araque and
Manuel I. Capel and
Jos{\'{e}} Miguel Mantas Ruiz and
A. Palma},
title = {A proposal to improve reusability in a language based on the occam-CSP
model},
booktitle = {Fifth Euromicro Workshop on Parallel and Distributed Processing {(PDP}
'97), January 22-24, 1997, University of Westminster, London, {UK}},
pages = {41--46},
publisher = {{IEEE} Computer Society},
year = {1997},
timestamp = {Mon, 13 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/AraqueCRP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/AraqueCPR96,
author = {F. Araque and
Manuel I. Capel and
A. Palma and
Jos{\'{e}} Miguel Mantas Ruiz},
editor = {Hamid R. Arabnia},
title = {Paradigms for Parallel Distributed Programming},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 1996, August 9-11,
1996, Sunnyvale, California, {USA}},
pages = {1027--1038},
publisher = {{CSREA} Press},
year = {1996},
timestamp = {Mon, 13 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdpta/AraqueCPR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/CapelT94,
author = {Manuel I. Capel and
Jos{\'{e}} M. Troya},
title = {An Object-Based Tool and Methodological Approach for Distributed Programming},
journal = {Softw. Concepts Tools},
volume = {15},
number = {4},
pages = {177},
year = {1994},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/CapelT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/CapelTP93,
author = {Manuel I. Capel and
Jos{\'{e}} M. Troya and
A. Palma},
title = {Distributed active objects: {A} methodological proposal and tool for
distributed programming with transputer systems},
journal = {Microprocess. Microprogramming},
volume = {38},
number = {1-5},
pages = {197--204},
year = {1993},
url = {https://doi.org/10.1016/0165-6074(93)90144-A},
doi = {10.1016/0165-6074(93)90144-A},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/CapelTP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/CapelTP93,
author = {Manuel I. Capel and
Jos{\'{e}} M. Troya and
A. Palma},
editor = {Gerhard R. Joubert and
Denis Trystram and
Frans J. Peters and
David J. Evans},
title = {A Methodological Scheme and Tool for Program Transformation with Transputer
Systems},
booktitle = {Parallel Computing: Trends and Applications, {PARCO} 1993, Grenoble,
France},
pages = {585--588},
publisher = {Elsevier},
year = {1993},
timestamp = {Tue, 13 Mar 2018 14:43:53 +0100},
biburl = {https://dblp.org/rec/conf/parco/CapelTP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-21 17:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
