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

2013

[CPPT13] L. Caires, J. Pérez, F. Pfenning and B. Toninho. Behavioral Polymorphism and Parametricity in Session-Based Communication. In 22st European Symposium on Programming, ESOP 2013, Rome, Italy, volume 7792/2012 of Lecture Notes in Computer Science, pages 330-349, Springer, March 2013.
[ bib | .pdf | Abstract ]

2012

[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

[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

[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

[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

[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

[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

[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

[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

[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 ]

Journals

[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 ]

Book Chapters

[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

[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

[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: 2013/03/15 18:33 por crueda
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki