AVISPA Publications Repository

This list of publications points to the abstracts and to the bibtex entries of each publication. Return to the AVISPA Research Group page.

Copyright Notice. The documents distributed have been provided by the contributing authors as a means to ensure timely dissemination of technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, not withstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Proceedings

2017

[AMO+17] A. Arbelaez, D. Mehta, B. O'Sullivan, L. Quesada, and A. Sasmaz. Generation of a reference network for ireland and its contribution to the design of an optical network architecture. In 19th International Conference on Transparent Optical Networks (ICTON 2017), 2017. [ DOI ]
[PAB+17] D. Payne, A. Arbelaez, R. Bonk, N. J. Doran, M. Furdek, R. Jensen, N. Parsons, T. Pfeiffer, L. Quesada, C. Raack, G. Talli, P. Townsend, R. Wessaly, L. Wosinska, X. Yin, and M. Ruffini. End-to-end network design and experimentation in the discus project. In 19th International Conference on Transparent Optical Networks (ICTON 2017), 2017. [ DOI ]
[BR17] Kyungmin Bae and Camilo Rocha. Guarded terms for rewriting modulo SMT. In José Proença and Markus Lumpe, editors, Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings, volume 10487 of Lecture Notes in Computer Science, pages 78--97. Springer, 2017. [ DOI | DBLP ]
[FRB17] Marco A. Feliú, Camilo Rocha, and Swee Balachandran. Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study. In Hakan Erdogmus and Klaus Havelund, editors, Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pages 94--97. ACM, 2017. [ DOI | DBLP ]
[HPV17] Stefan Haar, Salim Perchy, and Frank D. Valencia. D-SPACES: implementing declarative semantics for spatially structured information. In 11th IEEE International Conference on Semantic Computing, ICSC 2017, San Diego, CA, USA, January 30 - February 1, 2017, pages 227--233. IEEE Computer Society, 2017. [ DOI | DBLP ]
[Cat17] Néstor Cataño. An empirical study on teaching formal methods to millennials. In 1st IEEE/ACM International Workshop on Software Engineering Curricula for Millennials, SECM@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, pages 3--8. IEEE, 2017. [ DOI | DBLP ]
[LOP17] Björn Lellmann, Carlos Olarte, and Elaine Pimentel. A uniform framework for substructural logics with modalities. In Thomas Eiter and David Sands, editors, LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, 7-12th May 2017, volume 46 of EPiC Series in Computing, pages 435--455. EasyChair, 2017. [ DBLP ]
[BO17] Linda Brodo and Carlos Olarte. Symbolic semantics for multiparty interactions in the link-calculus. In Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, and Tiziana Margaria, editors, SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings, volume 10139 of Lecture Notes in Computer Science, pages 62--75. Springer, 2017. [ DOI | DBLP ]
[CP17] Luís Caires and Jorge A. Pérez. Linearity, control effects, and behavioral types. In Hongseok Yang, editor, Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, volume 10201 of Lecture Notes in Computer Science, pages 229--259. Springer, 2017. [ DOI | DBLP ]
[CAP17] Mauricio Cano, Jaime Arias, and Jorge A. Pérez. Session-based concurrency, reactively. In Ahmed Bouajjani and Alexandra Silva, editors, Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, volume 10321 of Lecture Notes in Computer Science, pages 74--91. Springer, 2017. [ DOI | DBLP ]
[DPP17] Jovana Dedeic, Jovanka Pantovic, and Jorge A. Pérez. Efficient compensation handling via subjective updates. In Ahmed Seffah, Birgit Penzenstadler, Carina Alves, and Xin Peng, editors, Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017, pages 51--58. ACM, 2017. [ DOI | DBLP ]
[GPW17] Julian Gutierrez, Giuseppe Perelli, and Michael Wooldridge. Iterated games with LDL goals over finite traces. In Kate Larson, Michael Winikoff, Sanmay Das, and Edmund H. Durfee, editors, Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, pages 696--704. ACM, 2017. [ DBLP ]
[GGW17] Tong Gao, Julian Gutierrez, and Michael Wooldridge. Iterated boolean games for rational verification. In Kate Larson, Michael Winikoff, Sanmay Das, and Edmund H. Durfee, editors, Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, pages 705--713. ACM, 2017. [ DBLP ]
[GHPW17] Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, and Michael Wooldridge. Nash equilibrium and bisimulation invariance. In Roland Meyer and Uwe Nestmann, editors, 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany, volume 85 of LIPIcs, pages 17:1--17:16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [ DOI | DBLP ]
[GMP+17] Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, and Michael Wooldridge. Nash equilibria in concurrent games with lexicographic preferences. In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pages 1067--1073. ijcai.org, 2017. [ DOI | DBLP ]
[LH17] Hugo A. López and Kai Heussen. Choreographing cyber-physical distributed control systems for the energy sector. In Ahmed Seffah, Birgit Penzenstadler, Carina Alves, and Xin Peng, editors, Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017, pages 437--443. ACM, 2017. [ DOI | DBLP ]
[OAS17] James Jerson Ortiz, Moussa Amrani, and Pierre-Yves Schobbens. Multi-timed bisimulation for distributed timed automata. In Clark Barrett, Misty Davies, and Temesghen Kahsai, editors, NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, volume 10227 of Lecture Notes in Computer Science, pages 52--67, 2017. [ DOI | DBLP ]
[LLRM17a] Andrei Lebedev, JooYoung Lee, Víctor Rivera, and Manuel Mazzara. Link prediction using top-k shortest distances. In Andrea Calì, Peter T. Wood, Nigel J. Martin, and Alexandra Poulovassilis, editors, Data Analytics - 31st British International Conference on Databases, BICOD 2017, London, UK, July 10-12, 2017, Proceedings, volume 10365 of Lecture Notes in Computer Science, pages 101--105. Springer, 2017. [ DOI | DBLP ]

2016

[SQB+16] Maribell Sacanamboy, Luis Quesada, Freddy Bolanos, Álvaro Bernal Noreña, and Barry O'Sullivan. A comparison between two optimisation alternatives for mapping in wireless network on chip. In 28th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2016, San Jose, CA, USA, November 6-8, 2016, pages 938--945, 2016. [ DOI | DBLP ]
[MOOQ16] D. Mehta, B. O'Sullivan, C. Ozturk, and L. Quesada. On the design and dimensioning of a transparent optical core network. In Photonic Networks and Devices (Networks), 2016. [ DOI ]
[MOOQ15a] D. Mehta, B. O'Sullivan, C. Ozturk, and L. Quesada. An adaptive large neighbourhood search for designing transparent optical core network. In 13th International conference on telecommunications, 2015. [ DOI ]
[DDA16b] Robinson Duque, Juan Francisco Díaz, and Alejandro Arbelaez. SABIO: an implementation of MIP and CP for interactive soccer queries. In Michel Rueher, editor, Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, volume 9892 of Lecture Notes in Computer Science, pages 575--583. Springer, 2016. [ DOI | DBLP ]
[DDA16a] Robinson Duque, Juan Francisco Díaz, and Alejandro Arbelaez. Constraint programming and machine learning for interactive soccer analysis. In Paola Festa, Meinolf Sellmann, and Joaquin Vanschoren, editors, Learning and Intelligent Optimization - 10th International Conference, LION 10, Ischia, Italy, May 29 - June 1, 2016, Revised Selected Papers, volume 10079 of Lecture Notes in Computer Science, pages 240--246. Springer, 2016. [ DOI | DBLP ]
[GPRV16] Michell Guzmán, Salim Perchy, Camilo Rueda, and Frank D. Valencia. Deriving inverse operators for modal logic. In Augusto Sampaio and Farn Wang, editors, Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, volume 9965 of Lecture Notes in Computer Science, pages 214--232, 2016. [ DOI | DBLP ]
[OR16] Carlos Olarte and Camilo Rueda. Session types for communicating systems in event-b. In Sascha Ossowski, editor, Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016, pages 1686--1693. ACM, 2016. [ DOI | DBLP ]
[DDA16b] Robinson Duque, Juan Francisco Díaz, and Alejandro Arbelaez. SABIO: an implementation of MIP and CP for interactive soccer queries. In Michel Rueher, editor, Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, volume 9892 of Lecture Notes in Computer Science, pages 575--583. Springer, 2016. [ DOI | DBLP ]
[DDA16a] Robinson Duque, Juan Francisco Díaz, and Alejandro Arbelaez. Constraint programming and machine learning for interactive soccer analysis. In Paola Festa, Meinolf Sellmann, and Joaquin Vanschoren, editors, Learning and Intelligent Optimization - 10th International Conference, LION 10, Ischia, Italy, May 29 - June 1, 2016, Revised Selected Papers, volume 10079 of Lecture Notes in Computer Science, pages 240--246. Springer, 2016. [ DOI | DBLP ]
[GV16] Michell Guzmán and Frank D. Valencia. On the expressiveness of spatial constraint systems. In Manuel Carro, Andy King, Neda Saeedloei, and Marina De Vos, editors, Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, October 16-21, 2016, New York City, USA, volume 52 of OASICS, pages 16:1--16:12. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [ DOI | DBLP ]
[RBC16] Víctor Rivera, Sukriti Bhattacharya, and Néstor Cataño. Undertaking the tokeneer challenge in event-b. In Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016, pages 8--14. ACM, 2016. [ DOI | DBLP ]
[CN16] Néstor Cataño and Shigeo Nishi. Soundness proof of eventb2java. In 2016 Seventh Latin-American Symposium on Dependable Computing, LADC 2016, Cali, Colombia, October 19-21, 2016, pages 25--34. IEEE Computer Society, 2016. [ DOI | DBLP ]
[CR16] Néstor Cataño and Víctor Rivera. Eventb2java: A code generator for event-b. In Sanjai Rayadurgam and Oksana Tkachuk, editors, NASA Formal Methods - 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings, volume 9690 of Lecture Notes in Computer Science, pages 166--171. Springer, 2016. [ DOI | DBLP ]
[FGOP16a] Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, and Catuscia Palamidessi. Slicing concurrent constraint programs. In Manuel V. Hermenegildo and Pedro López-García, editors, Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers, volume 10184 of Lecture Notes in Computer Science, pages 76--93. Springer, 2016. [ DOI | DBLP ]
[CP16] Luís Caires and Jorge A. Pérez. Multiparty session types within a canonical binary theory, and beyond. In Elvira Albert and Ivan Lanese, editors, Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings, volume 9688 of Lecture Notes in Computer Science, pages 74--95. Springer, 2016. [ DOI | DBLP ]
[KPY16] Dimitrios Kouzapas, Jorge A. Pérez, and Nobuko Yoshida. On the relative expressiveness of higher-order session processes. In Peter Thiemann, editor, Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, volume 9632 of Lecture Notes in Computer Science, pages 446--475. Springer, 2016. [ DOI | DBLP ]
[Pér16a] Jorge A. Pérez. The challenge of typed expressiveness in concurrency. In Elvira Albert and Ivan Lanese, editors, Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings, volume 9688 of Lecture Notes in Computer Science, pages 239--247. Springer, 2016. [ DOI | DBLP ]
[MP16] Claudio Antares Mezzina and Jorge A. Pérez. Reversible sessions using monitors. In Dominic A. Orchard and Nobuko Yoshida, editors, Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016., volume 211 of EPTCS, pages 56--64, 2016. [ DOI | DBLP ]
[WGH+16] Michael Wooldridge, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, and Alexis Toumi. Rational verification: From model checking to equilibrium checking. In Dale Schuurmans and Michael P. Wellman, editors, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA., pages 4184--4191. AAAI Press, 2016. [ DBLP ]
[GHPW16] Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, and Michael Wooldridge. Expressiveness and nash equilibrium in iterated boolean games. In Catholijn M. Jonker, Stacy Marsella, John Thangarajah, and Karl Tuyls, editors, Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, Singapore, May 9-13, 2016, pages 707--715. ACM, 2016. [ DBLP ]
[GPW16] Julian Gutierrez, Giuseppe Perelli, and Michael Wooldridge. Imperfect information in reactive modules games. In Chitta Baral, James P. Delgrande, and Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016., pages 390--400. AAAI Press, 2016. [ DBLP ]
[ATO16] Alejandro Arbelaez, Charlotte Truchet, and Barry O'Sullivan. Learning sequential and parallel runtime distributions for randomized algorithms. In 28th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2016, San Jose, CA, USA, November 6-8, 2016, pages 655--662. IEEE Computer Society, 2016. [ DOI | DBLP ]
[AO16] Alejandro Arbelaez and Barry O'Sullivan. Learning a stopping criterion for local search. In Paola Festa, Meinolf Sellmann, and Joaquin Vanschoren, editors, Learning and Intelligent Optimization - 10th International Conference, LION 10, Ischia, Italy, May 29 - June 1, 2016, Revised Selected Papers, volume 10079 of Lecture Notes in Computer Science, pages 3--16. Springer, 2016. [ DOI | DBLP ]
[AMOQ16] Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, and Luis Quesada. Comparing tree and chain topologies for designing resilient backhaul access network. In 2016 International Conference on Optical Network Design and Modeling, ONDM 2016, Cartagena, Spain, May 9-12, 2016, pages 1--6. IEEE, 2016. [ DOI | DBLP ]
[LNN16a] Hugo A. López, Flemming Nielson, and Hanne Riis Nielson. Enforcing availability in failure-aware communicating systems. In Elvira Albert and Ivan Lanese, editors, Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings, volume 9688 of Lecture Notes in Computer Science, pages 195--211. Springer, 2016. [ DOI | DBLP ]
[ABLP16a] Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk. Environmental bisimulations for delimited-control operators with dynamic prompt generation. In Delia Kesner and Brigitte Pientka, editors, 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, volume 52 of LIPIcs, pages 9:1--9:17. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [ DOI | DBLP ]
[ACP16] Jaime Arias, Mauricio Cano, and Jorge Andrés Pérez. Towards A practical model of reactive communication-centric software. In Vittorio Bilò and Antonio Caruso, editors, Proceedings of the 17th Italian Conference on Theoretical Computer Science, Lecce, Italy, September 7-9, 2016., volume 1720 of CEUR Workshop Proceedings, pages 227--233. CEUR-WS.org, 2016. [ DBLP ]
[SMMR16] Larisa Safina, Manuel Mazzara, Fabrizio Montesi, and Víctor Rivera. Data-driven workflows for microservices: Genericity in jolie. In Leonard Barolli, Makoto Takizawa, Tomoya Enokido, Antonio J. Jara, and Yann Bocchi, editors, 30th IEEE International Conference on Advanced Information Networking and Applications, AINA 2016, Crans-Montana, Switzerland, 23-25 March, 2016, pages 430--437. IEEE Computer Society, 2016. [ DOI | DBLP ]
[BKM+16a] Alexey Bandura, Nikita Kurilenko, Manuel Mazzara, Víctor Rivera, Larisa Safina, and Alexander Tchitchigin. Jolie community on the rise. In 9th IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2016, Macau, China, November 4-6, 2016, pages 40--43. IEEE Computer Society, 2016. [ DOI | DBLP ]

2015

[MOQ15] Deepak Mehta, Barry O'Sullivan, and Luis Quesada. Extending the notion of preferred explanations for quantified constraint satisfaction problems. In Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pages 309--327, 2015. [ DOI | DBLP ]
[AMO+15] A. Arbelaez, D. Mehta, B. O'Sullivan, C. Ozturk, and L. Quesada. A scalable approach for computing distance-bounded node-disjoint paths in long-reach passive optical networks and transparent optical core networks. In 17th International Conference on Transparent Optical Networks (ICTON 2015), 2015. [ DOI ]
[MOOQ15b] Deepak Mehta, Barry O'Sullivan, Cemalletin Ozturk, and Luis Quesada. Computing distance-bounded node-disjoint paths for all pairs of nodes - an application to optical core network design. In 7th International Workshop on Reliable Networks Design and Modeling, RNDM 2015, Munich, Germany, October 5-7, 2015, pages 71--77, 2015. [ DOI | DBLP ]
[ADR15] Jaime Arias, Myriam Desainte-Catherine, and Camilo Rueda. A framework for composition, verification and real-time performance of multimedia interactive scenarios. In 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015, pages 140--151. IEEE Computer Society, 2015. [ DOI | DBLP ]
[ADOR15] Jaime Arias, Myriam Desainte-Catherine, Carlos Olarte, and Camilo Rueda. Foundations for reliable and flexible interactive multimedia scores. In Tom Collins, David Meredith, and Anja Volk, editors, Mathematics and Computation in Music - 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings, volume 9110 of Lecture Notes in Computer Science, pages 29--41. Springer, 2015. [ DOI | DBLP ]
[CRLP15] Mauricio Cano, Camilo Rueda, Hugo A. López, and Jorge A. Pérez. Declarative interpretations of session-based concurrency. In Moreno Falaschi and Elvira Albert, editors, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pages 67--78. ACM, 2015. [ DOI | DBLP ]
[HPRV15] Stefan Haar, Salim Perchy, Camilo Rueda, and Frank D. Valencia. An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic. In Moreno Falaschi and Elvira Albert, editors, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pages 161--172. ACM, 2015. [ DOI | DBLP ]
[GSPV15] Fabio Gadducci, Francesco Santini, Luis Fernando Pino, and Frank D. Valencia. A labelled semantics for soft concurrent constraint programming. In Tom Holvoet and Mirko Viroli, editors, Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings, volume 9037 of Lecture Notes in Computer Science, pages 133--149. Springer, 2015. [ DOI | DBLP ]
[HC15] Sorren Hanvey and Néstor Cataño. Identifying transitivity threats in social networks. In Ilaria Matteucci, Paolo Mori, and Marinella Petrocchi, editors, 1st IEEE/ACM International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity, TELERISE 2015, Florence, Italy, May 18, 2015, pages 14--19. IEEE Computer Society, 2015. [ DOI | DBLP ]
[CW15] Néstor Cataño and Tim Wahls. A case study on code generation of an ERP system from event-b. In 2015 IEEE International Conference on Software Quality, Reliability and Security, QRS 2015, Vancouver, BC, Canada, August 3-5, 2015, pages 183--188. IEEE, 2015. [ DOI | DBLP ]
[AMMA15] Camilo Arevalo, Gerardo M. Sarria M., Mario Julian Mora, and Carlos Arce-Lopera. Towards an efficient algorithm to get the chorus of a salsa song. In 2015 IEEE International Symposium on Multimedia, ISM 2015, Miami, FL, USA, December 14-16, 2015, pages 258--261. IEEE Computer Society, 2015. [ DOI | DBLP ]
[CFOP15] Davide Chiarugi, Moreno Falaschi, Carlos Olarte, and Catuscia Palamidessi. A declarative view of signaling pathways. In Chiara Bodei, Gian Luigi Ferrari, and Corrado Priami, editors, Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday, volume 9465 of Lecture Notes in Computer Science, pages 183--201. Springer, 2015. [ DOI | DBLP ]
[GJP+15] Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, and Hugo Torres Vieira. A typed model for dynamic authorizations. In Simon Gay and Jade Alglave, editors, Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015., volume 203 of EPTCS, pages 73--84, 2015. [ DOI | DBLP ]
[KPY15a] Dimitrios Kouzapas, Jorge A. Pérez, and Nobuko Yoshida. Characteristic bisimulation for higher-order session processes. In Luca Aceto and David de Frutos-Escrig, editors, 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, volume 42 of LIPIcs, pages 398--411. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [ DOI | DBLP ]
[GP15b] Cinzia Di Giusto and Jorge A. Pérez. An event-based approach to runtime adaptation in communication-centric systems. In Thomas T. Hildebrandt, António Ravara, Jan Martijn van der Werf, and Matthias Weidlich, editors, Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers, volume 9421 of Lecture Notes in Computer Science, pages 67--85. Springer, 2015. [ DOI | DBLP ]
[DP15] Ornela Dardha and Jorge A. Pérez. Comparing deadlock-free session typed processes. In Silvia Crafa and Daniel Gebler, editors, Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, Madrid, Spain, 31st August 2015., volume 190 of EPTCS, pages 1--15, 2015. [ DOI | DBLP ]
[DPP15] Jovana Dedeic, Jovanka Pantovic, and Jorge A. Pérez. On compensation primitives as adaptable processes. In Silvia Crafa and Daniel Gebler, editors, Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, Madrid, Spain, 31st August 2015., volume 190 of EPTCS, pages 16--30, 2015. [ DOI | DBLP ]
[GHW15a] Julian Gutierrez, Paul Harrenstein, and Michael Wooldridge. Expresiveness and complexity results for strategic reasoning. In Luca Aceto and David de Frutos-Escrig, editors, 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, volume 42 of LIPIcs, pages 268--282. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [ DOI | DBLP ]
[Gut15] Julian Gutierrez. A mathematical game semantics of concurrency and nondeterminism. In Martin Leucker, Camilo Rueda, and Frank D. Valencia, editors, Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, volume 9399 of Lecture Notes in Computer Science, pages 597--607. Springer, 2015. [ DOI | DBLP ]
[TGW15] Alexis Toumi, Julian Gutierrez, and Michael Wooldridge. A tool for the automated verification of nash equilibria in concurrent games. In Martin Leucker, Camilo Rueda, and Frank D. Valencia, editors, Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, volume 9399 of Lecture Notes in Computer Science, pages 583--594. Springer, 2015. [ DOI | DBLP ]
[AMO15] Alejandro Arbelaez, Deepak Mehta, and Barry O'Sullivan. Constraint-based local search for finding node-disjoint bounded-paths in optical access networks. In Gilles Pesant, editor, Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, volume 9255 of Lecture Notes in Computer Science, pages 499--507. Springer, 2015. [ DOI | DBLP ]
[AMOQ15b] Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, and Luis Quesada. A constraint-based local search for edge disjoint rooted distance-constrained minimum spanning tree problem. In Laurent Michel, editor, Integration of AI and OR Techniques in Constraint Programming - 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings, volume 9075 of Lecture Notes in Computer Science, pages 31--46. Springer, 2015. [ DOI | DBLP ]
[AMOQ15c] Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, and Luis Quesada. Optimising dual homing for long-reach passive optical networks. In 11th International Conference on the Design of Reliable Communication Networks, DRCN 2015, Kansas City, MO, USA, March 24-27, 2015, pages 235--242. IEEE, 2015. [ DOI | DBLP ]
[AMOQ15a] Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, and Luis Quesada. A constraint-based local search for designing tree networks with distance and disjoint constraints. In 7th International Workshop on Reliable Networks Design and Modeling, RNDM 2015, Munich, Germany, October 5-7, 2015, pages 128--134. IEEE, 2015. [ DOI | DBLP ]
[TPA+15] Mauricio Toro, Anna Philippou, Sair Arboleda, María Puerta, and Carlos M. Vélez S. Mean-field semantics for a process calculus for spatially-explicit ecological models. In César A. Muñoz and Jorge A. Pérez, editors, Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015., volume 204 of EPTCS, pages 79--94, 2015. [ DOI | DBLP ]
[LMM+15] Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, and Nobuko Yoshida. Protocol-based verification of message-passing parallel programs. In Jonathan Aldrich and Patrick Eugster, editors, Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015, part of SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015, pages 280--298. ACM, 2015. [ DOI | DBLP ]
[NMR15] Alexandr Naumchev, Bertrand Meyer, and Víctor Rivera. Unifying requirements and code: An example. In Manuel Mazzara and Andrei Voronkov, editors, Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers, volume 9609 of Lecture Notes in Computer Science, pages 233--244. Springer, 2015. [ DOI | DBLP ]
[CJR15] Mon-Chu Chen, Bongkeum Jeong, and Víctor Rivera. Relationship tunnel vision: Altered social interaction using eye-tracking. In Bill Verplank, Wendy Ju, Alissa Nicole Antle, Ali Mazalek, and Florian 'Floyd' Mueller, editors, Proceedings of the Ninth International Conference on Tangible, Embedded, and Embodied Interaction, TEI '15, Stanford, California, USA, January 15-19, 2015, pages 399--400. ACM, 2015. [ DOI | DBLP ]
[BBG+15] Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, and Francesca Levi. A global occurrence counting analysis for brane calculi. In Moreno Falaschi, editor, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers, volume 9527 of Lecture Notes in Computer Science, pages 179--200. Springer, 2015. [ DOI | DBLP ]
[BFÉV+15] Andrés Felipe Barco, Jean-Guillaume Fages, Élise Vareilles, Michel Aldanondo, and Paul Gaborit. Open packing for facade-layout synthesis under a general purpose solver. In Gilles Pesant, editor, Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, volume 9255 of Lecture Notes in Computer Science, pages 508--523. Springer, 2015. [ DOI | DBLP ]
[BÉVA15] Andrés Felipe Barco, Élise Vareilles, and Michel Aldanondo. Thermal estimations to support buildings retrofit: Which envelope to manufacture? In 2015 IEEE International Conference on Industrial Engineering and Engineering Management, IEEM 2015, Singapore, December 6-9, 2015, pages 691--695. IEEE, 2015. [ DOI | DBLP ]
[BÉVGA15] Andrés Felipe Barco, Élise Vareilles, Paul Gaborit, and Michel Aldanondo. Industrialized building renovation: Manufacturing through a constraint-based on-line support system. In 2015 IEEE International Conference on Industrial Engineering and Engineering Management, IEEM 2015, Singapore, December 6-9, 2015, pages 947--951. IEEE, 2015. [ DOI | DBLP ]
[BÉVAG15b] Andrés Felipe Barco, Élise Vareilles, Michel Aldanondo, and Paul Gaborit. Layout synthesis for symmetrical facades - constraint-based support for architects decision-making. In Richard Chbeir, Yannis Manolopoulos, Ilias Maglogiannis, and Reda Alhajj, editors, Artificial Intelligence Applications and Innovations - 11th IFIP WG 12.5 International Conference, AIAI 2015, Bayonne, France, September 14-17, 2015, Proceedings, volume 458 of IFIP Advances in Information and Communication Technology, pages 293--306. Springer, 2015. [ DOI | DBLP ]
[BÉVAG15a] Andrés Felipe Barco, Élise Vareilles, Michel Aldanondo, and Paul Gaborit. Building thermal renovation overview - combinatorics + constraints + support system. In Floriana Esposito, Olivier Pivert, Mohand-Saïd Hacid, Zbigniew W. Ras, and Stefano Ferilli, editors, Foundations of Intelligent Systems - 22nd International Symposium, ISMIS 2015, Lyon, France, October 21-23, 2015, Proceedings, volume 9384 of Lecture Notes in Computer Science, pages 379--385. Springer, 2015. [ DOI | DBLP ]
[PV15] Salim Perchy and Frank Valencia. Opinions and beliefs as constraint system operators. In Marina De Vos, Thomas Eiter, Yuliya Lierler, and Francesca Toni, editors, Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015., volume 1433 of CEUR Workshop Proceedings. CEUR-WS.org, 2015. [ DBLP ]

2014

[MOQ+14] Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David B. Payne, and Linda Doyle. A scalable optimisation approach to minimising IP protection capacity for long-reach PON. In 18th International Conference on Optical Network Design and Modeling, ONDM 2014, Stockholm, Sweden, May 19-22, 2014, pages 31--36, 2014. [ DBLP ]
[MOO+14] Deepak Mehta, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada, and Helmut Simonis. Designing an optical island in the core network: From routing to spectrum allocation. In 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014, pages 560--567, 2014. [ DOI | DBLP ]
[ADR14] Jaime Arias, Myriam Desainte-Catherine, and Camilo Rueda. Modelling data processing for interactive scores using coloured petri nets. In 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pages 186--195. IEEE Computer Society, 2014. [ DOI | DBLP ]
[PBV14] Luis Fernando Pino, Filippo Bonchi, and Frank D. Valencia. A behavioral congruence for concurrent constraint programming with nondeterministic choice. In Gabriel Ciobanu and Dominique Méry, editors, Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, volume 8687 of Lecture Notes in Computer Science, pages 351--368. Springer, 2014. [ DOI | DBLP ]
[RC14] Víctor Rivera and Néstor Cataño. Translating event-b to jml-specified java programs. In Yookun Cho, Sung Y. Shin, Sang-Wook Kim, Chih-Cheng Hung, and Jiman Hong, editors, Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014, pages 1264--1271. ACM, 2014. [ DOI | DBLP ]
[CFHO14] Davide Chiarugi, Moreno Falaschi, Diana Hermith, and Carlos Olarte. A framework for modelling spatially dependent interactions of biological systems in CCP. In Ignacio Rojas and Francisco M. Ortuño Guzman, editors, International Work-Conference on Bioinformatics and Biomedical Engineering, IWBBIO 2014, Granada, Spain, April 7-9, 2014., pages 912--923. Copicentro Editorial, 2014. [ DBLP ]
[RRA14] Liliana Rosero, Michel Riguidel, and Jesús Aranda. Granular: An access control model, and confia: Its software tool. In XL Latin American Computing Conference, CLEI 2014, Montevideo, Uruguay, September 15-19, 2014, pages 1--9. IEEE, 2014. [ DOI | DBLP ]
[CDP14] Ilaria Castellani, Mariangiola Dezani-Ciancaglini, and Jorge A. Pérez. Self-adaptation and secure information flow in multiparty structured communications: A unified perspective. In Marco Carbone, editor, Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014., volume 162 of EPTCS, pages 9--18, 2014. [ DOI | DBLP ]
[GJP+14] Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, and Hugo Torres Vieira. Dynamic role authorization in multiparty conversations. In Marco Carbone, editor, Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014., volume 162 of EPTCS, pages 1--8, 2014. [ DOI | DBLP ]
[GW14b] Julian Gutierrez and Michael Wooldridge. Equilibria of concurrent games on event structures. In Thomas A. Henzinger and Dale Miller, editors, Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, pages 46:1--46:10. ACM, 2014. [ DOI | DBLP ]
[GHW14] Julian Gutierrez, Paul Harrenstein, and Michael Wooldridge. Reasoning about equilibria in game-like concurrent systems. In Chitta Baral, Giuseppe De Giacomo, and Thomas Eiter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press, 2014. [ DBLP ]
[AMOQ14] Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, and Luis Quesada. Constraint-based local search for the distance- and capacity-bounded network design problem. In 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014, pages 178--185. IEEE Computer Society, 2014. [ DOI | DBLP ]
[AC14] Alejandro Arbelaez and Philippe Codognet. A GPU implementation of parallel constraint-based local search. In 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014, Torino, Italy, February 12-14, 2014, pages 648--655. IEEE Computer Society, 2014. [ DOI | DBLP ]
[TPKS14] Mauricio Toro, Anna Philippou, Christina Kassara, and Spyros Sfenthourakis. Synchronous parallel composition in a process calculus for ecological models. In Gabriel Ciobanu and Dominique Méry, editors, Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, volume 8687 of Lecture Notes in Computer Science, pages 424--441. Springer, 2014. [ DOI | DBLP ]
[BEOS14] Axel Bodart, Keyvin Evrard, James Jerson Ortiz, and Pierre-Yves Schobbens. Arthur: A tool for markov logic network. In Robert Meersman, Hervé Panetto, Alok Mishra, Rafael Valencia-García, António Lucas Soares, Ioana Ciuciu, Fernando Ferri, Georg Weichhart, Thomas Moser, Michele Bezzi, and Henry Chan, editors, On the Move to Meaningful Internet Systems: OTM 2014 Workshops - Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent 2014, Amantea, Italy, October 27-31, 2014. Proceedings, volume 8842 of Lecture Notes in Computer Science, pages 319--328. Springer, 2014. [ DOI | DBLP ]
[BÉVAG14a] Andrés Felipe Barco, Élise Vareilles, Michel Aldanondo, and Paul Gaborit. Calpinator: A configuration tool for building facades. In Alexander Felfernig, Cipriano Forza, and Albert Haag, editors, Proceedings of the 16th International Configuration Workshop, Novi Sad, Serbia, September 25-26, 2014., volume 1220 of CEUR Workshop Proceedings, pages 47--54. CEUR-WS.org, 2014. [ DBLP ]
[BÉVAG14b] Andrés Felipe Barco, Élise Vareilles, Michel Aldanondo, and Paul Gaborit. A recursive algorithm for building renovation in smart cities. In Troels Andreasen, Henning Christiansen, Juan Carlos Cubero Talavera, and Zbigniew W. Ras, editors, Foundations of Intelligent Systems - 21st International Symposium, ISMIS 2014, Roskilde, Denmark, June 25-27, 2014. Proceedings, volume 8502 of Lecture Notes in Computer Science, pages 144--153. Springer, 2014. [ DOI | DBLP ]

2013

[QBO+13] Luis Quesada, Kenneth N. Brown, Barry O'Sullivan, Lanny Sitanayah, and Cormac J. Sreenan. A constraint programming approach to the additional relay placement problem in wireless sensor networks. In 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013, pages 1052--1059, 2013. [ DOI | DBLP ]
[RPAD13] Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda, and Juan Francisco Díaz. Towards formal interaction-based models of grid computing infrastructures. In Mauricio Ayala-Rincón, Eduardo Bonelli, and Ian Mackie, editors, Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013., volume 144 of EPTCS, pages 57--72, 2013. [ DOI | DBLP ]
[PBV13] Luis Fernando Pino, Filippo Bonchi, and Frank D. Valencia. Efficient computation of program equivalence for confluent concurrent constraint programming. In Ricardo Peña and Tom Schrijvers, editors, 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pages 263--274. ACM, 2013. [ DOI | DBLP ]
[MM13] Juan-Carlos Martinez-Arias and Gerardo M. Sarria M. Didactic and interdisciplinary experiences in a software engineering course. In Randa L. Shehab, James J. Sluss, and Deborah Anne Trytten, editors, IEEE Frontiers in Education Conference, FIE 2013, Oklahoma City, Oklahoma, USA, October 23-26, 2013, pages 1800--1805. IEEE, 2013. [ DOI | DBLP ]
[NOP13] Vivek Nigam, Carlos Olarte, and Elaine Pimentel. A general proof system for modalities in concurrent constraint programming. In Pedro R. D'Argenio and Hernán C. Melgratti, editors, CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, volume 8052 of Lecture Notes in Computer Science, pages 410--424. Springer, 2013. [ DOI | DBLP ]
[CFH+13b] Davide Chiarugi, Moreno Falaschi, Diana Hermith, Roberto Marangoni, and Carlos Olarte. Stochastic modelling of non markovian dynamics in biochemical reactions. In Ignacio Rojas and Francisco M. Ortuño Guzman, editors, International Work-Conference on Bioinformatics and Biomedical Engineering, IWBBIO 2013, Granada, Spain, March 18-20, 2013. Proceedings, pages 537--544. Copicentro Editorial, 2013. [ DBLP ]
[CPPT13] Luís Caires, Jorge A. Pérez, Frank Pfenning, and Bernardo Toninho. Behavioral polymorphism and parametricity in session-based communication. In Matthias Felleisen and Philippa Gardner, editors, Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, volume 7792 of Lecture Notes in Computer Science, pages 330--349. Springer, 2013. [ DOI | DBLP ]
[GP13a] Cinzia Di Giusto and Jorge A. Pérez. Disciplined structured communications with consistent runtime adaptation. In Sung Y. Shin and José Carlos Maldonado, editors, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013, pages 1913--1918. ACM, 2013. [ DOI | DBLP ]
[BCH+13] Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, and Gianluigi Zavattaro. Towards global and local types for adaptation. In Steve Counsell and Manuel Núñez, editors, Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, volume 8368 of Lecture Notes in Computer Science, pages 3--14. Springer, 2013. [ DOI | DBLP ]
[GP13b] Cinzia Di Giusto and Jorge A. Pérez. Session types with runtime adaptation: Overview and examples. In Nobuko Yoshida and Wim Vanderbauwhede, editors, Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., volume 137 of EPTCS, pages 21--32, 2013. [ DOI | DBLP ]
[CGW13] Pierre Clairambault, Julian Gutierrez, and Glynn Winskel. Imperfect information in logic and concurrent games. In Bob Coecke, Luke Ong, and Prakash Panangaden, editors, Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday, volume 7860 of Lecture Notes in Computer Science, pages 7--20. Springer, 2013. [ DOI | DBLP ]
[GW13] Julian Gutierrez and Glynn Winskel. Borel determinacy of concurrent games. In Pedro R. D'Argenio and Hernán C. Melgratti, editors, CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, volume 8052 of Lecture Notes in Computer Science, pages 516--530. Springer, 2013. [ DOI | DBLP ]
[GHW13] Julian Gutierrez, Paul Harrenstein, and Michael Wooldridge. Iterated boolean games. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pages 932--938. IJCAI/AAAI, 2013. [ DBLP ]
[AC13] Alejandro Arbelaez and Philippe Codognet. From sequential to parallel local search for SAT. In Martin Middendorf and Christian Blum, editors, Evolutionary Computation in Combinatorial Optimization - 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings, volume 7832 of Lecture Notes in Computer Science, pages 157--168. Springer, 2013. [ DOI | DBLP ]
[AQ13] Alejandro Arbelaez and Luis Quesada. Parallelising the k-medoids clustering problem using space-partitioning. In Malte Helmert and Gabriele Röger, editors, Proceedings of the Sixth Annual Symposium on Combinatorial Search, SOCS 2013, Leavenworth, Washington, USA, July 11-13, 2013. AAAI Press, 2013. [ DBLP ]
[PT13] Anna Philippou and Mauricio Toro. Process ordering in a process calculus for spatially-explicit ecological models. In Steve Counsell and Manuel Núñez, editors, Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, volume 8368 of Lecture Notes in Computer Science, pages 345--361. Springer, 2013. [ DOI | DBLP ]
[NOMS13a] Damien De Nizza, James Jerson Ortiz, Hubert Meurisse, and Pierre-Yves Schobbens. Formalisation et construction d'une ontologie dans le domaine des infections orthopédiques. In Raphaël Troncy, editor, IC 2013 : 24es Journées francophones d'Ingénierie des Connaissances (Proceedings of the 24th French Knowledge Engineering Conference), Lille, France, July 1-5, 2013., pages 319--329, 2013. [ DBLP ]
[NOMS13b] Damien De Nizza, James Jerson Ortiz, Hubert Meurisse, and Pierre-Yves Schobbens. ORTHOGEN : Système d'information intégré pour la traçabilité et la gestion multi-paramètres des infections orthopédiques. In Actes du XXXIème Congrès INFORSID, Paris, France, 29-31 Mai 2013., pages 421--436, 2013. [ DBLP ]

2012

[RMO+12] M. Rufini, D Mehta, B. O'Sullivan, L. Quesada, L. Doyle, and D. Payne. Deployment strategies for protected long-reach pon. Journal of Optical Communications and Networking, 2012. [ DOI ]
[RDP+12] Marco Ruffini, Linda Doyle, David B. Payne, Deepak Mehta, Barry O'Sullivan, and Luis Quesada. Deployment case studies of an energy efficient protected LR-PON architecture. In 16th International Conference on Optical Network Design and Modelling, ONDM 2012, Colchester, United Kingdom, April 17-20, 2012, pages 1--6, 2012. [ DOI | DBLP ]
[CGR12] Sascha Van Cauwelaert, Gustavo Gutierrez, and Peter Van Roy. A new approach for constraint programming in music using relation domains. In Non-Cochlear Sound: Proceedings of the 38th International Computer Music Conference, ICMC 2012, Ljubljana, Slovenia, September 9-14, 2012. Michigan Publishing, 2012. [ DBLP ]
[ABPV12a] Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, and Frank Valencia. Reducing weak to strong bisimilarity in CCP. In Marco Carbone, Ivan Lanese, Alexandra Silva, and Ana Sokolova, editors, Proceedings Fifth Interaction and Concurrency Experience, ICE 2012, Stockholm, Sweden, 16th June 2012., volume 104 of EPTCS, pages 2--16, 2012. [ DOI | DBLP ]
[PDJB12] Dario Pacino, Alberto Delgado, Rune Møller Jensen, and Tom Bebbington. An accurate model for seaworthy container vessel stowage planning with ballast tanks. In Hao Hu, Xiaoning Shi, Robert Stahlbock, and Stefan Voß, editors, Computational Logistics - Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings, volume 7555 of Lecture Notes in Computer Science, pages 17--32. Springer, 2012. [ DOI | DBLP ]
[DJG12] Alberto Delgado, Rune Møller Jensen, and Nicolas Guilbert. A placement heuristic for a commercial decision support system for container vessel stowage. In 2012 XXXVIII Conferencia Latinoamericana En Informatica (CLEI), Medellin, Colombia, October 1-5, 2012, pages 1--9. IEEE, 2012. [ DOI | DBLP ]
[AC12b] Alejandro Arbelaez and Philippe Codognet. Towards massively parallel local search for SAT - (poster presentation). In Alessandro Cimatti and Roberto Sebastiani, editors, Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, volume 7317 of Lecture Notes in Computer Science, pages 481--482. Springer, 2012. [ DOI | DBLP ]
[AC12a] Alejandro Arbelaez and Philippe Codognet. Massively parallel local search for SAT. In IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012, Athens, Greece, November 7-9, 2012, pages 57--64. IEEE Computer Society, 2012. [ DOI | DBLP ]
[GKL12] Julian Gutierrez, Felix Klaedtke, and Martin Lange. The μ-calculus alternation hierarchy collapses over structures with restricted connectivity. In Marco Faella and Aniello Murano, editors, Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., volume 96 of EPTCS, pages 113--126, 2012. [ DOI | DBLP ]
[BGPZ12b] Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, and Gianluigi Zavattaro. Towards the verification of adaptable processes. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, volume 7609 of Lecture Notes in Computer Science, pages 269--283. Springer, 2012. [ DOI | DBLP ]
[CLR12] Néstor Cataño, K. Rustan M. Leino, and Víctor Rivera. The eventb2dafny rodin plug-in. In Diego Garbervetsky and Sunghun Kim, editors, Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, TOPI 2012, Zurich, Switzerland, June 3, 2012, pages 49--54. IEEE Computer Society, 2012. [ DOI | DBLP ]
[GPV12] Marco Giunti, Catuscia Palamidessi, and Frank D. Valencia. Hide and new in the pi-calculus. In Bas Luttik and Michel A. Reniers, editors, Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, September 3, 2012., volume 89 of EPTCS, pages 65--79, 2012. [ DOI | DBLP ]
[KPPV12] S. Knight, C. Palamidessi, P. Panangaden and F. Valencia. Spatial and Epistemic Modalities in Constraint-Based Process Calculi. In CONCUR 2012, New Castle Upon Tyne, UK, volume 7454/2012 of Lecture Notes in Computer Science, pages 317-332, Springer, September 2012.
[ bib | .pdf | Abstract ]
[PCPT12] J. Pérez, L. Caires, F. Pfenning and B. Toninho. Linear Logical Relations for Session-Based Concurrency. In 21st European Symposium on Programming, ESOP 2012, Tallin, Estonia, volume 7211/2012 of Lecture Notes in Computer Science, pages 539-558, Springer, March 2012.
[ bib | .pdf | Abstract ]
[ABV12] A. Aristizábal, F. Bonchi and F. Valencia. Partition refinement for bisimilarity in CCP. In Proceedings of the ACM Symposium on Applied Computing, 2012, Trento, Italy, pages 88-93, Springer, March 2012.
[ bib | .pdf | Abstract ]
[CHR12] N. Cataño, S. Hanvey and C. Rueda. Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies. In TOOLS 2012, Prague, Czech republic, volume 7304/2012 of Lecture Notes in Computer Science, pages 9-16, Springer, May 2012.
[ bib | .pdf | Abstract ]
[CWRRY12] N. Cataño, T. Wahls, C. Rueda, V. Rivera and D. Yu. Translating B machines to JML specifications. In Proceedings of the ACM Symposium on Applied Computing, SAC2012, Trento, Italy, pages 1271-1277, ACM, March 2012.
[ bib | .pdf | Abstract ]
[OPRC12] C. Olarte, E. Pimentel, C. Rueda and N. Cataño. A linear concurrent constraint approach for the automatic verification of access permissions. In Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium, pages 2017-216, ACM, September 2012.
[ bib | .pdf | Abstract ]
[CGW12] P. Clairembault, J. Gutierrez and G. Winskel. The Winning Ways of Concurrent Games. In Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, pages 235-244, IEEE, June 2012.
[ bib | .pdf | Abstract ]
[CMOQ12] H: Cambazard, D. Mehta, B. O'Sullivan, C. and L. Quesada. A Computational Geometry-Based Local Search Algorithm for Planar Location Problems. In Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems - CPIOR 2012, Nantes, France, volume 7298/2011 of Lecture Notes in Computer Science, pages 97-112, Springer, May, 2012.
[ bib | .pdf | Abstract ]

2011

[MOQ+11b] Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David B. Payne, and Linda Doyle. Designing resilient long-reach passive optical networks. In Proceedings of the Twenty-Third Conference on Innovative Applications of Artificial Intelligence, August 9-11, 2011, San Francisco, California, USA, 2011. [ DBLP ]
[CMO+11] Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David B. Payne, and Linda Doyle. A combinatorial optimisation approach to the design of dual parented long-reach passive optical networks. In IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, USA, November 7-9, 2011, pages 785--792, 2011. [ DOI | DBLP ]
[OLS11] James Jerson Ortiz, Axel Legay, and Pierre-Yves Schobbens. Distributed event clock automata - extended abstract. In Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, and Denis Maurel, editors, Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings, volume 6807 of Lecture Notes in Computer Science, pages 250--263. Springer, 2011. [ DOI | DBLP ]
[PDJB11] Dario Pacino, Alberto Delgado, Rune Møller Jensen, and Tom Bebbington. Fast generation of near-optimal plans for eco-efficient stowage of large container vessels. In Jürgen Böse, Hao Hu, Carlos Jahn, Xiaoning Shi, Robert Stahlbock, and Stefan Voß, editors, Computational Logistics - Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011. Proceedings, volume 6971 of Lecture Notes in Computer Science, pages 286--301. Springer, 2011. [ DOI | DBLP ]
[AH11] Alejandro Arbelaez and Youssef Hamadi. Improving parallel local search for SAT. In Carlos A. Coello Coello, editor, Learning and Intelligent Optimization - 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011. Selected Papers, volume 6683 of Lecture Notes in Computer Science, pages 46--60. Springer, 2011. [ DOI | DBLP ]
[BGPZ11] Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, and Gianluigi Zavattaro. Adaptable processes (extended abstract). In Roberto Bruni and Jürgen Dingel, editors, Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings, volume 6722 of Lecture Notes in Computer Science, pages 90--105. Springer, 2011. [ DOI | DBLP ]
[ABPPV11] A.  Aristizábal, F. Bonchi, C.  Palamidessi, L. Pino and F. Valencia. Deriving Labels and Bisimilarity for Concurrent Constraint Programming. In FOSSAC2011, volume 6604/2011 of Lecture Notes in Computer Science, pages 138-152, Springer, April 2011.
[ bib | .pdf | Abstract ]
[HORV11] D.  Hermith, C. Olarte, C.  Rueda and F. Valencia. Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. In PACBB2011, volume 93/2011 of Advances in Intelligence and Soft Computing, pages 321-328, Springer, April 2011.
[ bib | .pdf | Abstract ]
[G11] J.  Gutierrez. Concurrent Logic Games on Partial Orders. In Workshop on Logic, Language, Information and Computation, 2011, volume 6642/2011 of Lecture Notes in Computer Science, pages 146-160, Springer, May 2011.
[ bib | .pdf | Abstract ]
[CA11] N. Cataño and I. Ahmed. Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool. In Workshop on Formal Methods for Industrial Critical Systems, Trento, Italy, 2011, volume 6959/2011 of Lecture Notes in Computer Science, pages 6-20, Springer, August 2011.
[ bib | .pdf | Abstract ]
[LP11] H. López and J. Pérez. Time and Exceptional Behavior in Multiparty Structured Interactions. In Workshop on Web Services and Formal Methods, Clermont-Ferrand, France 2011, volume 7176/2011 of Lecture Notes in Computer Science, pages 48-63, Springer, September 2011.
[ bib | .pdf | Abstract ]
[CPCTF11] L. Caires J. Pérez, J. Costa, H. Torres and L. Ferrao. Type-Based Access Control in Data-Centric Systems. In 20th European Symposium on Programming, ESOP 2011, Saarbrucken, Germany, volume 6602/2011 of Lecture Notes in Computer Science, pages 136-155, Springer, March 2011.
[ bib | .pdf | Abstract ]
[MOQ11] D. Mehta, B. O'Sullivan, C. and L. Quesada. Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering. In Principles and Practice of Constraint Programming - CP 2011, Perugia, Italy, volume 6876/2011 of Lecture Notes in Computer Science, pages 606-620, Springer, September, 2011.
[ bib | .pdf | Abstract ]

2010

[SDF+10] Helmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta, Luis Quesada, and Mats Carlsson. A generic visualization platform for CP. In Principles and Practice of Constraint Programming - CP 2010 - 16th International Conference, CP 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings, pages 460--474, 2010. [ DOI | DBLP ]
[MOQ10] Deepak Mehta, Barry O'Sullivan, and Luis Quesada. Preferred explanations for quantified constraint satisfaction problems. In 22nd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2010, Arras, France, 27-29 October 2010 - Volume 1, pages 275--278, 2010. [ DOI | DBLP ]
[MGR+10] Boris Mejías, Gustavo Gutierrez, Peter Van Roy, John Thomson, and Paulo Trezentos. Lock-free decentralized storage for transactional upgrade rollback. In Sumitra Reddy, editor, 19th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2010, Larissa, Greece, 28-30 June 2010, Proceedings, pages 229--234. IEEE Computer Society, 2010. [ DOI | DBLP ]
[P.10] Andrés A. Aristizábal P. Bisimilarity in concurrent constraint programming. In Manuel V. Hermenegildo and Torsten Schaub, editors, Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK, volume 7 of LIPIcs, pages 236--240. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. [ DOI | DBLP ]
[OLS10] James Jerson Ortiz, Axel Legay, and Pierre-Yves Schobbens. Memory event clocks. In Krishnendu Chatterjee and Thomas A. Henzinger, editors, Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings, volume 6246 of Lecture Notes in Computer Science, pages 198--212. Springer, 2010. [ DOI | DBLP ]
[Lóp10] Hugo A. López. Models for trustworthy service and process oriented systems. In Manuel V. Hermenegildo and Torsten Schaub, editors, Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK, volume 7 of LIPIcs, pages 270--276. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. [ DOI | DBLP ]
[CGHL10] Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, and Hugo A. López. A logic for choreographies. In Kohei Honda and Alan Mycroft, editors, Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010., volume 69 of EPTCS, pages 29--43, 2010. [ DOI | DBLP ]
[Tor10] Mauricio Toro-Bermúdez. Structured interactive musical scores. In Manuel V. Hermenegildo and Torsten Schaub, editors, Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK, volume 7 of LIPIcs, pages 300--302. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. [ DOI | DBLP ]
[AHS10b] Alejandro Arbelaez, Youssef Hamadi, and Michèle Sebag. Continuous search in constraint programming. In 22nd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2010, Arras, France, 27-29 October 2010 - Volume 1, pages 53--60. IEEE Computer Society, 2010. [ DOI | DBLP ]
[AHS10a] Alejandro Arbelaez, Youssef Hamadi, and Michèle Sebag. Building portfolios for the protein structure prediction problem. In Agostino Dovier, Alessandro Dal Palù, and Sebastian Will, editors, Workshop on Constraint Based Methods for Bioinformatics, WCB10, Edinburgh, UK, July 21, 2010, volume 4 of EPiC Series in Computing, pages 2--7. EasyChair, 2010. [ DBLP ]
[LPSS10] Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, and Alan Schmitt. On the expressiveness of polyadic and synchronous communication in higher-order process calculi. In Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, and Paul G. Spirakis, editors, Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II, volume 6199 of Lecture Notes in Computer Science, pages 442--453. Springer, 2010. [ DOI | DBLP ]
[BGPZ10] Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, and Gianluigi Zavattaro. Steps on the road to component evolvability. In Luís Soares Barbosa and Markus Lumpe, editors, Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, volume 6921 of Lecture Notes in Computer Science, pages 295--299. Springer, 2010. [ DOI | DBLP ]
[CS10] Néstor Cataño and Radu I. Siminiceanu. A machine-checked proof of A state-space construction algorithm. In César A. Muñoz, editor, Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings, volume NASA/CP-2010-216215 of NASA Conference Proceedings, pages 47--56, 2010. [ DBLP ]
[ADVR10] Hugo Arboleda, Juan Francisco Díaz, Victor Vargas, and Jean-Claude Royer. Automated reasoning for derivation of model-driven spls. In Goetz Botterweck, Stan Jarzabek, Tomoji Kishi, Jaejoon Lee, and Steve Livengood, editors, Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools), pages 181--188. Lancaster University, 2010. [ DBLP ]
[CR10] N. Cataño, and C. Rueda. Matelas: A Predicate Calculus Common Formal Definition for Social Networking. In Second International Conference, ABZ 2010, Orford, Canada, volume 5977/2010 of Lecture Notes in Computer Science, pages 259-272, Springer, February 2010.
[ bib | .pdf | Abstract ]
[GPV10] M. Gabrielli, C. Palamidessi and F. Valencia. Concurrent and Reactive Constraint Programming. In A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming Volume 6125/2010 of Lecture Notes in Computer Science, pages 231-256, Springer, 2010.
[ bib | .pdf | Abstract ]
[CFOP10] D. Chiarugi, M. Falaschi, C. Olarte and C. Palamidessi. Compositional modelling of signalling pathways in timed concurrent constraint programming. In Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology, BCB 2010, Niagara Falls, USA, pages 414-417, ACM, August 2010.
[ bib | .pdf | Abstract ]
[CMOQ+10] H. Cambazard, D. Mehta, B. O'Sullivan, L. Quesada, M. Ruffini, D. Payne and L. Doyle. A Combinatorial Optimisation Approach to the Design of Dual Parented Long-Reach Passive Optical Networks. In SIEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, USA, pages 785-792, IEEE, November 2010.
[ bib | .pdf | Abstract ]
[LMOQ+10] D. Lesaint, D. Mehta, B. O'Sullivan, L. Quesada and N. Wilson. Improving the Global Constraint SoftPrec. In SCAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, in Frontiers in Artificial Intelligence and Applications , pages 1061-1062, IOS Press, August 2010.
[ bib | .pdf | Abstract ]
[LMOQW10] D. Lesaint, D. Mehta, B. O'Sullivan, L. Quesada and N. Wilson. Context-Sensitive Call Control Using Constraints and Rules. In Principles and Practice of Constraint Programming - CP 2010 Volume 6308/2010 of Lecture Notes in Computer Science, pages 583-597, Springer, 2010.
[ bib | .pdf | Abstract ]

2009

[MOQW09] Deepak Mehta, Barry O'Sullivan, Luis Quesada, and Nic Wilson. Search space extraction. In Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings, pages 608--622, 2009. [ DOI | DBLP ]
[HL09] Thomas T. Hildebrandt and Hugo A. López. Types for secure pattern matching with local knowledge in universal concurrent constraint programming. In Patricia M. Hill and David Scott Warren, editors, Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, volume 5649 of Lecture Notes in Computer Science, pages 417--431. Springer, 2009. [ DOI | DBLP ]
[DJS09] Alberto Delgado, Rune Møller Jensen, and Christian Schulte. Generating optimal stowage plans for container vessel bays. In Ian P. Gent, editor, Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings, volume 5732 of Lecture Notes in Computer Science, pages 6--20. Springer, 2009. [ DOI | DBLP ]
[Del09] Alberto Delgado. Gene network motifs as dynamic systems. In Proceedings of the IEEE International Conference on Control Applications, CCA 2009 and of the International Symposium on Intelligent Control, ISIC 2009, Saint Petersburg, Russia, July 8-10, 2009, pages 189--193. IEEE, 2009. [ DOI | DBLP ]
[AH09] Alejandro Arbelaez and Youssef Hamadi. Exploiting weak dependencies in tree-based search. In Sung Y. Shin and Sascha Ossowski, editors, Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pages 1385--1391. ACM, 2009. [ DOI | DBLP ]
[Gut09] Julian Gutierrez. Logics and bisimulation games for concurrency, causality and conflict. In Luca de Alfaro, editor, Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, volume 5504 of Lecture Notes in Computer Science, pages 48--62. Springer, 2009. [ DOI | DBLP ]
[GB09] Julian Gutierrez and Julian C. Bradfield. Model-checking games for fixpoint logics with partial order models. In Mario Bravetti and Gianluigi Zavattaro, editors, CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, volume 5710 of Lecture Notes in Computer Science, pages 354--368. Springer, 2009. [ DOI | DBLP ]
[GP09] Cinzia Di Giusto and Jorge A. Pérez. Move vs copy: Towards a formal comparison of ambients and higher-order process calculi. In Alessandra Cherubini, Mario Coppo, and Giuseppe Persiano, editors, Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings., pages 107--112, 2009. [ DBLP ]
[CW09] Néstor Cataño and Tim Wahls. Executing JML specifications of java card applications: a case study. In Sung Y. Shin and Sascha Ossowski, editors, Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pages 404--408. ACM, 2009. [ DOI | DBLP ]
[LPSS09] I. Lanese, J. A. Perez, D. Sangiorgi, and A. Schmitt. On the Expressiveness of Polyadicity in Higher-Order Communication. In Proceedings of the 11th Italian Conference on Theoretical Computer Science (ICTCS09), September 2009.
[ bib | .pdf | Abstract ]
[GPZ09] C. Di Giusto, J. A. Perez, and G. Zavattaro. On the Expressiveness of Forwarding in Higher-Order Communication. In Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing (ICTAC09), volume 5684 of Lecture Notes in Computer Science, pages 155-169, Springer, August 2009.
[ bib | .pdf | Abstract ]
[CR09] N. Cataño, and C. Rueda. Teaching Formal Methods for the Unconquered Territory. In Proceedings of the 2nd International FME Conference on Teaching Formal Methods (TFM2009), volume 5846/2009 of Lecture Notes in Computer Science, pages 2-19, Springer, November 2009.
[ bib | .pdf | Abstract ]
[FOP09] M. Falaschi, C. Olarte, and C. Palamidessi. A Framework for Abstract Interpretation of Timed Concurrent Constraint Programs. In Antonio Porto and Francisco Javier Lopez-Fraguas, editors, Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP09), pages 207-218, ACM, September 2009.
[ bib | .pdf | Abstract ]
[LOP09] H. A. López, C. Olarte. and J A. Pérez. Towards a Unified Framework for Declarative Structured Communications. Proc. of PLACES'09.. 2009. To appear in Electronic Proceedings in Theoretical Computer Science, 2009.
[ bib | .pdf | Abstract ]
[AAO+09] J. Aranda, G. Assayag, C. Olarte, J. Perez, C. Rueda, M. Toro, and F. D. Valencia. An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. In Patricia M. Hill and David Scott Warren, editors, Proc of the 25th International Conference on Logic Programming (ICLP 2009), volume 5649 of Lecture Notes in Computer Science, pages 509-513, Springer, July 2009.
[ bib | .pdf | Abstract ]
[PS09] S. Perchy, and G. Sarria. Dissonances: Brief Description and its Computational Representation in the RTCC Calculus. In Proc of the 6th Sound and Music Computing Conference, SMC2009. 2009.
[ bib | .pdf | Abstract ]
[TRAA09] M. Toro-Bermudez, C. Rueda, C. Agon, and G. Assayag. NTCCRT: A Concurrent Constraint Framework for Real-Time Interaction. In Proc of the International Computer Music Conference, ICMC2009. 2009.
[ bib | .pdf | Abstract ]
[AVV09] J. Aranda, F. D.Valencia, and C. Versari. On the Expressive Power of Restriction and Priorities in CCS with Replication. In Proc of Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, volume 5504 of Lecture Notes in Computer Science, pages 242-256. Springer, March 2009.
[ bib | .pdf | Abstract ]
[LMO+09] D. Lesaint, D. Mehta, B. O'Sullivan, L.O. Quesada, and N. Wilson. A Soft Global Precedence Constraint. In IJCAI '09: Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence., 2009.
[ bib | .pdf | Abstract ]

