Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Carlos López Pombo
@inproceedings{DBLP:conf/ictac/PomboST23,
author = {Carlos Gustavo L{\'{o}}pez Pombo and
Agust{\'{\i}}n E. Martinez Su{\~{n}}{\'{e}} and
Emilio Tuosto},
editor = {Erika {\'{A}}brah{\'{a}}m and
Clemens Dubslaff and
Silvia Lizeth Tapia Tarifa},
title = {A Dynamic Temporal Logic for Quality of Service in Choreographic Models},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2023 - 20th International
Colloquium, Lima, Peru, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14446},
pages = {119--138},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47963-2\_9},
doi = {10.1007/978-3-031-47963-2\_9},
timestamp = {Fri, 01 Dec 2023 18:39:19 +0100},
biburl = {https://dblp.org/rec/conf/ictac/PomboST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-01414,
author = {Carlos Gustavo L{\'{o}}pez Pombo and
Agust{\'{\i}}n E. Martinez Su{\~{n}}{\'{e}} and
Emilio Tuosto},
title = {A Dynamic Temporal Logic for Quality of Service in Choreographic Models},
journal = {CoRR},
volume = {abs/2311.01414},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.01414},
doi = {10.48550/ARXIV.2311.01414},
eprinttype = {arXiv},
eprint = {2311.01414},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-01414.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-01415,
author = {Carlos Gustavo L{\'{o}}pez Pombo and
Agust{\'{\i}}n E. Martinez Su{\~{n}}{\'{e}} and
Emilio Tuosto},
title = {MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating
Systems},
journal = {CoRR},
volume = {abs/2311.01415},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.01415},
doi = {10.48550/ARXIV.2311.01415},
eprinttype = {arXiv},
eprint = {2311.01415},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-01415.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/KeisPSK22,
author = {Elias Keis and
Carlos Gustavo L{\'{o}}pez Pombo and
Agust{\'{\i}}n Eloy Martinez Su{\~{n}}{\'{e}} and
Alexander Knapp},
editor = {Alexandre Madeira and
Manuel A. Martins},
title = {Automated QoS-Aware Service Selection Based on Soft Constraints},
booktitle = {Recent Trends in Algebraic Development Techniques - 26th {IFIP} {WG}
1.3 International Workshop, {WADT} 2022, Aveiro, Portugal, June 28-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13710},
pages = {121--140},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-43345-0\_6},
doi = {10.1007/978-3-031-43345-0\_6},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adt/KeisPSK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-09877,
author = {Agust{\'{\i}}n E. Martinez Su{\~{n}}{\'{e}} and
Carlos Gustavo L{\'{o}}pez Pombo},
title = {Probabilistic Quality of Service aware Service Selection},
journal = {CoRR},
volume = {abs/2205.09877},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.09877},
doi = {10.48550/ARXIV.2205.09877},
eprinttype = {arXiv},
eprint = {2205.09877},
timestamp = {Mon, 23 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-09877.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-07180,
author = {Carlos Gustavo L{\'{o}}pez Pombo and
Agust{\'{\i}}n Eloy Martinez Su{\~{n}}{\'{e}}},
title = {Integrating deduction and model finding in a language independent
setting},
journal = {CoRR},
volume = {abs/2206.07180},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.07180},
doi = {10.48550/ARXIV.2206.07180},
eprinttype = {arXiv},
eprint = {2206.07180},
timestamp = {Tue, 21 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-07180.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-08253,
author = {Carlos Gustavo L{\'{o}}pez Pombo and
Thomas Stephen Edward Maibaum},
title = {A proof theoretic basis for relational semantics},
journal = {CoRR},
volume = {abs/2107.08253},
year = {2021},
url = {https://arxiv.org/abs/2107.08253},
eprinttype = {arXiv},
eprint = {2107.08253},
timestamp = {Wed, 21 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-08253.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/SuneP20,
author = {Agust{\'{\i}}n Eloy Martinez Su{\~{n}}{\'{e}} and
Carlos Gustavo L{\'{o}}pez Pombo},
editor = {Simon Bliudze and
Laura Bocchi},
title = {Quality of Service Ranking by Quantifying Partial Compliance of Requirements},
booktitle = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2020, Held as Part of the 15th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2020, Valletta, Malta, June 15-19, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12134},
pages = {181--189},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50029-0\_12},
doi = {10.1007/978-3-030-50029-0\_12},
timestamp = {Wed, 15 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/SuneP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-02720,
author = {Carlos Gustavo L{\'{o}}pez Pombo and
Marcelo F. Frias and
T. S. E. Maibaum},
title = {On the construction of explosive relation algebras},
journal = {CoRR},
volume = {abs/2009.02720},
year = {2020},
url = {https://arxiv.org/abs/2009.02720},
eprinttype = {arXiv},
eprint = {2009.02720},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-02720.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PomboCAM19,
author = {Carlos L{\'{o}}pez Pombo and
Pablo F. Castro and
Nazareno Aguirre and
Thomas Stephen Edward Maibaum},
title = {Satisfiability Calculus: An Abstract Formulation of Semantic Proof
Systems},
journal = {Fundam. Informaticae},
volume = {166},
number = {4},
pages = {297--347},
year = {2019},
url = {https://doi.org/10.3233/FI-2019-1804},
doi = {10.3233/FI-2019-1804},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/PomboCAM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/SuneP19,
author = {Agust{\'{\i}}n E. Martinez Su{\~{n}}{\'{e}} and
Carlos Gustavo L{\'{o}}pez Pombo},
editor = {Hanne Riis Nielson and
Emilio Tuosto},
title = {Automatic Quality-of-Service Evaluation in Service-Oriented Computing},
booktitle = {Coordination Models and Languages - 21st {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2019, Held as Part of the 14th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11533},
pages = {221--236},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22397-7\_13},
doi = {10.1007/978-3-030-22397-7\_13},
timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/SuneP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/MoscatoPMF18,
author = {Mariano M. Moscato and
Carlos Gustavo L{\'{o}}pez Pombo and
C{\'{e}}sar A. Mu{\~{n}}oz and
Marco A. Feli{\'{u}}},
editor = {Jeremy Avigad and
Assia Mahboubi},
title = {Boosting the Reuse of Formal Specifications},
booktitle = {Interactive Theorem Proving - 9th International Conference, {ITP}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 9-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10895},
pages = {477--494},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94821-8\_28},
doi = {10.1007/978-3-319-94821-8\_28},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/MoscatoPMF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CastroAPM15,
author = {Pablo F. Castro and
Nazareno Aguirre and
Carlos L{\'{o}}pez Pombo and
T. S. E. Maibaum},
title = {Categorical foundations for structured specifications in {Z}},
journal = {Formal Aspects Comput.},
volume = {27},
number = {5-6},
pages = {831--865},
year = {2015},
url = {https://doi.org/10.1007/s00165-015-0336-0},
doi = {10.1007/S00165-015-0336-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CastroAPM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/CassanoPM15,
author = {Valentin Cassano and
Carlos Gustavo L{\'{o}}pez Pombo and
Thomas Stephen Edward Maibaum},
editor = {Hans de Nivelle},
title = {A Propositional Tableaux Based Proof Calculus for Reasoning with Default
Rules},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 24th
International Conference, {TABLEAUX} 2015, Wroc{\l}aw, Poland, September
21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9323},
pages = {6--21},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24312-2\_2},
doi = {10.1007/978-3-319-24312-2\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/CassanoPM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/VissaniPT16,
author = {Ignacio Vissani and
Carlos Gustavo L{\'{o}}pez Pombo and
Emilio Tuosto},
editor = {Simon Gay and
Jade Alglave},
title = {Communicating machines as a dynamic binding mechanism of services},
booktitle = {Proceedings Eighth International Workshop on Programming Language
Approaches to Concurrency- and Communication-cEntric Software, {PLACES}
2015, London, UK, 18th April 2015},
series = {{EPTCS}},
volume = {203},
pages = {85--98},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.203.7},
doi = {10.4204/EPTCS.203.7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/VissaniPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/MoscatoPF14,
author = {Mariano M. Moscato and
Carlos L{\'{o}}pez Pombo and
Marcelo F. Frias},
title = {Dynamite: {A} tool for the verification of alloy models based on {PVS}},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {23},
number = {2},
pages = {20:1--20:37},
year = {2014},
url = {https://doi.org/10.1145/2544136},
doi = {10.1145/2544136},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/MoscatoPF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/PomboCAM14,
author = {Carlos Gustavo L{\'{o}}pez Pombo and
Pablo F. Castro and
Nazareno Aguirre and
T. S. E. Maibaum},
editor = {Gabriel Ciobanu and
Dominique M{\'{e}}ry},
title = {A Heterogeneous Characterisation of Component-Based System Design
in a Categorical Setting},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2014 - 11th International
Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8687},
pages = {314--332},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10882-7\_19},
doi = {10.1007/978-3-319-10882-7\_19},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/PomboCAM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/VissaniPTF14,
author = {Ignacio Vissani and
Carlos Gustavo L{\'{o}}pez Pombo and
Ionut Tutu and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Mihai Codescu and
Razvan Diaconescu and
Ionut Tutu},
title = {A Full Operational Semantics for Asynchronous Relational Networks},
booktitle = {Recent Trends in Algebraic Development Techniques - 22nd International
Workshop, {WADT} 2014, Sinaia, Romania, September 4-7, 2014, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9463},
pages = {131--150},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-28114-8\_8},
doi = {10.1007/978-3-319-28114-8\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/VissaniPTF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GaleottiRPF13,
author = {Juan P. Galeotti and
Nicol{\'{a}}s Rosner and
Carlos Gustavo L{\'{o}}pez Pombo and
Marcelo F. Frias},
title = {{TACO:} Efficient SAT-Based Bounded Verification Using Symmetry Breaking
and Tight Bounds},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {9},
pages = {1283--1307},
year = {2013},
url = {https://doi.org/10.1109/TSE.2013.15},
doi = {10.1109/TSE.2013.15},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/GaleottiRPF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/RosnerPAJMF13,
author = {Nicol{\'{a}}s Rosner and
Carlos Gustavo L{\'{o}}pez Pombo and
Nazareno Aguirre and
Ali Jaoua and
Ali Mili and
Marcelo F. Frias},
editor = {Ernie Cohen and
Andrey Rybalchenko},
title = {Parallel Bounded Verification of Alloy Models by TranScoping},
booktitle = {Verified Software: Theories, Tools, Experiments - 5th International
Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8164},
pages = {88--107},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54108-7\_5},
doi = {10.1007/978-3-642-54108-7\_5},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/RosnerPAJMF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GimenezMPF14,
author = {Manuel Gim{\'{e}}nez and
Mariano M. Moscato and
Carlos Gustavo L{\'{o}}pez Pombo and
Marcelo F. Frias},
editor = {Nazareno Aguirre and
Leila Ribeiro},
title = {HeteroGenius: {A} Framework for Hybrid Analysis of Heterogeneous Software
Specifications},
booktitle = {Proceedings First Latin American Workshop on Formal Methods, {LAFM}
2013, Buenos Aires, Argentina, August 26th 2013},
series = {{EPTCS}},
volume = {139},
pages = {65--70},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.139.7},
doi = {10.4204/EPTCS.139.7},
timestamp = {Mon, 02 Dec 2019 18:16:29 +0100},
biburl = {https://dblp.org/rec/journals/corr/GimenezMPF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/CastroAPM12,
author = {Pablo F. Castro and
Nazareno Aguirre and
Carlos Gustavo L{\'{o}}pez Pombo and
Tom Maibaum},
editor = {Corina S. Pasareanu and
Gwen Sala{\"{u}}n},
title = {A Categorical Approach to Structuring and Promoting {Z} Specifications},
booktitle = {Formal Aspects of Component Software, 9th International Symposium,
{FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7684},
pages = {73--91},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35861-6\_5},
doi = {10.1007/978-3-642-35861-6\_5},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/CastroAPM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/PomboCAM12,
author = {Carlos Gustavo L{\'{o}}pez Pombo and
Pablo F. Castro and
Nazareno Aguirre and
T. S. E. Maibaum},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Miguel Palomino},
title = {Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus
in General Logics},
booktitle = {Recent Trends in Algebraic Development Techniques, 21st International
Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7841},
pages = {195--211},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-37635-1\_12},
doi = {10.1007/978-3-642-37635-1\_12},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/PomboCAM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/RosnerGPF10,
author = {Nicol{\'{a}}s Rosner and
Juan P. Galeotti and
Carlos L{\'{o}}pez Pombo and
Marcelo F. Frias},
editor = {Marc Frappier and
Uwe Gl{\"{a}}sser and
Sarfraz Khurshid and
R{\'{e}}gine Laleau and
Steve Reeves},
title = {ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy
Models},
booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
{ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5977},
pages = {396--397},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11811-1\_33},
doi = {10.1007/978-3-642-11811-1\_33},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/RosnerGPF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/MoscatoPF10,
author = {Mariano M. Moscato and
Carlos L{\'{o}}pez Pombo and
Marcelo F. Frias},
editor = {Ana Cavalcanti and
David D{\'{e}}harbe and
Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve
Verification of Software Requirements},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International
Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6255},
pages = {275--289},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14808-8\_19},
doi = {10.1007/978-3-642-14808-8\_19},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/MoscatoPF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/PomboF10,
author = {Carlos Gustavo L{\'{o}}pez Pombo and
Marcelo Fabi{\`{u}}n Frias},
editor = {Ana Cavalcanti and
David D{\'{e}}harbe and
Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Complete Calculi for Structured Specifications in Fork Algebra},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International
Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6255},
pages = {290--305},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14808-8\_20},
doi = {10.1007/978-3-642-14808-8\_20},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/PomboF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/CastroAPM10,
author = {Pablo F. Castro and
Nazareno Aguirre and
Carlos Gustavo L{\'{o}}pez Pombo and
T. S. E. Maibaum},
editor = {Ana Cavalcanti and
David D{\'{e}}harbe and
Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Towards Managing Dynamic Reconfiguration of Software Systems in a
Categorical Setting},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International
Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6255},
pages = {306--321},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14808-8\_21},
doi = {10.1007/978-3-642-14808-8\_21},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/CastroAPM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GaleottiRPF10,
author = {Juan P. Galeotti and
Nicol{\'{a}}s Rosner and
Carlos L{\'{o}}pez Pombo and
Marcelo F. Frias},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Analysis of invariants for efficient bounded verification},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {25--36},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831712},
doi = {10.1145/1831708.1831712},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/GaleottiRPF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/FriasPGA07,
author = {Marcelo F. Frias and
Carlos L{\'{o}}pez Pombo and
Juan P. Galeotti and
Nazareno Aguirre},
title = {Efficient Analysis of DynAlloy Specifications},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {17},
number = {1},
pages = {4:1--4:34},
year = {2007},
url = {https://doi.org/10.1145/1314493.1314497},
doi = {10.1145/1314493.1314497},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/FriasPGA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FriasPM07,
author = {Marcelo F. Frias and
Carlos L{\'{o}}pez Pombo and
Mariano M. Moscato},
editor = {Orna Grumberg and
Michael Huth},
title = {Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
13th International Conference, {TACAS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007
Braga, Portugal, March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {587--601},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_46},
doi = {10.1007/978-3-540-71209-1\_46},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FriasPM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/FriasP06,
author = {Marcelo F. Frias and
Carlos L{\'{o}}pez Pombo},
title = {Interpretability of first-order linear temporal logics in fork algebras},
journal = {J. Log. Algebraic Methods Program.},
volume = {66},
number = {2},
pages = {161--184},
year = {2006},
url = {https://doi.org/10.1016/j.jlap.2005.04.005},
doi = {10.1016/J.JLAP.2005.04.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/FriasP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/PomboF06,
author = {Carlos L{\'{o}}pez Pombo and
Marcelo F. Frias},
editor = {Michael Johnson and
Varmo Vene},
title = {Fork Algebras as a Sufficiently Rich Universal Institution},
booktitle = {Algebraic Methodology and Software Technology, 11th International
Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4019},
pages = {235--247},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11784180\_19},
doi = {10.1007/11784180\_19},
timestamp = {Sun, 25 Oct 2020 23:16:26 +0100},
biburl = {https://dblp.org/rec/conf/amast/PomboF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BenevidesDPLR08,
author = {Mario R. F. Benevides and
Carla A. D. M. Delgado and
Carlos L{\'{o}}pez Pombo and
Luis Lopes and
Ricardo Ribeiro},
editor = {Anamaria Martins Moreira and
Leila Ribeiro},
title = {A Compositional Automata-based Approach for Model Checking Multi-Agent
Systems},
booktitle = {Proceedings of the Brazilian Symposium on Formal Methods, {SBMF} 2006,
Natal, Rio Grande de Norte, Brazil, September 17-23, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {195},
pages = {133--149},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.08.030},
doi = {10.1016/J.ENTCS.2007.08.030},
timestamp = {Thu, 09 Feb 2023 11:07:55 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BenevidesDPLR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/FriasPBAM05,
author = {Marcelo F. Frias and
Carlos L{\'{o}}pez Pombo and
Gabriel A. Baum and
Nazareno Aguirre and
T. S. E. Maibaum},
title = {Reasoning about static and dynamic properties in alloy: {A} purely
relational approach},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {14},
number = {4},
pages = {478--526},
year = {2005},
url = {https://doi.org/10.1145/1101815.1101819},
doi = {10.1145/1101815.1101819},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/FriasPBAM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FriasGPA05,
author = {Marcelo F. Frias and
Juan P. Galeotti and
Carlos L{\'{o}}pez Pombo and
Nazareno Aguirre},
editor = {Gruia{-}Catalin Roman and
William G. Griswold and
Bashar Nuseibeh},
title = {DynAlloy: upgrading alloy with actions},
booktitle = {27th International Conference on Software Engineering {(ICSE} 2005),
15-21 May 2005, St. Louis, Missouri, {USA}},
pages = {442--451},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062455.1062535},
doi = {10.1145/1062455.1062535},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FriasGPA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FriasPA04,
author = {Marcelo F. Frias and
Carlos L{\'{o}}pez Pombo and
Nazareno Aguirre},
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {An Equational Calculus for Alloy},
booktitle = {Formal Methods and Software Engineering, 6th International Conference
on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
8-12, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3308},
pages = {162--175},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30482-1\_19},
doi = {10.1007/978-3-540-30482-1\_19},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/FriasPA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FriasPBAM03,
author = {Marcelo F. Frias and
Carlos L{\'{o}}pez Pombo and
Gabriel Baum and
Nazareno Aguirre and
T. S. E. Maibaum},
editor = {Keijiro Araki and
Stefania Gnesi and
Dino Mandrioli},
title = {Taking \emph{Alloy} to the Movies},
booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2805},
pages = {678--697},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45236-2\_37},
doi = {10.1007/978-3-540-45236-2\_37},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/FriasPBAM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrabermanPO02,
author = {V{\'{\i}}ctor A. Braberman and
Carlos L{\'{o}}pez Pombo and
Alfredo Olivero},
editor = {Eugene Asarin and
Oded Maler and
Sergio Yovine},
title = {On Improving Backwards Verification of Timed Automata},
booktitle = {Theory and Practice of Timed Systems, Satellite Event of {ETAPS} 2002,
Grenoble, France, April 6-7, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {6},
pages = {60--67},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80469-9},
doi = {10.1016/S1571-0661(04)80469-9},
timestamp = {Mon, 05 Dec 2022 15:10:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrabermanPO02.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-02-01 22:57 CET 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:
