\n \n \n
\n\n\n
\n
\n\n \n \n \n \n \n \n A Deontic Logic of Knowingly Complying.\n \n \n \n \n\n\n \n Areces, C.; Cassano, V.; Castro, P. F.; Fervari, R.; and Saravia, A. R.\n\n\n \n\n\n\n In Agmon, N.; An, B.; Ricci, A.; and Yeoh, W., editor(s),
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, 2023. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/atal/ArecesCCFS23,\n author = {Carlos Areces and\nValentin Cassano and\nPablo F. Castro and\nRaul Fervari and\nAndr{\\'{e}}s R. Saravia},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/atal/ArecesCCFS23.bib},\n booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents\nand Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May\n2023 - 2 June 2023},\n doi = {10.5555/3545946.3598659},\n editor = {Noa Agmon and\nBo An and\nAlessandro Ricci and\nWilliam Yeoh},\n pages = {364--372},\n publisher = {{ACM}},\n timestamp = {Tue, 23 May 2023 14:27:14 +0200},\n title = {A Deontic Logic of Knowingly Complying},\n url = {https://dl.acm.org/doi/10.5555/3545946.3598659},\n year = {2023}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n How Easy it is to Know How: An Upper Bound for the Satisfiability Problem.\n \n \n \n \n\n\n \n Areces, C.; Cassano, V.; Castro, P. F.; Fervari, R.; and Saravia, A. R.\n\n\n \n\n\n\n In Gaggl, S. A.; Martinez, M. V.; and Ortiz, M., editor(s),
Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings, volume 14281, of
Lecture Notes in Computer Science, pages 405–419, 2023. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/jelia/ArecesCCFS23,\n author = {Carlos Areces and\nValentin Cassano and\nPablo F. Castro and\nRaul Fervari and\nAndr{\\'{e}}s R. Saravia},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/jelia/ArecesCCFS23.bib},\n booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}\n2023, Dresden, Germany, September 20-22, 2023, Proceedings},\n doi = {10.1007/978-3-031-43619-2\\_28},\n editor = {Sarah Alice Gaggl and\nMaria Vanina Martinez and\nMagdalena Ortiz},\n pages = {405--419},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},\n title = {How Easy it is to Know How: An Upper Bound for the Satisfiability\nProblem},\n url = {https://doi.org/10.1007/978-3-031-43619-2\\_28},\n volume = {14281},\n year = {2023}\n}\n\n\n
\n\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics.\n \n \n \n \n\n\n \n Areces, C.; Cassano, V.; Fervari, R.; and Hoffmann, G.\n\n\n \n\n\n\n In Ramanayake, R.; and Urban, J., editor(s),
Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings, volume 14278, of
Lecture Notes in Computer Science, pages 37–48, 2023. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/tableaux/ArecesCFH23,\n author = {Carlos Areces and\nValentin Cassano and\nRaul Fervari and\nGuillaume Hoffmann},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/tableaux/ArecesCFH23.bib},\n booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd\nInternational Conference, {TABLEAUX} 2023, Prague, Czech Republic,\nSeptember 18-21, 2023, Proceedings},\n doi = {10.1007/978-3-031-43513-3\\_3},\n editor = {Revantha Ramanayake and\nJosef Urban},\n pages = {37--48},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},\n title = {DefTab : {A} Tableaux System for Sceptical Consequence in Default\nModal Logics},\n url = {https://doi.org/10.1007/978-3-031-43513-3\\_3},\n volume = {14278},\n year = {2023}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n How Easy it is to Know How: An Upper Bound for the Satisfiability Problem.\n \n \n \n \n\n\n \n Areces, C.; Cassano, V.; Fervari, R.; Castro, P. F.; and Saravia, A. R.\n\n\n \n\n\n\n
CoRR, abs/2309.17094. 2023.\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/corr/abs-2309-17094,\n author = {Carlos Areces and\nValentin Cassano and\nRaul Fervari and\nPablo F. Castro and\nAndr{\\'{e}}s R. Saravia},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/journals/corr/abs-2309-17094.bib},\n doi = {10.48550/ARXIV.2309.17094},\n eprint = {2309.17094},\n eprinttype = {arXiv},\n journal = {CoRR},\n timestamp = {Tue, 17 Oct 2023 01:00:00 +0200},\n title = {How Easy it is to Know How: An Upper Bound for the Satisfiability\nProblem},\n url = {https://doi.org/10.48550/arXiv.2309.17094},\n volume = {abs/2309.17094},\n year = {2023}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Quantifying Masking Fault-Tolerance via Fair Stochastic Games.\n \n \n \n \n\n\n \n Castro, P. F.; D'Argenio, P. R.; Demasi, R.; and Putruele, L.\n\n\n \n\n\n\n In Mezzina, C. A.; and Caltais, G., editor(s),
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, volume 387, of
EPTCS, pages 132–148, 2023. \n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:journals/corr/abs-2309-07309,\n author = {Pablo F. Castro and\nPedro R. D'Argenio and\nRamiro Demasi and\nLuciano Putruele},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/journals/corr/abs-2309-07309.bib},\n booktitle = {Proceedings Combined 30th International Workshop on Expressiveness\nin Concurrency and 20th Workshop on Structural Operational Semantics,\n{EXPRESS/SOS} 2023, and 20th Workshop on Structural Operational SemanticsAntwerp,\nBelgium, 18th September 2023},\n doi = {10.4204/EPTCS.387.10},\n editor = {Claudio Antares Mezzina and\nGeorgiana Caltais},\n pages = {132--148},\n series = {{EPTCS}},\n timestamp = {Wed, 25 Oct 2023 16:09:20 +0200},\n title = {Quantifying Masking Fault-Tolerance via Fair Stochastic Games},\n url = {https://doi.org/10.4204/EPTCS.387.10},\n volume = {387},\n year = {2023}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n A Study of the Electrum and DynAlloy Dynamic Behavior Notations.\n \n \n \n \n\n\n \n Cornejo, C.; Regis, G.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n
IEEE Trans. Software Eng., 49(11): 4946–4963. 2023.\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/tse/CornejoRAF23,\n author = {C{\\'{e}}sar Cornejo and\nGerm{\\'{a}}n Regis and\nNazareno Aguirre and\nMarcelo F. Frias},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/journals/tse/CornejoRAF23.bib},\n doi = {10.1109/TSE.2023.3320625},\n journal = {{IEEE} Trans. Software Eng.},\n number = {11},\n pages = {4946--4963},\n timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},\n title = {A Study of the Electrum and DynAlloy Dynamic Behavior Notations},\n url = {https://doi.org/10.1109/TSE.2023.3320625},\n volume = {49},\n year = {2023}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n ACoRe: Automated Goal-Conflict Resolution.\n \n \n \n \n\n\n \n Carvalho, L.; Degiovanni, R.; Brizzio, M.; Cordy, M.; Aguirre, N.; Traon, Y. L.; and Papadakis, M.\n\n\n \n\n\n\n In Lambers, L.; and Uchitel, S., editor(s),
Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, volume 13991, of
Lecture Notes in Computer Science, pages 3–25, 2023. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/fase/CarvalhoDBCATP23,\n author = {Luiz Carvalho and\nRenzo Degiovanni and\nMat{\\'{\\i}}as Brizzio and\nMaxime Cordy and\nNazareno Aguirre and\nYves Le Traon and\nMike Papadakis},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/fase/CarvalhoDBCATP23.bib},\n booktitle = {Fundamental Approaches to Software Engineering - 26th International\nConference, {FASE} 2023, Held as Part of the European Joint Conferences\non Theory and Practice of Software, {ETAPS} 2023, Paris, France, April\n22-27, 2023, Proceedings},\n doi = {10.1007/978-3-031-30826-0\\_1},\n editor = {Leen Lambers and\nSebasti{\\'{a}}n Uchitel},\n pages = {3--25},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},\n title = {ACoRe: Automated Goal-Conflict Resolution},\n url = {https://doi.org/10.1007/978-3-031-30826-0\\_1},\n volume = {13991},\n year = {2023}\n}\n\n\n
\n\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.\n \n \n \n \n\n\n \n Brizzio, M.; Cordy, M.; Papadakis, M.; Sánchez, C.; Aguirre, N.; and Degiovanni, R.\n\n\n \n\n\n\n In Silva, S.; and Paquete, L., editor(s),
Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2023, Lisbon, Portugal, July 15-19, 2023, pages 1499–1507, 2023. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/gecco/BrizzioCPSAD23,\n author = {Mat{\\'{\\i}}as Brizzio and\nMaxime Cordy and\nMike Papadakis and\nC{\\'{e}}sar S{\\'{a}}nchez and\nNazareno Aguirre and\nRenzo Degiovanni},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/gecco/BrizzioCPSAD23.bib},\n booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference,\n{GECCO} 2023, Lisbon, Portugal, July 15-19, 2023},\n doi = {10.1145/3583131.3590454},\n editor = {Sara Silva and\nLu{\\'{\\i}}s Paquete},\n pages = {1499--1507},\n publisher = {{ACM}},\n timestamp = {Fri, 02 Aug 2024 15:50:42 +0200},\n title = {Automated Repair of Unrealisable {LTL} Specifications Guided by Model\nCounting},\n url = {https://doi.org/10.1145/3583131.3590454},\n year = {2023}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Enabling Efficient Assertion Inference.\n \n \n \n \n\n\n \n Garg, A.; Degiovanni, R.; Molina, F.; Cordy, M.; Aguirre, N.; Papadakis, M.; and Traon, Y. L.\n\n\n \n\n\n\n In
34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023, pages 623–634, 2023. IEEE\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/issre/GargDMCAPT23,\n author = {Aayush Garg and\nRenzo Degiovanni and\nFacundo Molina and\nMaxime Cordy and\nNazareno Aguirre and\nMike Papadakis and\nYves Le Traon},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/issre/GargDMCAPT23.bib},\n booktitle = {34th {IEEE} International Symposium on Software Reliability Engineering,\n{ISSRE} 2023, Florence, Italy, October 9-12, 2023},\n doi = {10.1109/ISSRE59848.2023.00039},\n pages = {623--634},\n publisher = {{IEEE}},\n timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},\n title = {Enabling Efficient Assertion Inference},\n url = {https://doi.org/10.1109/ISSRE59848.2023.00039},\n year = {2023}\n}\n\n\n
\n\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n EvoSpex: A Search-Based Tool for Postcondition Inference.\n \n \n \n \n\n\n \n Molina, F.; Ponzio, P.; Aguirre, N.; and Frias, M. F.\n\n\n \n\n\n\n In Just, R.; and Fraser, G., editor(s),
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023, pages 1519–1522, 2023. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/issta/MolinaPAF23,\n author = {Facundo Molina and\nPablo Ponzio and\nNazareno Aguirre and\nMarcelo F. Frias},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/issta/MolinaPAF23.bib},\n booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on\nSoftware Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July\n17-21, 2023},\n doi = {10.1145/3597926.3604928},\n editor = {Ren{\\'{e}} Just and\nGordon Fraser},\n pages = {1519--1522},\n publisher = {{ACM}},\n timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},\n title = {EvoSpex: {A} Search-Based Tool for Postcondition Inference},\n url = {https://doi.org/10.1145/3597926.3604928},\n year = {2023}\n}\n\n\n
\n\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Assertion Inferring Mutants.\n \n \n \n \n\n\n \n Garg, A.; Degiovanni, R.; Molina, F.; Papadakis, M.; Aguirre, N.; Cordy, M.; and Traon, Y. L.\n\n\n \n\n\n\n
CoRR, abs/2301.12284. 2023.\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/corr/abs-2301-12284,\n author = {Aayush Garg and\nRenzo Degiovanni and\nFacundo Molina and\nMike Papadakis and\nNazareno Aguirre and\nMaxime Cordy and\nYves Le Traon},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/journals/corr/abs-2301-12284.bib},\n doi = {10.48550/ARXIV.2301.12284},\n eprint = {2301.12284},\n eprinttype = {arXiv},\n journal = {CoRR},\n timestamp = {Tue, 07 May 2024 01:00:00 +0200},\n title = {Assertion Inferring Mutants},\n url = {https://doi.org/10.48550/arXiv.2301.12284},\n volume = {abs/2301.12284},\n year = {2023}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Specification Inference for Evolving Systems.\n \n \n \n \n\n\n \n Degiovanni, R.; Molina, F.; Nolasco, A.; Aguirre, N.; and Papadakis, M.\n\n\n \n\n\n\n
CoRR, abs/2301.12403. 2023.\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/corr/abs-2301-12403,\n author = {Renzo Degiovanni and\nFacundo Molina and\nAgust{\\'{\\i}}n Nolasco and\nNazareno Aguirre and\nMike Papadakis},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/journals/corr/abs-2301-12403.bib},\n doi = {10.48550/ARXIV.2301.12403},\n eprint = {2301.12403},\n eprinttype = {arXiv},\n journal = {CoRR},\n timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},\n title = {Specification Inference for Evolving Systems},\n url = {https://doi.org/10.48550/arXiv.2301.12403},\n volume = {abs/2301.12403},\n year = {2023}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n ACoRe: Automated Goal-Conflict Resolution.\n \n \n \n \n\n\n \n Carvalho, L.; Degiovanni, R.; Brizzio, M.; Cordy, M.; Aguirre, N.; Traon, Y. L.; and Papadakis, M.\n\n\n \n\n\n\n
CoRR, abs/2303.05213. 2023.\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/corr/abs-2303-05213,\n author = {Luiz Carvalho and\nRenzo Degiovanni and\nMat{\\'{\\i}}as Brizzio and\nMaxime Cordy and\nNazareno Aguirre and\nYves Le Traon and\nMike Papadakis},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/journals/corr/abs-2303-05213.bib},\n doi = {10.48550/ARXIV.2303.05213},\n eprint = {2303.05213},\n eprinttype = {arXiv},\n journal = {CoRR},\n timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},\n title = {ACoRe: Automated Goal-Conflict Resolution},\n url = {https://doi.org/10.48550/arXiv.2303.05213},\n volume = {abs/2303.05213},\n year = {2023}\n}\n\n\n
\n\n\n\n
\n\n\n\n\n\n