2008

[GMR+08] Gustavo Gutierrez, Boris Mejías, Peter Van Roy, Diana Velasco, and Juan Torres. WSN and P2P: A self-managing marriage. In Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2008, Workshops Proceedings, October 20-24, 2008, Venice, Italy, pages 198--201. IEEE Computer Society, 2008. [ DOI | DBLP ]
[OV08b] Carlos Olarte and Frank D. Valencia. Universal concurrent constraint programing: symbolic semantics and applications to security. In Roger L. Wainwright and Hisham Haddad, editors, Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pages 145--150. ACM, 2008. [ DOI | DBLP ]
[PR08] J. A. Perez, and C. Rueda. Non-determinism and Probabilities in Timed Concurrent Constraint Programming. In Maria Garcia de la Banda and Enrico Pontelli, editors, Proc of the 24th International Conference on Logic Programming (ICLP 2008). volume 5366 of Lecture Notes in Computer Science, pages 677-681. Springer, 2008.
[ bib | .pdf | Abstract ]
[LPSS08] I. Lanese, J. A.Perez, D. Sangiorgi, and A. Schmitt. On the Expressiveness and Decidability of Higher-Order Process Calculi . In Proc. of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, pages 145-155. IEEE, 2008.
[ bib | .pdf | Abstract ]
[BPV08] R. Beauxis, C. Palamidessi, C. Rueda, and F. D. Valencia. On the Asynchronous Nature of the Asynchronous pi-Calculus. In Pierpaolo Degano and Rocco De Nicola and Jos{\'e} Meseguer, editors, Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. volume 5065 of Lecture Notes in Computer Science, pages 473-492. Springer, 2008.
[ bib | .pdf | Abstract ]
[APRV08] J. Aranda, J. Perez, C. Rueda, and F. D. Valencia. Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. In Proc. of 24th International Conference on Logic Programming (ICLP 2008). volume 5366 of Lecture Notes in Computer Science, pages 682-686. Springer-Verlag, 2008.
[ bib | .pdf | Abstract ]
[OV08b] C. Olarte, and F. D. Valencia. The Expressivity of Universal Timed CCP: Undecidability of Monadic FLTL and Closure operators for Security. In Proc. of PPDP'08. 2008.
[ bib | .pdf | Abstract ]
[OV08a] C. Olarte, and F. D. Valencia. Universal Concurrent Constraint Programming: Symbolic Semantics and Applications to Security. In Proc. of SAC'08., ACM Press. 2008.
[ bib | .pdf | Abstract ]
[SR08] G. Sarria, and C. Rueda. Real-Time Concurrent Constraint Programming. In Proc. of CLEI'08., Santa Fe, Argentina. 2008.
[ bib | .pdf | Abstract ]
[ORV08] C. Olarte, C. Rueda, and F. D. Valencia. Universal Timed CCP: Expressivity and Application to Musical Improvisation. In Proc. of CLEI'08., Santa Fe, Argentina. 2008.
[ bib | .pdf | Abstract ]
[HLM+08] H. Hadzic, D. Lesaint, D. Mehta, B. O'Sullivan, L.O. Quesada, and N. Wilson. A BDD Approach to the Feature Subscription Problem. In ECAI 2008: Proceedings of the 18th European Conference on Artificial Intelligence., volume 178 of Frontiers in Artificial Intelligence and Applications, pages 698-702. IOS Press, July 2008.
[ bib | .pdf | Abstract ]
[LMO+08c] D. Lesaint, D. Mehta, B. O'Sullivan, L.O. Quesada, and N. Wilson. Personalisation of Telecommunications Services as Combinatorial Optimisation. In AAAI 2008: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, pages 1693-1698. AAAI Press, 2008.
[ bib | .pdf | Abstract ]
[LMO+08b] D. Lesaint, D. Mehta, B. O'Sullivan, L.O. Quesada, and N. Wilson. Consistency Techniques for Finding an Optimal Relaxation of a Feature Subscription. In ICTAI '08: Proceedings of the 2008 20th IEEE International Conference on Tools with Artificial Intelligence., volume 1, pages 283-290. IEEE Computer Society, 2008.
[ bib | .pdf | Abstract ]
[LMO+08a] D. Lesaint, D. Mehta, B. O'Sullivan, L.O. Quesada, and N. Wilson. Solving a Telecommunications Feature Subscription Configuration Problem. In CP '08: Proceedings of the 14th international conference on Principles and Practice of Constraint Programming., volume 5202 of Lecture Notes in Computer Science, pages 67-81. Springer, 2008.
[ bib | .pdf | Abstract ]

2007

[LMZ07] Hugo A. López, Fabio Massacci, and Nicola Zannone. Goal-equivalent secure business process re-engineering. In Elisabetta Di Nitto and Matei Ripeanu, editors, Service-Oriented Computing - ICSOC 2007 Workshops, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers, volume 4907 of Lecture Notes in Computer Science, pages 212--223. Springer, 2007. [ DOI | DBLP ]
[AGPV07] J. Aranda, C. Di Giusto, C. Palamidessi, and F. D. Valencia. On Recursion, Replication and Scope Mechanisms in Process Calculi. In Proc. of Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006. volume 4709 of Lecture Notes in Computer Science, pages 185-206, Springer, November 2007.
[ bib | .pdf | Abstract ]
[AGNV07] J. Aranda, C. Di Giusto, M. Nielsen, and F. D. Valencia. CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. In Proc. of Programming Languages and Systems, 5th Asian Symposium, APLAS 2007. volume 4807 of Lecture Notes in Computer Science, pages 383-398, Springer, 2007.
[ bib | .pdf | Abstract ]
[OPV07] C. Olarte, C. Palamidessi, and F. D. Valencia. Universal Timed Concurrent Constraint Programming. In Proc. of ICLP 2007. 2007.
[ bib | .pdf | Abstract ]
[FOPV07] M. Falaschi, C. Olarte, C. Palamidessi, and F. D. Valencia. Declarative Diagnosis of Temporal Concurrent Constraint Programs. In Proc. of ICLP 2007. 2007.
[ bib | .pdf | Abstract ]

2006

[QRDC06] Luis Quesada, Peter Van Roy, Yves Deville, and Raphaël Collet. Using dominators for solving constrained path problems. In Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings, pages 73--87, 2006. [ DOI | DBLP ]
[AGPV06] Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, and Frank D. Valencia. On recursion, replication and scope mechanisms in process calculi. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, editors, Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures, volume 4709 of Lecture Notes in Computer Science, pages 185--206. Springer, 2006. [ DOI | DBLP ]
[AAD+06] A. Allombert, G. Assayag, M. Desainte-Catherine, and C. Rueda. Concurrent Constraint Models for Specifying Interactive Scores. In Proc. of the Third Sound and Music Computing Conference (SMC'06)., May 2006.
[ bib | .pdf | Abstract ]
[OMR06] C. Olarte, E. Monfroy, and C. Rueda. Exploring Process Calculi as a Mechanism to Define Dynamic Enumeration Strategies in Constraint Programming. In Proc. of CLEI 2006 (32nd Latinamerican Conference on Informatics), August 2006.
[ bib | .pdf | Abstract ]
[PSV+06] C. Palamidessi, V. A. Saraswat, F. D. Valencia, and B. Victor. On the expressiveness of linearity vs persistence in the asychronous pi-calculus. In Proc. of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), pages 59-68. IEEE Computer Society, 2006.
[ bib | .pdf | Abstract ]
[ALR+06] A. Aristizabal, H. A. Lopez, C. Rueda, and F. D. Valencia. Formally Reasoning About Security Issues in P2P Protocols: A Case Study. In S. Cruz-Lara and Y.K. Tsay, editors, Proc. of the Third Taiwanese-French Conference on Information Technology (TFIT), March 2006.
[ bib | .pdf | Abstract ]
[LPP+06] H. A. Lopez, C. Palamidessi, J. A. Perez, C. Rueda, and F. D. Valencia. A Declarative Framework for Security: Secure Concurrent Constraint Programming (Short Abstract). In S. Etalle and M. Truszczynski, editors, Proc. of the 22nd International Conference in Logic Programming (ICLP 2006), volume 4079 of Lecture Notes in Computer Science, pages 449-450. Springer, 2006.
[ bib | .pdf | Abstract ]
[AGO+06] A. Arbelaez, J. Gutierrez, C. Olarte, and C. Rueda. A Generic Framework to Model, Simulate and Verify Genetic Regulatory Networks (Poster). In Proc. of CLEI 2006 (32nd Latinamerican Conference on Informatics), 2006.
[ bib | .pdf | Abstract ]

2005

[QRD05] Luis Quesada, Peter Van Roy, and Yves Deville. Speeding up constrained path solvers with a reachability propagator. In Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, page 866, 2005. [ DOI | DBLP ]
[GSD05] Luis García, Tatiana Sarmiento, and Alberto Delgado. Aplicaciones de los chips ADN emulados. In Oswaldo Velez-Langs and Carlos Andrés Peña-Reyes, editors, Memorias del Congreso Internacional de Inteligencia Computacional, Montería, Colombia, Agosto 10-12 de 2005, pages 58--65. Universidad del Sinu, 2005. [ DBLP ]
[Cat05b] Néstor Cataño. Formal modeling of a slicing algorithm for java event spaces in PVS. In Joe Hurd and Thomas F. Melham, editors, Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings, volume 3603 of Lecture Notes in Computer Science, pages 82--97. Springer, 2005. [ DOI | DBLP ]
[DV05] S. S. Dantchev and F. D. Valencia. On the computational limits of infinite satisfaction. In Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), pages 393-397, 2005.
[ bib | .pdf | Abstract ]
[RV05] C. Rueda and F. V. Valencia. A Temporal Concurrent Constraint Calculus as an Audio Processing Framework. In Proc. of the Second Sound and Music Computing Conference (SMC'05)., 2005.
[ bib | .pdf | Abstract ]
[DPR05] A. Delgado, J. A. Perez, and C. Rueda. Implementing an Abstraction Framework for Soft Constraints. In J. D. Zucker and L. Saitta, editors, Abstraction, Reformulation and Approximation, Proc. of the 6th International Symposium, SARA 2005., volume 3607 of Lecture Notes in Computer Science, pages 60-75. Springer, 2005.
[ bib | .pdf | Abstract ]
[OR05] C. Olarte and C. Rueda. A Stochastic Non-deterministic Temporal Concurrent Constraint Calculus. In Proc. of International Conference of the Chilean Computer Science Society (SCCC 2005). IEEE-CS, 2005.
[ bib | .pdf | Abstract ]
[OR05b] C. Olarte and C. Rueda. Using Stochastic NTCC to Model Biological Systems. In Proc. of CLEI 2005 (31st Latinamerican Conference on Informatics), 2005.
[ bib | .pdf | Abstract ]
[DOP+05] A. Delgado, C. Olarte, J. A. Perez, and C. Rueda. Semiring-based Fuzzy Constraints in Concurrent Constraint Programming. In A. Buss, J. F. Diaz, and C. Rueda, editors, Proc. of CLEI 2005 (31st Latinamerican Conference on Informatics), October 2005.
[ bib | .pdf | Abstract ]

2004

[Del04] Alberto Delgado. Hardware emulation of DNA chips. In M. H. Rashid, editor, Proceedings of the Second IASTED International Conference on Circuits, Signals, and Systems, Clearwater Beach, FL, USA, November 28, 2004 - December 1, 2004, pages 369--373. IASTED/ACTA Press, 2004. [ DBLP ]
[GSV04] Pablo Giambiagi, Gerardo Schneider, and Frank D. Valencia. On the expressiveness of infinite behavior and name scoping in process calculi. In Igor Walukiewicz, editor, Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, volume 2987 of Lecture Notes in Computer Science, pages 226--240. Springer, 2004. [ DOI | DBLP ]
[DM04] Juan Francisco Díaz and Javier Andrés Mena. Solving the aircraft sequencing problem using concurrent constraint programming. In Peter Van Roy, editor, Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers, volume 3389 of Lecture Notes in Computer Science, pages 292--304. Springer, 2004. [ DOI | DBLP ]
[DOP+04] A. Delgado, C. A. Olarte, J. A. Perez, and C. Rueda. Implementing Semiring-Based Constraints Using Mozart. In P. Van Roy, editor, Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Revised Selected and Invited Papers, number 3389 in Lecture Notes in Computer Science, pages 224-236. Springer, 2004.
[ bib | .pdf | Abstract ]
[DGO+04b] J. F. Diaz, G. Gutierrez, C. A. Olarte, and C. Rueda. Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks. In P. Van Roy, editor, Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Revised Selected and Invited Papers, number 3389 in Lecture Notes in Computer Science, pages 263-276. Springer, 2004.
[ bib | .pdf | Abstract ]
[RV04b] C. Rueda and F. D. Valencia. Non-viability deductions in arc-consistency computation. In Proc. of the International Conference on Logic Programming (ICLP 2004), volume 3132 of Lecture Notes in Computer Science, pages 343-355. Springer, 2004.
[ bib | .pdf | Abstract ]
[DCL+04] J. F. Diaz, G. Caicedo, C. Lozano, G. Gutierrez, C. Olarte, and C. Rueda. Loss Reduction in Distribution Networks using Concurrent Constraint Programming. In Proc. of 8th International Conference on Probability Methods Applied to Power Systems (PMAPS'04), pages 295- 300. IEEE, 2004.
[ bib | .pdf | Abstract ]
[ADO04] J. Aranda, J. F. Diaz, and J. Ortiz. The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics. In P. Van Roy, editor, Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Revised Selected and Invited Papers, number 3389 in Lecture Notes in Computer Science, pages 305-316. Springer, 2004.
[ bib | .pdf | Abstract ]
[MH04] M. P. Muñoz and A. R. Hurtado. Programming Robotic Devices with a Timed Concurrent Constraint Language (Short Abstract). In M. Wallace, editor, Proc. of Tenth International Conference on Principles and Practice of Constraint Programming (CP 2004), volume 3258 of Lecture Notes in Computer Science, page 803, 2004.
[ bib | .pdf | Abstract ]
[DGO+04] J. F. Diaz, G. Gutierrez, C. A. Olarte, and C. Rueda. CRE2: a CP application for reconfiguring a power distribution network for power losses reduction (Short Abstract). In M. Wallace, editor, Proc. of Tenth International Conference on Principles and Practice of Constraint Programming (CP 2004), volume 3258 of Lecture Notes in Computer Science, pages 813-814. Springer, 2004.
[ bib | .pdf ]
[DOP+04b] A. Delgado, C. A. Olarte, J. A. Perez, and C. Rueda. Implementing Semiring-Based Constraints using a Concurrent Constraint Programming Language. In S. Bistarelli and F. Rossi, editors, Proc. of the Sixth International Workshop on Preferences and Soft Constraints. Part of CP 2004., September 2004.
[ bib | .pdf | Abstract ]
[DPP+04] A. Delgado, J. A. Perez, G. Pabon, R. Jordan, J. F. Diaz, and C. Rueda. An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine. In P. Van Roy, editor, Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Revised Selected and Invited Papers, volume 3389 of Lecture Notes in Computer Science, pages 317-327. Springer, 2004.
[ bib | .pdf | Abstract ]

2003

[NV03] Mogens Nielsen and Frank D. Valencia. Notes on timed concurrent constraint programming. In Jörg Desel, Wolfgang Reisig, and Grzegorz Rozenberg, editors, Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], volume 3098 of Lecture Notes in Computer Science, pages 702--741. Springer, 2003. [ DOI | DBLP ]
[Val03a] Frank D. Valencia. Concurrency, time, and constraints. In Catuscia Palamidessi, editor, Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings, volume 2916 of Lecture Notes in Computer Science, pages 72--101. Springer, 2003. [ DOI | DBLP ]
[Val03b] Frank D. Valencia. Timed concurrent constraint programming: Decidability results and their application to LTL. In Catuscia Palamidessi, editor, Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings, volume 2916 of Lecture Notes in Computer Science, pages 422--437. Springer, 2003. [ DOI | DBLP ]
[CH03] Néstor Cataño and Marieke Huisman. CHASE: A static checker for jml's assignable clause. In Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, and Supratik Mukhopadhyay, editors, Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings, volume 2575 of Lecture Notes in Computer Science, pages 26--40. Springer, 2003. [ DOI | DBLP ]

2002

[QR02] Luis Quesada and Peter Van Roy. A concurrent constraint programming approach for trajectory determination of autonomous vehicles. In Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings, page 777, 2002. [ DOI | DBLP ]
[PV01] Catuscia Palamidessi and Frank D. Valencia. A temporal concurrent constraint programming calculus. In Toby Walsh, editor, Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, volume 2239 of Lecture Notes in Computer Science, pages 302--316. Springer, 2001. [ DOI | DBLP ]
[Val01] Frank D. Valencia. Temporal concurrent constraint programming. In Toby Walsh, editor, Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, volume 2239 of Lecture Notes in Computer Science, page 786. Springer, 2001. [ DOI | DBLP ]

1998

[AADR98] Carlos Agón, Gérard Assayag, Olivier Delerue, and Camilo Rueda. Objects, time and constraints in openmusic. In Proceedings of the 1998 International Computer Music Conference, ICMC 1998, Ann Arbor, Michigan, USA, October 1-6, 1998. Michigan Publishing, 1998. [ DBLP ]

Journals

2017

[RAA+17] M. Ruffini, M. Achouche, A. Arbelaez, R. Bonk, A. Di Giglio, N. Doran, M. Furdek, R. Jensen, J. Montalvo, N. Parsons, T. Pfeiffer, L. Quesada, C. Raack, H. Rohde, M. Schiano, G. Talli, P. Townsend, R. Wessaly, L. Wosinska, X. Yin, and D. Payne. Access and metro network convergence for flexible end-to-end network design. Journal of Optical Communications and Networking, 2017. [ DOI ]
[AMOQ17] Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, and Luis Quesada. A constraint-based parallel local search for the edge-disjoint rooted distance-constrained minimum spanning tree problem. Journal of Heuristics, 2017. [ DOI ]
[HPVar] Stefan Haar, Salim Perchy, and Frank D. Valencia. Declarative framework for semantical interpretations of structured information: An applicative approach. International Journal of Semantic Computing, 2017 (to appear).
[RMM17] Camilo Rocha, José Meseguer, and César A. Muñoz. Rewriting modulo SMT and open system analysis. J. Log. Algebr. Meth. Program., 86(1):269--297, 2017. [ DOI | DBLP ]
[GHP+17] Michell Guzmán, Stefan Haar, Salim Perchy, Camilo Rueda, and Frank D. Valencia. Belief, knowledge, lies and other utterances in an algebra for space and extrusion. J. Log. Algebr. Meth. Program., 86(1):107--133, 2017. [ DOI | DBLP ]
[RCWR17] Víctor Rivera, Néstor Cataño, Tim Wahls, and Camilo Rueda. Code generation for event-b. STTT, 19(1):31--52, 2017. [ DOI | DBLP ]
[GSPV17] Fabio Gadducci, Francesco Santini, Luis Fernando Pino, and Frank D. Valencia. Observational and behavioural equivalences for soft concurrent constraint programming. J. Log. Algebr. Meth. Program., 92:45--63, 2017. [ DOI | DBLP ]
[CLOP17] Agata Ciabattoni, Björn Lellmann, Carlos Olarte, and Elaine Pimentel. From cut-free calculi to automated deduction: The case of bounded contraction. Electr. Notes Theor. Comput. Sci., 332:75--93, 2017. [ DOI | DBLP ]
[DOP17] Joëlle Despeyroux, Carlos Olarte, and Elaine Pimentel. Hybrid and subexponential linear logics. Electr. Notes Theor. Comput. Sci., 332:95--111, 2017. [ DOI | DBLP ]
[NOP17] Vivek Nigam, Carlos Olarte, and Elaine Pimentel. On subexponentials, focusing and modalities in concurrent systems. Theor. Comput. Sci., 693:35--58, 2017. [ DOI | DBLP ]
[OP17] Carlos Olarte and Elaine Pimentel. On concurrent behaviors and focusing in linear logic. Theor. Comput. Sci., 685:46--64, 2017. [ DOI | DBLP ]
[MP17b] Claudio Antares Mezzina and Jorge A. Pérez. Reversibility in session-based concurrency: A fresh look. J. Log. Algebr. Meth. Program., 90:2--30, 2017. [ DOI | DBLP ]
[KPY17] Dimitrios Kouzapas, Jorge A. Pérez, and Nobuko Yoshida. Characteristic bisimulation for higher-order session processes. Acta Inf., 54(3):271--341, 2017. [ DOI | DBLP ]
[Pér17a] Jorge A. Pérez. Conference reports. SIGLOG News, 4(1):37, 2017. [ DOI | DBLP ]
[Pér17d] Jorge A. Pérez. Report on CWI lectures in honor of adriaan van wijngaarden. SIGLOG News, 4(1):40--41, 2017. [ DOI | DBLP ]
[Pér17b] Jorge A. Pérez. Conference reports. SIGLOG News, 4(2):90, 2017. [ DOI | DBLP ]
[Pér17c] Jorge A. Pérez. Conference reports. SIGLOG News, 4(3):62, 2017. [ DOI | DBLP ]
[GHW17a] Julian Gutierrez, Paul Harrenstein, and Michael Wooldridge. From model checking to equilibrium checking: Reactive modules for rational verification. Artif. Intell., 248:123--157, 2017. [ DOI | DBLP ]
[GHW17b] Julian Gutierrez, Paul Harrenstein, and Michael Wooldridge. Reasoning about equilibria in game-like concurrent systems. Ann. Pure Appl. Logic, 168(2):373--403, 2017. [ DOI | DBLP ]
[BBG+17] Chiara Bodei, Linda Brodo, Roberta Gori, Francesca Levi, Antonio Bernini, and Diana Hermith. A static analysis for brane calculi providing global occurrence counting information. Theor. Comput. Sci., 696:11--51, 2017. [ DOI | DBLP ]
[BÉVGA17] Andrés Felipe Barco, Élise Vareilles, Paul Gaborit, and Michel Aldanondo. Building renovation adopts mass customization - configuring insulating envelopes. J. Intell. Inf. Syst., 49(1):119--146, 2017. [ DOI | DBLP ]

2016

[PR16] Carlos Pinzón and Camilo Rocha. Double-spend attack models with time advantange for bitcoin. Electr. Notes Theor. Comput. Sci., 329:79--103, 2016. [ DOI | DBLP ]
[FV16] Sibylle B. Fröschle and Frank D. Valencia. Preface to special issue: EXPRESS 2010. Mathematical Structures in Computer Science, 26(6):907, 2016. [ DOI | DBLP ]
[LV16] Bas Luttik and Frank D. Valencia. Preface to special issue: EXPRESS 2011. Mathematical Structures in Computer Science, 26(8):1351, 2016. [ DOI | DBLP ]
[OCFH16] Carlos Olarte, Davide Chiarugi, Moreno Falaschi, and Diana Hermith. A proof theoretic view of spatial and temporal dependencies in biochemical systems. Theor. Comput. Sci., 641:25--42, 2016. [ DOI | DBLP ]
[CDP16] Ilaria Castellani, Mariangiola Dezani-Ciancaglini, and Jorge A. Pérez. Self-adaptation and secure information flow in multiparty communications. Formal Asp. Comput., 28(4):669--696, 2016. [ DOI | DBLP ]
[GJP+16] Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, and Hugo Torres Vieira. Dynamic role authorization in multiparty conversations. Formal Asp. Comput., 28(4):643--667, 2016. [ DOI | DBLP ]
[GP16] Cinzia Di Giusto and Jorge A. Pérez. Event-based run-time adaptation in communication-centric systems. Formal Asp. Comput., 28(4):531--566, 2016. [ DOI | DBLP ]
[Pér16b] Jorge A. Pérez. Conference reports. SIGLOG News, 3(1):73, 2016. [ DOI | DBLP ]
[Pér16f] Jorge A. Pérez. Report on ICTAC 2015: 12th international colloquium on theoretical aspects of computing. SIGLOG News, 3(1):74--77, 2016. [ DOI | DBLP ]
[Pér16c] Jorge A. Pérez. Conference reports. SIGLOG News, 3(2):78, 2016. [ DOI | DBLP ]
[Pér16d] Jorge A. Pérez. Conference reports. SIGLOG News, 3(3):77, 2016. [ DOI | DBLP ]
[Pér16e] Jorge A. Pérez. Conference reports. SIGLOG News, 3(4):47, 2016. [ DBLP ]
[BGW16] Julian C. Bradfield, Julian Gutierrez, and Michael Wooldridge. Partial-order boolean games: informational independence in a logic-based model of strategic interaction. Synthese, 193(3):781--811, 2016. [ DOI | DBLP ]
[TARC16] Charlotte Truchet, Alejandro Arbelaez, Florian Richoux, and Philippe Codognet. Estimating parallel runtimes for randomized algorithms in constraint solving. J. Heuristics, 22(4):613--648, 2016. [ DOI | DBLP ]

2015

[QSB+15] Luis Quesada, Lanny Sitanayah, Kenneth N. Brown, Barry O'Sullivan, and Cormac J. Sreenan. A constraint programming approach to the additional relay placement problem in wireless sensor networks. Constraints, 20(4):433--451, 2015. [ DOI | DBLP ]
[PBV15] Luis Fernando Pino, Filippo Bonchi, and Frank D. Valencia. Efficient algorithms for program equivalence for confluent concurrent constraint programming. Sci. Comput. Program., 111:135--155, 2015. [ DOI | DBLP ]
[PPBV15] Luis Fernando Pino, Andrés A. Aristizábal P., Filippo Bonchi, and Frank D. Valencia. Weak CCP bisimilarity with strong procedures. Sci. Comput. Program., 100:84--104, 2015. [ DOI | DBLP ]
[CFH+15] Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte, and Luca Torella. Modelling non-markovian dynamics in biochemical reactions. BMC Systems Biology, 9(S-3):S8, 2015. [ DOI | DBLP ]
[AGO15] Jaime Arias, Michell Guzmán, and Carlos Olarte. A symbolic model for timed concurrent constraint programming. Electr. Notes Theor. Comput. Sci., 312:161--177, 2015. [ DOI | DBLP ]
[CFHO15] Davide Chiarugi, Moreno Falaschi, Diana Hermith, and Carlos Olarte. Verification of spatial and temporal modalities in biochemical systems. Electr. Notes Theor. Comput. Sci., 316:29--44, 2015. [ DOI | DBLP ]
[OP15] Carlos Olarte and Elaine Pimentel. Proving concurrent constraint programming correct, revisited. Electr. Notes Theor. Comput. Sci., 312:179--195, 2015. [ DOI | DBLP ]
[OPN15] Carlos Olarte, Elaine Pimentel, and Vivek Nigam. Subexponential concurrent constraint programming. Theor. Comput. Sci., 606:98--120, 2015. [ DOI | DBLP ]
[FOP15] Moreno Falaschi, Carlos Olarte, and Catuscia Palamidessi. Abstract interpretation of temporal concurrent constraint programs. TPLP, 15(3):312--357, 2015. [ DOI | DBLP ]
[BCD+15a] Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, and Hugo Torres Vieira. Combining behavioural types with security analysis. J. Log. Algebr. Meth. Program., 84(6):763--780, 2015. [ DOI | DBLP ]
[GP15a] Cinzia Di Giusto and Jorge A. Pérez. Disciplined structured communications with disciplined runtime adaptation. Sci. Comput. Program., 97:235--265, 2015. [ DOI | DBLP ]
[GHW15b] Julian Gutierrez, Paul Harrenstein, and Michael Wooldridge. Iterated boolean games. Inf. Comput., 242:53--79, 2015. [ DOI | DBLP ]

2014

[CASA14] Néstor Cataño, Ijaz Ahmed, Radu I. Siminiceanu, and Jonathan Aldrich. A case study on the lightweight verification of a multi-threaded task server. Sci. Comput. Program., 80:169--187, 2014. [ DOI | DBLP ]
[ONP14] Carlos Olarte, Vivek Nigam, and Elaine Pimentel. Dynamic spaces in concurrent constraint programming. Electr. Notes Theor. Comput. Sci., 305:103--121, 2014. [ DOI | DBLP ]
[PON14a] Elaine Pimentel, Carlos Olarte, and Vivek Nigam. A proof theoretic study of soft concurrent constraint programming. TPLP, 14(4-5):649--663, 2014. [ DOI | DBLP ]
[PCPT14] Jorge A. Pérez, Luís Caires, Frank Pfenning, and Bernardo Toninho. Linear logical relations and observational equivalences for session-based concurrency. Inf. Comput., 239:254--302, 2014. [ DOI | DBLP ]
[GKL14] Julian Gutierrez, Felix Klaedtke, and Martin Lange. The μ-calculus alternation hierarchy collapses over structures with restricted connectivity. Theor. Comput. Sci., 560:292--306, 2014. [ DOI | DBLP ]
[GW14a] Julian Gutierrez and Glynn Winskel. On the determinacy of concurrent games on event structures with infinite winning sets. J. Comput. Syst. Sci., 80(6):1119--1137, 2014. [ DOI | DBLP ]

2013

[ORV13] Carlos Olarte, Camilo Rueda, and Frank D. Valencia. Models and emerging trends of concurrent constraint programming. Constraints, 18(4):535--578, 2013. [ DOI | DBLP ]
[CFH+13a] Davide Chiarugi, Moreno Falaschi, Diana Hermith, Michell Guzmán, and Carlos Olarte. Simulating signalling pathways with bioways. Electr. Notes Theor. Comput. Sci., 293:17--34, 2013. [ DOI | DBLP ]
[ATC13] Alejandro Arbelaez, Charlotte Truchet, and Philippe Codognet. Using sequential runtime distributions for the parallel speedup prediction of SAT local search. TPLP, 13(4-5):625--639, 2013. [ DOI | DBLP ]
[PTA13] Anna Philippou, Mauricio Toro, and Margarita Antonaki. Simulation and verification in a process calculus for spatially-explicit ecological models. Sci. Ann. Comp. Sci., 23(1):119--167, 2013. [ DOI | DBLP ]

2012

[DJJ+12] Alberto Delgado, Rune Møller Jensen, Kira Janstrup, Trine Høyer Rose, and Kent Høj Andersen. A constraint programming model for fast optimal stowage of container vessel bays. European Journal of Operational Research, 220(1):251--261, 2012. [ DOI | DBLP ]
[BGPZ12] M. Bravetti, C. Di Giusto, J. Pérez and G. Zavattaro. Adaptable processes. Logical Methods in Computer Science, volume 8(4), : 2012.
[ bib | .pdf | Abstract ]
[SAC12] R. Siminiceanu, I. Ahmed and N. Cataño. Automated Verification of Specifications with Typestates and Access Permissions. Electronic Communications of the European Association for the Study of Science and Technology, volume 53, : 2012.
[ bib | .pdf | Abstract ]
[PSS11] J. Pérez, D. Sangiorgi and A. Schmitt. On the expressiveness and decidability of higher-order process calculi. Journal of Information and computation, 209(2):198-226, 2011.
[ bib | .pdf | Abstract ]
[GB11] J. Gutierrez and J. Bradfield. Model-checking games for fixpoint logics with partial order models. Journal of Informution and computation, 209(5):766-781, 2011.
[ bib | .pdf | Abstract ]
[LMOQW10] D. Lesaint, D. Mehta, B. O'Sullivan, L. Quesada and N. Wilson. Developing Approaches for Solving a Telecommunications Feature Subscription Problem. Journal of Artificial Intelligence Research, 38:271-305, 2010.
[ bib | .pdf | Abstract ]
[CBG+09] N. Catano, F. Barraza, D. Garcia, P. Ortega, and C. Rueda. A Case Study in JML-Assisted Software Development. Electronic Notes in Theoretical Computer Science (ENTCS), 240:5-21, 2009.
[ bib | .pdf | Abstract ]
[CCAV08] D. Cacciagrano, F. Corradini, J. Aranda, and F. D. Valencia. Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. Electronic Notes in Theoretical Computer Science (ENTCS), 194(2):59-84, 2008.
[ bib | .pdf | Abstract ]
[MOR07] E. Monfroy, C. Olarte, and C. Rueda. Process Calculi for Adaptive Enumeration Strategies in Constraint Programming. Research in Computing Science, 2007.
[ bib | .pdf | Abstract ]
[AAG+07] A. Arbelaez, A. Aristizabal, J. Gutierrez, H. Lopez, J. A. Perez, C. Rueda, and F. D. Valencia. Process Calculi to Analyze Emerging Applications in Concurrency. Matemáticas: Enseñanza Universitaria, 2007.
[ bib | .pdf | Abstract ]
[GPRV07] J. Gutierrez, J. Perez, C. Rueda, and F. D. Valencia. Timed Concurrent Constraint Programming for Analysing Biological Systems. Electronic Notes in Theoretical Computer Science. Elsevier, 171(2):117-137. 2007.
[ bib | .pdf | Abstract ]
[OR06] C. Olarte, and C. Rueda. A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems. CLEI Electronic Journal, 9(2), 2006.
[ bib | .pdf | Abstract ]
[GPR05] J. Gutierrez, J. A. Perez, and C. Rueda. Modelamiento de Sistemas Biologicos usando Calculos de Procesos Concurrentes (Modelling Biological Systems using Process Calculi). Epiciclos, 4(1):79-101, 2005.
[ bib | .pdf | Abstract ]
[Val05] F. D. Valencia. Decidability of infinite-state timed ccp processes and first-order ltl. Theor. Comput. Sci., 330(3):577-607, 2005.
[ bib | .pdf | Abstract ]
[NPV02] M. Nielsen, C. Palamidessi, and F. D. Valencia. Temporal concurrent constraint programming: Denotation, logic and applications. Nord. J. Comput., 9(1):145-188, 2002.
[ bib | .pdf | Abstract ]
[RAQ+01] C. Rueda, G. Alvarez, L. O. Quesada, G. Tamura, F. D. Valencia, J. F. Diaz, and G. Assayag. Integrating constraints and concurrent objects in musical applications: A calculus and its visual language. Constraints, 6(1):21-52, 2001.
[ bib | .pdf | Abstract ]
[DR00] J. F. Diaz and C. Rueda. Modelos para la computacion movil (invited paper). Revista Colombiana de Computacion, 1(1):29-45, 2000.
[ bib | .pdf | Abstract ]
[ARLAD99] G. Assayag, C. Rueda, M. Laurson, C. Agon and O. Delerue. Computer-Assisted Composition at IRCAM: From PatchWork to OpenMusic. Computer Music Journal, 23(3), pages 59-72, MIT Press 1999.
[ bib | .pdf | Abstract ]
[DRV98] J. F. Diaz, C. Rueda, and F. D. Valencia. Pi+- calculus: A calculus for concurrent processes with constraints. CLEI Electronic Journal, 1(2), 1998.
[ bib | .pdf | Abstract ]

2011

[LPSS11] Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, and Alan Schmitt. On the expressiveness and decidability of higher-order process calculi. Inf. Comput., 209(2):198--226, 2011. [ DOI | DBLP ]
[GB11] Julian Gutierrez and Julian C. Bradfield. Model-checking games for fixpoint logics with partial order models. Inf. Comput., 209(5):766--781, 2011. [ DOI | DBLP ]

2010

[LMO+10b] David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, and Nic Wilson. Developing approaches for solving a telecommunications feature subscription problem. J. Artif. Intell. Res., 38:271--305, 2010. [ DOI | DBLP ]
[Pér10] Jorge A. Pérez. Higher-order concurrency: Expressiveness and decidability. Bulletin of the EATCS, 101:92--124, 2010. [ DBLP ]
[GDC10] María Alejandra Guzmán, Alberto Delgado, and Jonas De Carvalho. A novel multiobjective optimization algorithm based on bacterial chemotaxis. Eng. Appl. of AI, 23(3):292--301, 2010. [ DOI | DBLP ]

2009

[CBG+09] Néstor Cataño, Fernando Barraza, Daniel García, Pablo Ortega, and Camilo Rueda. A case study in jml-assisted software development. Electr. Notes Theor. Comput. Sci., 240:5--21, 2009. [ DOI | DBLP ]
[CSV09] Marco Carbone, Pawel Sobocinski, and Frank D. Valencia. Foreword: Festschrift for mogens nielsen's 60th birthday. Theor. Comput. Sci., 410(41):4001--4005, 2009. [ DOI | DBLP ]

2008

[CCAV08] Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, and Frank D. Valencia. Linearity, persistence and testing semantics in the asynchronous pi-calculus. Electr. Notes Theor. Comput. Sci., 194(2):59--84, 2008. [ DOI | DBLP ]
[PV08] Catuscia Palamidessi and Frank D. Valencia. Preface. Electr. Notes Theor. Comput. Sci., 209:1--4, 2008. [ DOI | DBLP ]

2007

[GPRV07] Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, and Frank D. Valencia. Timed concurrent constraint programming for analysing biological systems. Electr. Notes Theor. Comput. Sci., 171(2):117--137, 2007. [ DOI | DBLP ]

2006

[OR06] Carlos Olarte and Camilo Rueda. A stochastic concurrent constraint based framework to model and verify biological systems. CLEI Electron. J., 9(2), 2006. [ DBLP ]
[PV06] Catuscia Palamidessi and Frank D. Valencia. Languages for concurrency. Bulletin of the EATCS, 90:155--171, 2006. [ DBLP ]

2005

[PV05] Catuscia Palamidessi and Frank D. Valencia. Recursion vs replication in process calculi: Expressiveness. Bulletin of the EATCS, 87:105--125, 2005. [ DBLP ]
[Val05] Frank D. Valencia. Decidability of infinite-state timed CCP processes and first-order LTL. Theor. Comput. Sci., 330(3):577--607, 2005. [ DOI | DBLP ]
[Cat05a] Néstor Cataño. Combining symbolic execution and model checking to reduce dynamic program analysis overhead. Revista Colombiana de Computación, 6(1), 2005. [ DBLP ]
[BCHJ05] Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman, and Bart Jacobs. Formal methods for smart cards: an experience report. Sci. Comput. Program., 55(1-3):53--80, 2005. [ DOI | DBLP ]

2004

[RV04b] Camilo Rueda and Frank D. Valencia. On validity in modelization of musical problems by CCP. Soft Comput., 8(9):641--648, 2004. [ DOI | DBLP ]

2003

[Cat03] Néstor Cataño. Slicing event spaces: Towards a java programs checking framework. Electr. Notes Theor. Comput. Sci., 80:59--74, 2003. [ DOI | DBLP ]

2002

[NPV02b] Mogens Nielsen, Catuscia Palamidessi, and Frank D. Valencia. Temporal concurrent constraint programming: Denotation, logic and applications. Nord. J. Comput., 9(1):145--188, 2002. [ DBLP ]

2001

[RAQ+01] Camilo Rueda, Gloria Alvarez, Luis Quesada, Gabriel Tamura, Frank D. Valencia, Juan Francisco Díaz, and Gérard Assayag. Integrating constraints and concurrent objects in musical applications: A calculus and its visual language. Constraints, 6(1):21--52, 2001. [ DOI | DBLP ]

2000

[DR00] Juan Francisco Díaz and Camilo Rueda. Modelos para la computación móvil (invited paper). Revista Colombiana de Computación, 1(1):29--45, 2000. [ DBLP ]

1999

[ARL+99] Gérard Assayag, Camilo Rueda, Mikael Laurson, Carlos Agón, and Olivier Delerue. Computer-assisted composition at IRCAM: from patchwork to openmusic. Computer Music Journal, 23(3):59--72, 1999. [ DOI | DBLP ]

1998

[DRV98] Juan Francisco Díaz, Camilo Rueda, and Frank D. Valencia. Pi+- calculus: A calculus for concurrent processes with constraints. CLEI Electron. J., 1(2), 1998. [ DBLP ]

Book Chapters

[AHS12] Alejandro Arbelaez, Youssef Hamadi, and Michèle Sebag. Continuous search in constraint programming. In Youssef Hamadi, Eric Monfroy, and Frédéric Saubion, editors, Autonomous Search, pages 219--243. Springer, 2012. [ DOI | DBLP ]
[ORSTV11] C. Olarte and C. Rueda, G. Sarria, M. Toro and F. D. Valencia. Concurrent Constraints Models of Music Interaction. in Constraint Programming in Music., Wiley, 2011.
[ bib | .pdf | Abstract ]
[ORV09] C. Olarte and C. Rueda and F. D. Valencia. Concurrent Constraints Calculi: A Declarative Paradigm for Modeling Music Systems. in New Computational Paradigms for Computer Music., Ed. Latour, 2009.
[ bib | .pdf | Abstract ]
[RV04] C. Rueda and F. D. Valencia. On validity in modelization of musical problems by ccp. Soft Comput., 8(9):641-648, 2004.
[ bib | .pdf | Abstract ]
[NV03] M. Nielsen and F. D. Valencia. Notes on Timed CCP. In Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, pages 702-741. Springer, 2003.
[ bib | .pdf | Abstract ]

Thesis

BSc

[Ari12] J. Arias. Model Checking for tcc Calculus. BSc Thesis - Engineering Degree in Computer Science and Electronics, Pontificia Universidad Javeriana - Cali (Colombia)., 2012.
[MP09] J. A. Munoz, and H. A. Perez. Aplicacion de la Programacion Concurrente por Restricciones en el Modelado de Procesos en la Membrana Celular. BSc Thesis - Engineering Degree in Computer Science, Pontificia Universidad Javeriana - Cali (Colombia)., 2009.
[ bib | .pdf | Abstract ]
[Tor09] M. Toro. Probabilistic Extension to the Concurrent Constraint Factor Oracle model for Music Improvisation. BSc Thesis - Engineering Degree in Computer Science, Pontificia Universidad Javeriana - Cali (Colombia)., 2009.
[ bib | .pdf | Abstract ]
[AG06] A. Arbelaez and J. E. Gutierrez. Estudio Exploratorio de la Aplicacion de la Programacion Concurrente por Restricciones en Bioinformatica. BSc Thesis - Engineering Degree in Computer Science, Pontificia Universidad Javeriana - Cali (Colombia)., 2006.
[ bib | .pdf ]
[AL06] A. A. Aristizabal and H. A. Lopez. Using Process Calculi to Model and Verify Security Properties in Real Communication Protocols. BSc Thesis - Engineering Degree in Computer Science, Pontificia Universidad Javeriana - Cali (Colombia)., 2006.
[ bib | .pdf ]
[Rod06] J. Rodriguez. Diseño e Implementación de un Sistema de Restricciones de Armonía Musical para Mozart. BSc Thesis - Engineering Degree in Computer Science, Universidad del Valle - Cali (Colombia)., 2006.
[ bib | .pdf | Abstract ]
[Vil06] A. Villota. Diseño e Implementación de un Sistema de Restricciones para Búsqueda de Patrones en Secuencias de ADN para Mozart. BSc Thesis - Engineering Degree in Computer Science, Universidad del Valle - Cali (Colombia)., 2006.
[ bib | .pdf | Abstract ]
[DP05] A. Delgado and J. A. Perez. Analisis e Implementacion de Mecanismos de Restricciones Debiles para Programacion Concurrente por Restricciones. BSc Thesis - Engineering Degree in Computer Science, Pontificia Universidad Javeriana - Cali (Colombia)., November 2005.
[ bib | .pdf | Abstract ]
[HM04] A. R. Hurtado and M. P. Munoz. LMAN: Maquina Abstracta del Calculo NTCC para Programacion Concurrente de Robots LEGO. BSc Thesis - Engineering Degree in Computer Science, Pontificia Universidad Javeriana - Cali (Colombia)., 2004.
[ bib | .pdf | Abstract ]
[SD01] G. Sarria and J. Diago. Implantacion del Kernel de OpenMusic bajo Linux BSc Thesis - Engineering Degree in Computer Science, Pontificia Universidad Javeriana - Cali (Colombia)., 2001.
[ bib | .pdf | Abstract ]
[CV96] G. Castano and F. D. Valencia. CSP's: Unificacion Formal y Nuevos Algoritmos. BSc Thesis - Engineering Degree in Computer Science, Pontificia Universidad Javeriana - Cali (Colombia)., 1996.
[ bib ]

PhD

[Per16] Salim Perchy. Opinions, Lies and Knowledge. An Algebraic Approach to Mobility of Information and Processes. (Opinions, Mensonges et Connaissance. Une Approche Algébrique à la Mobilité de l'Information et des Processus). PhD thesis, University of Paris-Saclay, France, 2016. [ DBLP ]
[Ari15] Jaime Arias. Formal Semantics and Automatic Verification of Hierarchical Multimedia Scenarios with Interactive Choices. (Sémantique Formelle et Vérification Automatique de Scénarios Hiérarchiques Multimédia avec des Choix Interactifs). PhD thesis, University of Bordeaux, France, 2015. [ DBLP ]
[Duq14] Luis Fernando Pino Duque. Efficient Verification and New Reasoning Techniques for Concurrent Constraint Programming. (Vérification Efficace Et Nouvelles Techniques De Raisonnement Pour La Programmation Concurrente Par Contraintes). PhD thesis, École Polytechnique, Palaiseau, France, 2014. [ DBLP ]
[Tor12] Mauricio Toro. Structured Interactive Scores: From a simple description of an interactive scenario to a real-time capable implementation with formal semantics. PhD thesis, University of Bordeaux, France, 2012. [ DBLP ]
[P.12] Andrés A. Aristizábal P. Bisimulation Techniques and Algorithms for Concurrent Constraint Programming. (Techniques de Bisimulation et Algorithmes pour la Programmation Concurrente par Contraintes). PhD thesis, École Polytechnique, Palaiseau, France, 2012. [ DBLP ]
[Gut11b] Julian Gutierrez. On bisimulation and model-checking for concurrent systems with partial order semantics. PhD thesis, University of Edinburgh, UK, 2011. [ DBLP ]
[Rod11] Alejandro Arbelaez Rodriguez. Learning during search. (Apprendre durant la recherche combinatoire). PhD thesis, University of Paris-Sud, Orsay, France, 2011. [ DBLP ]
[Ara09] J. Aranda. On the Expressivity of Infinite and Local Behaviour in Fragments of the Pi-calculus. PhD thesis, l'X, Ecole Polytechnique (France) and Universidad del Valle (Colombia), 2009.
[ bib | .pdf | Abstract ]
[Ola09] C. Olarte. Universal Temporal Concurrent Constraint Programming. PhD thesis, l'X, Ecole Polytechnique, 2009.
[ bib | .pdf | Abstract ]
[Sar08] G. Sarria. Formal Models of Timed Musical Processes. PhD thesis, Universidad del Valle, 2008.
[ bib | .pdf | Abstract ]
[Que06] L. O. Quesada. Solving Constrained Graph Problems using Reachability Constraints based on Transitive Closure and Dominators. PhD thesis, Université catholique de Louvain, 2006.
[ bib | .pdf ]
[Val03] F. D. Valencia. Temporal Concurrent Constraint Programming. PhD thesis, BRICS, 2003.
[ bib | .pdf | Abstract ]

Informal Proceedings

[AP09] J. Aranda, and J. A.Perez. Languages for Concurrency Featuring Quantitative Information: An Overview and New Perspectives. The ALP Newsletter. Association for Logic Programming (ALP). Vol. 22, No. 1. Mar. 2009.
[ bib | .pdf | Abstract ]
[AGP06] A. Arbelaez, J. Gutierrez, and J. A.Perez. Timed CCP in Systems Biology. The ALP Newsletter. Association for Logic Programming (ALP). Vol. 19, No. 4. Nov-Dec. 2006.
[ bib | .pdf | Abstract ]
[ALR05b] A. Aristizabal, H. A. Lopez, and C. Rueda. Using a Declarative Process Language for P2P Protocols. ALP Newsletter, November 2005. More info at url http://www.cs.kuleuven.ac.be/ dtai/projects/ALP/newsletter/.
[ bib | .pdf | Abstract ]

Technical Reports

[MP17a] Claudio Antares Mezzina and Jorge A. Pérez. Causally consistent reversible choreographies. CoRR, abs/1703.06021, 2017. [ DBLP ]
[MPT17] Juan David Arcila Moreno, Santiago Passos, and Mauricio Toro. On-line assembling mitochondrial DNA from de novo transcriptome. CoRR, abs/1706.02828, 2017. [ DBLP ]
[RPT17] Juan Manuel Ciro Restrepo, Andrés Felipe Zapata Palacio, and Mauricio Toro. Assembling sequences of DNA using an on-line algorithm based on debruijn graphs. CoRR, abs/1705.05105, 2017. [ DBLP ]
[TD17] Mauricio Toro and Myriam Desainte-Catherine. Concurrent constraint conditional-branching timed interactive scores. CoRR, abs/1705.02861, 2017. [ DBLP ]
[TDA17] Mauricio Toro, Myriam Desainte-Catherine, and Antoine Allombert. Modeling temporal constraints for a system of interactive scores. CoRR, abs/1705.01651, 2017. [ DBLP ]
[KRM17] Mansur Khazeev, Víctor Rivera, and Manuel Mazzara. Initial steps towards assessing the usability of a verification tool. CoRR, abs/1704.05008, 2017. [ DBLP ]
[LLRM17b] Andrei Lebedev, JooYoung Lee, Víctor Rivera, and Manuel Mazzara. Link prediction using top-k shortest distances. CoRR, abs/1705.02936, 2017. [ DBLP ]
[MKM+17] Manuel Mazzara, Kevin Khanda, Ruslan Mustafin, Víctor Rivera, Larisa Safina, and Alberto Sillitti. Microservices science and engineering. CoRR, abs/1706.07350, 2017. [ DBLP ]
[RLMJ17] Víctor Rivera, JooYoung Lee, Manuel Mazzara, and Leonard Johard. Translating event-b machines to eiffel programs. CoRR, abs/1706.04578, 2017. [ DBLP ]
[JRML17] Leonard Johard, Víctor Rivera, Manuel Mazzara, and JooYoung Lee. Self-adaptive node-based PCA encodings. CoRR, abs/1708.04498, 2017. [ DBLP ]
[MBM+17] Kizilov Mikhail, Antonio Bucchiarone, Manuel Mazzara, Larisa Safina, and Víctor Rivera. Domain objects and microservices for systems development: a roadmap. CoRR, abs/1709.10255, 2017. [ DBLP ]
[DOP16] Joëlle Despeyroux, Carlos Olarte, and Elaine Pimentel. Hybrid and subexponential linear logics technical report. CoRR, abs/1608.08779, 2016. [ DBLP ]
[FGOP16b] Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, and Catuscia Palamidessi. Slicing concurrent constraint programs. CoRR, abs/1608.05252, 2016. [ DBLP ]
[PAT16] Catalina Patiño-Forero, Mateo Agudelo-Toro, and Mauricio Toro. Planning system for deliveries in medellín. CoRR, abs/1611.04156, 2016. [ DBLP ]
[Tor16] Mauricio Toro. Probabilistic extension to the concurrent constraint factor oracle model for music improvisation. CoRR, abs/1602.02169, 2016. [ DBLP ]
[LNN16b] Hugo A. López, Flemming Nielson, and Hanne Riis Nielson. A theory of available-by-design communicating systems. CoRR, abs/1611.05651, 2016. [ DBLP ]
[ABLP16b] Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk. Environmental bisimulations for delimited-control operators with dynamic prompt generation. CoRR, abs/1611.09626, 2016. [ DBLP ]
[BKM+16b] Alexey Bandura, Nikita Kurilenko, Manuel Mazzara, Víctor Rivera, Larisa Safina, and Alexander Tchitchigin. Jolie community on the rise. CoRR, abs/1609.09718, 2016. [ DBLP ]
[KRMT16] Mansur Khazeev, Víctor Rivera, Manuel Mazzara, and Alexander Tchitchigin. Usability of autoproof: a case study of software verification. CoRR, abs/1605.01663, 2016. [ DBLP ]
[NMR16] Alexandr Naumchev, Bertrand Meyer, and Víctor Rivera. Unifying requirements and code: an example. CoRR, abs/1602.05395, 2016. [ DBLP ]
[Riv16] Víctor Rivera. Code generation for event-b. CoRR, abs/1602.02004, 2016. [ DBLP ]
[TSM+16] Alexander Tchitchigin, Larisa Safina, Manuel Mazzara, Mohamed Elwakil, Fabrizio Montesi, and Víctor Rivera. Refinement types in jolie. CoRR, abs/1602.06823, 2016. [ DBLP ]
[TDC15] Mauricio Toro, Myriam Desainte-Catherine, and Julien Castet. An extension of interactive scores for multimedia scenarios with temporal relations for micro and macro controls. CoRR, abs/1510.03090, 2015. [ DBLP ]
[Tor15b] Mauricio Toro. Structured interactive music scores. CoRR, abs/1508.05559, 2015. [ DBLP ]
[Tor15a] Mauricio Toro. Concurrent constraint machine improvisation: Models and implementation. CoRR, abs/1510.02840, 2015. [ DBLP ]
[Tor15c] Mauricio Toro. Towards non-threaded concurrent constraint programming for implementing multimedia interaction systems. CoRR, abs/1510.03057, 2015. [ DBLP ]
[TDB15] Mauricio Toro, Myriam Desainte-Catherine, and Pascal Baltazar. A model for interactive scores with temporal constraints and conditional branching. CoRR, abs/1510.02836, 2015. [ DBLP ]
[BCD+15b] Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, and Hugo Torres Vieira. Combining behavioural types with security analysis. CoRR, abs/1510.02229, 2015. [ DBLP ]
[KPY15b] Dimitrios Kouzapas, Jorge A. Pérez, and Nobuko Yoshida. Core higher-order session processes: Tractable equivalences and relative expressiveness. CoRR, abs/1502.02585, 2015. [ DBLP ]
[TRAA15b] Mauricio Toro, Camilo Rueda, Carlos Agón, and Gérard Assayag. NTCCRT: A concurrent constraint framework for real-time interaction (extended version). CoRR, abs/1510.02834, 2015. [ DBLP ]
[TRAA15a] Mauricio Toro, Camilo Rueda, Carlos Agón, and Gérard Assayag. Gelisp: A library to represent musical csps and search strategies. CoRR, abs/1510.02828, 2015. [ DBLP ]
[PON14b] Elaine Pimentel, Carlos Olarte, and Vivek Nigam. A proof theoretic study of soft concurrent constraint programming. CoRR, abs/1405.2329, 2014. [ DBLP ]
[CP14] Luís Caires and Jorge A. Pérez. A typeful characterization of multiparty structured conversations based on binary sessions. CoRR, abs/1407.4242, 2014. [ DBLP ]
[FOP13] Moreno Falaschi, Carlos Olarte, and Catuscia Palamidessi. Abstract interpretation of temporal concurrent constraint programs. CoRR, abs/1312.2552, 2013. [ DBLP ]
[CRW13] Néstor Cataño, Camilo Rueda, and Tim Wahls. A machine-checked proof for a translation of event-b machines to JML. CoRR, abs/1309.2339, 2013. [ DBLP ]
[ABPV12b] Andrés Aristizábal, Filippo Bonchi, Luis Fernando Pino, and Frank D. Valencia. Partition refinement for bisimilarity in CCP. CoRR, abs/1212.1548, 2012. [ DBLP ]
[Gut10] Julian Gutierrez. Logics and games for true concurrency. CoRR, abs/1011.1172, 2010. [ DBLP ]
[Tor09c] M. Toro. Towards a correct and efficient implementation of simulation and verification tools for Probabilistic ntcc, AVISPA Research Group and Pontificia Universidad Javeriana, August 2009.
[ bib | .pdf | Abstract ]
[Tor09b] M. Toro, C. Rueda, C. Agon, G. Assayag. GELISP: A library to represent musical CSPs and search strategies, AVISPA Research Group, IRCAM and Pontificia Universidad Javeriana, May 2009.
[ bib | .pdf | Abstract ]
[Tor08] M. Toro. Exploring the possibilities and limitations of Concurrent Programming for Multimedia Interaction and Visual Programming for Musical Constraint Satisfaction Problems. AVISPA Research Group, IRCAM and Pontificia Universidad Javeriana, December 2008.
[ bib | .pdf | Abstract ]
[ALR05] A. Aristizabal, H. A. Lopez, and C. Rueda. Tiempo, Listas negras y Seguridad en SPL. Technical report, AVISPA Research Group, Pontificia Universidad Javeriana, February 2005.
[ bib | .pdf | Abstract ]
[ALR+05] A. Aristizabal, H. A. Lopez, C. Rueda, and F. D. Valencia. Process Calculi for the Verification of Security Properties of Communication Protocols for Peer-to-Peer systems. Technical report, AVISPA Research Group, Pontificia Universidad Javeriana, February 2005.
[ bib | .pdf | Abstract ]
[SD03] G. Sarria, and J. Diago. OpenMusic for Linux and MacOS X. Technical report, AVISPA Research Group, IRCAM and Pontificia Universidad Javeriana, September 2003.
[ bib | .pdf | Abstract ]

 
grupos/avispa/publications_repository.txt · Última modificación: 2017/10/23 04:06 por jearias
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki