default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Pablo F. Castro
@article{DBLP:journals/logcom/CassanoFAC23,
author = {Valentin Cassano and
Raul Fervari and
Carlos Areces and
Pablo F. Castro},
title = {Algebraic tools for default modal systems},
journal = {J. Log. Comput.},
volume = {33},
number = {6},
pages = {1301--1325},
year = {2023},
url = {https://doi.org/10.1093/logcom/exac051},
doi = {10.1093/LOGCOM/EXAC051},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CassanoFAC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ArecesCCFS23,
author = {Carlos Areces and
Valentin Cassano and
Pablo F. Castro and
Raul Fervari and
Andr{\'{e}}s R. Saravia},
editor = {Noa Agmon and
Bo An and
Alessandro Ricci and
William Yeoh},
title = {A Deontic Logic of Knowingly Complying},
booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
2023 - 2 June 2023},
pages = {364--372},
publisher = {{ACM}},
year = {2023},
url = {https://dl.acm.org/doi/10.5555/3545946.3598659},
doi = {10.5555/3545946.3598659},
timestamp = {Tue, 23 May 2023 14:27:14 +0200},
biburl = {https://dblp.org/rec/conf/atal/ArecesCCFS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/ArecesCCFS23,
author = {Carlos Areces and
Valentin Cassano and
Pablo F. Castro and
Raul Fervari and
Andr{\'{e}}s R. Saravia},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {How Easy it is to Know How: An Upper Bound for the Satisfiability
Problem},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {405--419},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_28},
doi = {10.1007/978-3-031-43619-2\_28},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/ArecesCCFS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-07309,
author = {Pablo F. Castro and
Pedro R. D'Argenio and
Ramiro Demasi and
Luciano Putruele},
editor = {Claudio Antares Mezzina and
Georgiana Caltais},
title = {Quantifying Masking Fault-Tolerance via Fair Stochastic Games},
booktitle = {Proceedings Combined 30th International Workshop on Expressiveness
in Concurrency and 20th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2023, and 20th Workshop on Structural Operational SemanticsAntwerp,
Belgium, 18th September 2023},
series = {{EPTCS}},
volume = {387},
pages = {132--148},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.387.10},
doi = {10.4204/EPTCS.387.10},
timestamp = {Wed, 25 Oct 2023 16:09:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-07309.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-17094,
author = {Carlos Areces and
Valentin Cassano and
Raul Fervari and
Pablo F. Castro and
Andr{\'{e}}s R. Saravia},
title = {How Easy it is to Know How: An Upper Bound for the Satisfiability
Problem},
journal = {CoRR},
volume = {abs/2309.17094},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.17094},
doi = {10.48550/ARXIV.2309.17094},
eprinttype = {arXiv},
eprint = {2309.17094},
timestamp = {Tue, 17 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-17094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CastroDDP22,
author = {Pablo F. Castro and
Pedro R. D'Argenio and
Ramiro Demasi and
Luciano Putruele},
editor = {Sharon Shoham and
Yakir Vizel},
title = {Playing Against Fair Adversaries in Stochastic Games with Total Rewards},
booktitle = {Computer Aided Verification - 34th International Conference, {CAV}
2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13372},
pages = {48--69},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13188-2\_3},
doi = {10.1007/978-3-031-13188-2\_3},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CastroDDP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/PutrueleDCD22,
author = {Luciano Putruele and
Ramiro Demasi and
Pablo F. Castro and
Pedro R. D'Argenio},
editor = {Dana Fisman and
Grigore Rosu},
title = {MaskD: {A} Tool for Measuring Masking Fault-Tolerance},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13243},
pages = {396--403},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99524-9\_22},
doi = {10.1007/978-3-030-99524-9\_22},
timestamp = {Fri, 29 Apr 2022 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/PutrueleDCD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-02045,
author = {Pablo F. Castro and
Pedro R. D'Argenio and
Luciano Putruele and
Ramiro Demasi},
title = {A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation
and Quantification},
journal = {CoRR},
volume = {abs/2207.02045},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.02045},
doi = {10.48550/ARXIV.2207.02045},
eprinttype = {arXiv},
eprint = {2207.02045},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-02045.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/CastroCFA21,
author = {Pablo F. Castro and
Valentin Cassano and
Raul Fervari and
Carlos Areces},
editor = {Fenrong Liu and
Alessandra Marra and
Paul Portner and
Frederik Van De Putte},
title = {Deontic Action Logics via Algebra},
booktitle = {Deontic Logic and Normative Systems - 15th International Conference,
{DEON} 2020/21, Munich, Germany [virtual], July 21-24, 2021},
pages = {77--93},
publisher = {College Publications},
year = {2021},
timestamp = {Mon, 28 Aug 2023 10:20:20 +0200},
biburl = {https://dblp.org/rec/conf/deon/CastroCFA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-09811,
author = {Pablo F. Castro and
Pedro R. D'Argenio and
Luciano Putruele and
Ramiro Demasi},
title = {Playing Against Fair Adversaries in Stochastic Games with Total Rewards},
journal = {CoRR},
volume = {abs/2112.09811},
year = {2021},
url = {https://arxiv.org/abs/2112.09811},
eprinttype = {arXiv},
eprint = {2112.09811},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-09811.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dali/CassanoFAC20,
author = {Valentin Cassano and
Raul Fervari and
Carlos Areces and
Pablo F. Castro},
editor = {Manuel A. Martins and
Igor Sedl{\'{a}}r},
title = {Default Modal Systems as Algebraic Updates},
booktitle = {Dynamic Logic. New Trends and Applications - Third International Workshop,
DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12569},
pages = {103--119},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65840-3\_7},
doi = {10.1007/978-3-030-65840-3\_7},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dali/CassanoFAC20.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}
}
@article{DBLP:journals/scp/MolinaCDRCAF19,
author = {Facundo Molina and
C{\'{e}}sar Cornejo and
Renzo Degiovanni and
Germ{\'{a}}n Regis and
Pablo F. Castro and
Nazareno Aguirre and
Marcelo F. Frias},
title = {An evolutionary approach to translating operational specifications
into declarative specifications},
journal = {Sci. Comput. Program.},
volume = {181},
pages = {47--63},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2019.05.006},
doi = {10.1016/J.SCICO.2019.05.006},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/MolinaCDRCAF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CassanoFHAC19,
author = {Valentin Cassano and
Raul Fervari and
Guillaume Hoffmann and
Carlos Areces and
Pablo F. Castro},
editor = {Pascal Fontaine},
title = {A Tableaux Calculus for Default Intuitionistic Logic},
booktitle = {Automated Deduction - {CADE} 27 - 27th International Conference on
Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11716},
pages = {161--177},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29436-6\_10},
doi = {10.1007/978-3-030-29436-6\_10},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/CassanoFHAC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/CassanoFAC19,
author = {Valentin Cassano and
Raul Fervari and
Carlos Areces and
Pablo F. Castro},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {Interpolation and Beth Definability in Default Logics},
booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {675--691},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_44},
doi = {10.1007/978-3-030-19570-0\_44},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/CassanoFAC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CastroDDP19,
author = {Pablo F. Castro and
Pedro R. D'Argenio and
Ramiro Demasi and
Luciano Putruele},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Measuring Masking Fault-Tolerance},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {375--392},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_21},
doi = {10.1007/978-3-030-17465-1\_21},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CastroDDP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1907-09124,
author = {Pablo F. Castro and
Valentin Cassano and
Raul Fervari and
Carlos Areces},
editor = {Lawrence S. Moss},
title = {An Algebraic Approach for Action Based Default Reasoning},
booktitle = {Proceedings Seventeenth Conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2019, Toulouse, France, 17-19 July 2019},
series = {{EPTCS}},
volume = {297},
pages = {91--105},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.297.7},
doi = {10.4204/EPTCS.297.7},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-09124.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MolinaDRCAF18,
author = {Facundo Molina and
Renzo Degiovanni and
Germ{\'{a}}n Regis and
Pablo F. Castro and
Nazareno Aguirre and
Marcelo F. Frias},
editor = {Juan Pablo Galeotti and
Alessandra Gorla},
title = {From operational to declarative specifications using a genetic algorithm},
booktitle = {Proceedings of the 11th International Workshop on Search-Based Software
Testing, {ICSE} 2018, Gothenburg, Sweden, May 28-29, 2018},
pages = {39--42},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194718.3194725},
doi = {10.1145/3194718.3194725},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MolinaDRCAF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DegiovanniCARAF18,
author = {Renzo Degiovanni and
Pablo F. Castro and
Marcelo Arroyo and
Marcelo Ruiz and
Nazareno Aguirre and
Marcelo F. Frias},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {Goal-conflict likelihood assessment based on model counting},
booktitle = {Proceedings of the 40th International Conference on Software Engineering,
{ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {1125--1135},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3180261},
doi = {10.1145/3180155.3180261},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/DegiovanniCARAF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CassanoAC18,
author = {Valentin Cassano and
Carlos Areces and
Pablo F. Castro},
editor = {Gilles Barthe and
Geoff Sutcliffe and
Margus Veanes},
title = {Reasoning About Prescription and Description Using Prioritized Default
Rules},
booktitle = {{LPAR-22.} 22nd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November
2018},
series = {EPiC Series in Computing},
volume = {57},
pages = {196--213},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/swdn},
doi = {10.29007/SWDN},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CassanoAC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-05548,
author = {Pablo F. Castro and
Pedro R. D'Argenio and
Ramiro Demasi and
Luciano Putruele},
title = {Measuring Masking Fault-Tolerance},
journal = {CoRR},
volume = {abs/1811.05548},
year = {2018},
url = {http://arxiv.org/abs/1811.05548},
eprinttype = {arXiv},
eprint = {1811.05548},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-05548.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DemasiCMA17,
author = {Ramiro Demasi and
Pablo F. Castro and
Thomas Stephen Edward Maibaum and
Nazareno Aguirre},
title = {Simulation relations for fault-tolerance},
journal = {Formal Aspects Comput.},
volume = {29},
number = {6},
pages = {1013--1050},
year = {2017},
url = {https://doi.org/10.1007/s00165-017-0426-2},
doi = {10.1007/S00165-017-0426-2},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DemasiCMA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Castro17,
author = {Pablo F. Castro},
title = {Tableau Systems for Deontic Action Logics Based on Finite Boolean
Algebras, and Their Complexity},
journal = {Stud Logica},
volume = {105},
number = {2},
pages = {229--251},
year = {2017},
url = {https://doi.org/10.1007/s11225-016-9688-6},
doi = {10.1007/S11225-016-9688-6},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Castro17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DegiovanniRACA16,
author = {Renzo Degiovanni and
Nicol{\'{a}}s Ricci and
Dalal Alrajeh and
Pablo F. Castro and
Nazareno Aguirre},
editor = {David Lo and
Sven Apel and
Sarfraz Khurshid},
title = {Goal-conflict detection based on temporal satisfiability checking},
booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
pages = {507--518},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2970276.2970349},
doi = {10.1145/2970276.2970349},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/DegiovanniRACA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/CastroA16,
author = {Pablo F. Castro and
Nazareno Aguirre},
editor = {Leila Ribeiro and
Thierry Lecomte},
title = {Algebraic Foundations for Specification Refinements},
booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium,
{SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10090},
pages = {112--128},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49815-7\_7},
doi = {10.1007/978-3-319-49815-7\_7},
timestamp = {Sun, 25 Oct 2020 23:10:05 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/CastroA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MolinaCDRCAF16,
author = {Facundo Molina and
C{\'{e}}sar Cornejo and
Renzo Degiovanni and
Germ{\'{a}}n Regis and
Pablo F. Castro and
Nazareno Aguirre and
Marcelo F. Frias},
editor = {Leila Ribeiro and
Thierry Lecomte},
title = {An Evolutionary Approach to Translate Operational Specifications into
Declarative Specifications},
booktitle = {Formal Methods: Foundations and Applications - 19th Brazilian Symposium,
{SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10090},
pages = {145--160},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49815-7\_9},
doi = {10.1007/978-3-319-49815-7\_9},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/MolinaCDRCAF16.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/icfem/CastroKP15,
author = {Pablo F. Castro and
Cecilia Kilmurray and
Nir Piterman},
editor = {Michael J. Butler and
Sylvain Conchon and
Fatiha Za{\"{\i}}di},
title = {A Recursive Probabilistic Temporal Logic},
booktitle = {Formal Methods and Software Engineering - 17th International Conference
on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November
3-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9407},
pages = {336--348},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25423-4\_22},
doi = {10.1007/978-3-319-25423-4\_22},
timestamp = {Sun, 02 Jun 2019 21:19:43 +0200},
biburl = {https://dblp.org/rec/conf/icfem/CastroKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/CastroKP15,
author = {Pablo F. Castro and
Cecilia Kilmurray and
Nir Piterman},
editor = {Ernst W. Mayr and
Nicolas Ollinger},
title = {Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal
Logics},
booktitle = {32nd International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2015, March 4-7, 2015, Garching, Germany},
series = {LIPIcs},
volume = {30},
pages = {211--223},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.STACS.2015.211},
doi = {10.4230/LIPICS.STACS.2015.211},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/CastroKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DemasiCRMA15,
author = {Ramiro Demasi and
Pablo F. Castro and
Nicol{\'{a}}s Ricci and
Thomas Stephen Edward Maibaum and
Nazareno Aguirre},
editor = {Christel Baier and
Cesare Tinelli},
title = {syntMaskFT: {A} Tool for Synthesizing Masking Fault-Tolerant Programs
from Deontic Specifications},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {188--193},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_13},
doi = {10.1007/978-3-662-46681-0\_13},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DemasiCRMA15.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/atva/DemasiCMA13,
author = {Ramiro Demasi and
Pablo F. Castro and
T. S. E. Maibaum and
Nazareno Aguirre},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications},
booktitle = {Automated Technology for Verification and Analysis - 11th International
Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8172},
pages = {163--177},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_13},
doi = {10.1007/978-3-319-02444-8\_13},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/DemasiCMA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DemasiCMA13,
author = {Ramiro Demasi and
Pablo F. Castro and
T. S. E. Maibaum and
Nazareno Aguirre},
editor = {Einar Broch Johnsen and
Luigia Petre},
title = {Characterizing Fault-Tolerant Systems by Means of Simulation Relations},
booktitle = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
Turku, Finland, June 10-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7940},
pages = {428--442},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38613-8\_29},
doi = {10.1007/978-3-642-38613-8\_29},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/DemasiCMA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CastroM14,
author = {Pablo F. Castro and
T. S. E. Maibaum},
editor = {Nazareno Aguirre and
Leila Ribeiro},
title = {Automated Reasoning over Deontic Action Logics with Finite Vocabularies},
booktitle = {Proceedings First Latin American Workshop on Formal Methods, {LAFM}
2013, Buenos Aires, Argentina, August 26th 2013},
series = {{EPTCS}},
volume = {139},
pages = {16--30},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.139.2},
doi = {10.4204/EPTCS.139.2},
timestamp = {Mon, 02 Dec 2019 18:16:29 +0100},
biburl = {https://dblp.org/rec/journals/corr/CastroM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CastroM12,
author = {Pablo F. Castro and
T. S. E. Maibaum},
title = {Encapsulating deontic and branching time specifications},
journal = {Theor. Comput. Sci.},
volume = {455},
pages = {98--122},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.12.016},
doi = {10.1016/J.TCS.2011.12.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CastroM12.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/sbmf/AcostaKCA12,
author = {Araceli Acosta and
Cecilia Kilmurray and
Pablo F. Castro and
Nazareno Aguirre},
editor = {Rohit Gheyi and
David A. Naumann},
title = {Model Checking Propositional Deontic Temporal Logic via a {\(\mu\)}-Calculus
Characterization},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {3--18},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_3},
doi = {10.1007/978-3-642-33296-8\_3},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/AcostaKCA12.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/sefm/CastroKAA11,
author = {Pablo F. Castro and
Cecilia Kilmurray and
Araceli Acosta and
Nazareno Aguirre},
editor = {Gilles Barthe and
Alberto Pardo and
Gerardo Schneider},
title = {dCTL: {A} Branching Time Temporal Logic for Fault-Tolerant System
Verification},
booktitle = {Software Engineering and Formal Methods - 9th International Conference,
{SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7041},
pages = {106--121},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24690-6\_9},
doi = {10.1007/978-3-642-24690-6\_9},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/CastroKAA11.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 = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/CastroAPM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/CastroM10,
author = {Pablo F. Castro and
T. S. E. Maibaum},
editor = {Ana Cavalcanti and
David D{\'{e}}harbe and
Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Characterizing Locality (Encapsulation) with Bisimulation},
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 = {322--336},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14808-8\_22},
doi = {10.1007/978-3-642-14808-8\_22},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/CastroM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/CastroM10,
author = {Pablo F. Castro and
T. S. E. Maibaum},
editor = {Till Mossakowski and
Hans{-}J{\"{o}}rg Kreowski},
title = {Towards a First-Order Deontic Action Logic},
booktitle = {Recent Trends in Algebraic Development Techniques - 20th International
Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7137},
pages = {61--75},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-28412-0\_6},
doi = {10.1007/978-3-642-28412-0\_6},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/CastroM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/CastroM09,
author = {Pablo F. Castro and
T. S. E. Maibaum},
title = {Deontic action logic, atomic boolean algebras and fault-tolerance},
journal = {J. Appl. Log.},
volume = {7},
number = {4},
pages = {441--466},
year = {2009},
url = {https://doi.org/10.1016/j.jal.2009.02.001},
doi = {10.1016/J.JAL.2009.02.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/CastroM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CastroM09,
author = {Pablo F. Castro and
T. S. E. Maibaum},
editor = {Leo Marcus},
title = {Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance},
booktitle = {Proceedings of the Workshop on Logical Aspects of Fault Tolerance,
LAFT@LICS 2009, Los Angeles, CA, USA, August 15, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {258},
number = {2},
pages = {17--34},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.011},
doi = {10.1016/J.ENTCS.2009.12.011},
timestamp = {Fri, 24 Feb 2023 15:58:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CastroM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/CastroM09,
author = {Pablo F. Castro and
T. S. E. Maibaum},
editor = {Michael J. Butler and
Cliff B. Jones and
Alexander B. Romanovsky and
Elena Troubitsyna},
title = {Reasoning about System-Degradation and Fault-Recovery with Deontic
Logic},
booktitle = {Methods, Models and Tools for Fault Tolerance},
series = {Lecture Notes in Computer Science},
volume = {5454},
pages = {25--43},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00867-2\_2},
doi = {10.1007/978-3-642-00867-2\_2},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/CastroM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/CastroM08,
author = {Pablo F. Castro and
T. S. E. Maibaum},
editor = {Ron van der Meyden and
Leendert W. N. van der Torre},
title = {A Tableaux System for Deontic Action Logic},
booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5076},
pages = {34--48},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70525-3\_4},
doi = {10.1007/978-3-540-70525-3\_4},
timestamp = {Thu, 14 Oct 2021 10:16:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/CastroM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/CastroM07,
author = {Pablo F. Castro and
T. S. E. Maibaum},
editor = {Cliff B. Jones and
Zhiming Liu and
Jim Woodcock},
title = {A Complete and Compact Propositional Deontic Logic},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
Colloquium, Macau, China, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4711},
pages = {109--123},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75292-9\_8},
doi = {10.1007/978-3-540-75292-9\_8},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/CastroM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CastroM07,
author = {Pablo F. Castro and
T. S. E. Maibaum},
title = {An ought-to-do deontic logic for reasoning about fault-tolerance:
the diarrheic philosophers},
booktitle = {Fifth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
{UK}},
pages = {151--160},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SEFM.2007.7},
doi = {10.1109/SEFM.2007.7},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/CastroM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-05 21:21 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:
