| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Ernesto Pimentel María Alpuente , María-del-Mar Gallardo , Ernesto Pimentel, Alicia Villanueva : Abstract Model Checking of tccp programs. Electr. Notes Theor. Comput. Sci. 112 : 19-36 (2005) Silvia Amaro , Ernesto Pimentel, Ana M. Roldán : Coordinating Behavioral Descriptions of Components. J. UCS 11 (10): 1676-1694 (2005) Juan Hernández , Ernesto Pimentel, José Ambrosio Toval Álvarez : Report on the ninth conference on Software Engineering and Databases (JISBD 2004). SIGMOD Record 34 (2): 59-61 (2005) María Alpuente , María-del-Mar Gallardo , Ernesto Pimentel, Alicia Villanueva : A semantic framework for the abstract model checking of tccp programs. Theor. Comput. Sci. 346 (1): 58-95 (2005) Antonio Brogi , Carlos Canal , Ernesto Pimentel: Behavioural Types and Component Adaptation. AMAST 2004 : 42-56 Antonio Brogi , Carlos Canal , Ernesto Pimentel: Measuring Component Adaptation. COORDINATION 2004 : 71-86 Antonio Brogi , Carlos Canal , Ernesto Pimentel, Antonio Vallecillo : Formalizing Web Service Choreographies. Electr. Notes Theor. Comput. Sci. 105 : 73-94 (2004) Antonio Brogi , Jean-Marie Jacquet , Ernesto Pimentel: Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003. Electr. Notes Theor. Comput. Sci. 97 : 1-2 (2004) Antonio Brogi , Carlos Canal , Ernesto Pimentel: On the specification of software adaptation. Electr. Notes Theor. Comput. Sci. 97 : 47-65 (2004) María-del-Mar Gallardo , Pedro Merino , Ernesto Pimentel: A generalized semantics of PROMELA for abstract model checking. Formal Asp. Comput. 16 (3): 166-193 (2004) Antonio Mana , Javier Lopez , Juan J. Ortega , Ernesto Pimentel, José M. Troya : A framework for secure execution of software. Int. J. Inf. Sec. 3 (2): 99-112 (2004) María-del-Mar Gallardo , Jesús Martínez , Pedro Merino , Ernesto Pimentel: aSPIN: A tool for abstract model checking. STTT 5 (2-3): 165-184 (2004) Ernesto Pimentel, Nieves R. Brisaboa , Jaime Gómez : VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante JISBD 2003 María-del-Mar Gallardo , Jesús Martínez , Pedro Merino , Ernesto Pimentel: Abstract Model Checking and Refinement of Temporal Logic in aSPIN. ACSD 2003 : 245-246 María-del-Mar Gallardo , Jesús Martínez , Pedro Merino , Ernesto Pimentel: Applying Data Abstraction to XML Formal Designs. SNPD 2003 : 315-321 José M. Álvarez , Manuel Díaz , Luis Llopis , Ernesto Pimentel, José M. Troya : An Object-oriented Methodology for Embedded Real-time Systems. Comput. J. 46 (2): 123-145 (2003) Ana M. Roldán , Ernesto Pimentel, Antonio Brogi : Safe Composition of Linda-based Components. Electr. Notes Theor. Comput. Sci. 82 (6): (2003) Antonio Brogi , Carlos Canal , Ernesto Pimentel: Soft component adaptation. Electr. Notes Theor. Comput. Sci. 85 (3): (2003) Carlos Canal , Lidia Fuentes , Ernesto Pimentel, José M. Troya , Antonio Vallecillo : Adding Roles to CORBA Objects. IEEE Trans. Software Eng. 29 (3): 242-260 (2003) José M. Álvarez , Manuel Díaz , Luis Llopis , Ernesto Pimentel, José M. Troya : Integrating Schedulability Analysis and Design Techniques in SD. Real-Time Systems 24 (3): 267-302 (2003) Juan M. Molina-Bravo , Ernesto Pimentel: Composing Programs in a Rewriting Logic for Declarative Programming. TPLP 3 (2): 189-221 (2003) Joshua S. Hodas , Pablo López , Jeffrey Polakow , Lubomira Stoilova , Ernesto Pimentel: A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming. CSL 2002 : 167-182 Mariemma Inmaculada Yagüe del Valle , Antonio Mana , Javier Lopez , Ernesto Pimentel, José M. Troya : Secure Content Distribution for Digital Libraries. ICADL 2002 : 483-494 Javier Lopez , Antonio Mana , Ernesto Pimentel, José M. Troya , Mariemma Inmaculada Yagüe del Valle : Access Control Infrastructure for Digital Objects. ICICS 2002 : 399-410 Ernesto Pimentel, Ana M. Roldán : Componentes Software en Linda, Un caso de estudio. JISBD 2002 : 363-374 María-del-Mar Gallardo , Pedro Merino , Ernesto Pimentel: Refinement of LTL Formulas for Abstract Model Checking. SAS 2002 : 395-410 María-del-Mar Gallardo , Jesús Martínez , Pedro Merino , Ernesto Pimentel: alpha SPIN: Extending SPIN with Abstraction. SPIN 2002 : 254-258 Juan M. Molina-Bravo , Ernesto Pimentel: Composing Programs in a Rewriting Logic for Declarative Programming CoRR cs.LO/0203006 : (2002) María-del-Mar Gallardo , Jesús Martínez , Pedro Merino , Ernesto Pimentel: A Tool for Abstraction in Model Checking. Electr. Notes Theor. Comput. Sci. 66 (2): (2002) Antonio Brogi , Ernesto Pimentel, Ana M. Roldán : Compatibility of Linda-based Component Interfaces. Electr. Notes Theor. Comput. Sci. 66 (4): (2002) Antonio Brogi , Ernesto Pimentel: Preface. Electr. Notes Theor. Comput. Sci. 66 (4): (2002) Pablo López , Ernesto Pimentel, Joshua S. Hodas , Jeffrey Polakow , Lubomira Stoilova : Isolating Resource Consumption in Linear Logic Proof Search. Electr. Notes Theor. Comput. Sci. 70 (2): (2002) María-del-Mar Gallardo , Pedro Merino , Ernesto Pimentel: Comparing Under and Over-Approximations of LTL Properties for Model Checking. Electr. Notes Theor. Comput. Sci. 76 : (2002) María-del-Mar Gallardo , Pedro Merino , Ernesto Pimentel: Debugging UML Designs with Model Checking. Journal of Object Technology 1 (2): 101-117 (2002) José M. Álvarez , Manuel Díaz , Luis Llopis , Ernesto Pimentel, José M. Troya : Deriving hard real-time embedded systems implementations directly from SDL specifications. CODES 2001 : 128-133 Antonio Mana , Ernesto Pimentel: An Efficient Software Protection Scheme. SEC 2001 : 385-402 Carlos Canal , Lidia Fuentes , Ernesto Pimentel, José M. Troya , Antonio Vallecillo : Extending CORBA Interfaces with Protocols. Comput. J. 44 (5): 448-462 (2001) Carlos Canal , Ernesto Pimentel, José M. Troya : Compatibility and inheritance in software architectures. Sci. Comput. Program. 41 (2): 105-138 (2001) José M. Álvarez , Manuel Díaz , Luis Llopis , Ernesto Pimentel, José M. Troya : Una Metodología de Desarrollo Orientada a Objtos para Sistemas Empotrados de Tiempo Real. JISBD 2000 : 229-240 José M. Álvarez , Manuel Díaz , Luis Llopis , Ernesto Pimentel, José M. Troya : SDL and hard real time systems: new design and analyze techniques. SAM 2000 : 92-107 Pablo López , Ernesto Pimentel: Proof-Theoretic Foundation of Hypothetical Reasoning. WFLP 2000 : 268-282 Pablo López , Ernesto Pimentel: Hypothetical Reasoning with Substructural Logics. APPIA-GULP-PRODE 1999 : 485-496 Carlos Canal , Lidia Fuentes , Ernesto Pimentel, José M. Troya : Coordinación de Componentes Distribuidos: un Enfoque Generativo Basado en Arquitectura del Software. JISBD 1999 : 443-454 Pablo López , Ernesto Pimentel: Resource Management in Linear Logic Search Revisited. LPAR 1999 : 304-319 José M. Álvarez , Manuel Díaz , Luis Llopis , Ernesto Pimentel, José M. Troya : Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems. SDL Forum 1999 : 241- Carlos Canal , Ernesto Pimentel, José M. Troya : Specification and Refinement of Dynamic Software Architectures. WICSA 1999 : 107-126 Antonio J. Nebro , Ernesto Pimentel, José M. Troya : Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages. ISCOPE 1998 : 167-174 Pablo López , Ernesto Pimentel: A Lazy Splitting System for Forum. APPIA-GULP-PRODE 1997 : 247-258 Juan M. Molina-Bravo , Ernesto Pimentel: Semantics for Modules in Functional-Logic Programming. APPIA-GULP-PRODE 1997 : 259-270 Antonio J. Nebro , Ernesto Pimentel, José M. Troya : Applying Distributed Shared Memory Techniques for Implementing Distributed Objects. ECOOP Workshops 1997 : 499-506 Antonio J. Nebro , Ernesto Pimentel, José M. Troya : Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming. Euro-Par 1997 : 567-571 Juan M. Molina-Bravo , Ernesto Pimentel: Modularity in Functional-Logic Programming. ICLP 1997 : 183-197 Manuela Carrillo-Castellon , Jesús García Molina , Ernesto Pimentel, Israel Repiso : Design by Contract in Smalltalk. JOOP 9 (7): 23-28 (1996) F. J. Duran , Ernesto Pimentel, José M. Troya : Comunicacion entre objetos mediante la unificacion de canales logicos. GULP-PRODE (2) 1994 : 147-160 Manuel Díaz , Ernesto Pimentel, José M. Troya : DROL: A Distributed and Real-Time Object-Oriented Logic Environment. Comput. J. 37 (5): 407-421 (1994) Ernesto Pimentel: L2||O2: A Concurrent Object-oriented Logic Language. ILPS 1993 : 665 Ernesto Pimentel, José M. Troya : Compositionality Issues of Concurrent Object-Oriented Logic Languages. PARLE 1993 : 529-540 Ernesto Pimentel, José M. Troya : L2||O2: Operational and Declarative Semantics. ALPUK 1992 : 174-188 Manuel Díaz , Ernesto Pimentel, José M. Troya : A Declarative Environment for Distributed Programming. IFIP Congress (1) 1992 : 163-169 1 [ 56 ] [ 59 ] 2 [ 57 ] 3 [ 15 ] [ 20 ] [ 21 ] [ 25 ] [ 40 ] [ 44 ] 4 [ 58 ] 5 [ 47 ] 6 [ 29 ] [ 30 ] [ 42 ] [ 43 ] [ 51 ] [ 52 ] [ 53 ] [ 54 ] [ 55 ] 7 [ 14 ] [ 17 ] [ 22 ] [ 23 ] [ 41 ] [ 42 ] [ 51 ] [ 53 ] [ 54 ] [ 55 ] 8 [ 7 ] 9 [ 1 ] [ 5 ] [ 15 ] [ 20 ] [ 21 ] [ 25 ] [ 40 ] [ 44 ] 10 [ 6 ] 11 [ 17 ] [ 23 ] [ 41 ] 12 [ 26 ] [ 27 ] [ 31 ] [ 33 ] [ 34 ] [ 45 ] [ 46 ] [ 48 ] [ 50 ] [ 56 ] [ 59 ] 13 [ 47 ] 14 [ 57 ] 15 [ 28 ] [ 38 ] 16 [ 52 ] 17 [ 15 ] [ 20 ] [ 21 ] [ 25 ] [ 40 ] [ 44 ] 18 [ 36 ] [ 37 ] [ 49 ] 19 [ 12 ] [ 16 ] [ 18 ] [ 19 ] [ 28 ] [ 38 ] 20 [ 24 ] [ 36 ] [ 37 ] [ 49 ] 21 [ 31 ] [ 33 ] [ 45 ] [ 46 ] [ 48 ] 22 [ 26 ] [ 27 ] [ 31 ] [ 33 ] [ 34 ] [ 45 ] [ 46 ] [ 48 ] [ 50 ] 23 [ 7 ] 24 [ 8 ] [ 11 ] [ 32 ] [ 39 ] 25 [ 9 ] [ 10 ] [ 13 ] 26 [ 49 ] 27 [ 28 ] [ 38 ] 28 [ 7 ] 29 [ 30 ] [ 35 ] [ 43 ] [ 58 ] 30 [ 28 ] [ 38 ] 31 [ 1 ] [ 2 ] [ 3 ] [ 5 ] [ 6 ] [ 9 ] [ 10 ] [ 13 ] [ 14 ] [ 15 ] [ 17 ] [ 20 ] [ 21 ] [ 22 ] [ 23 ] [ 25 ] [ 36 ] [ 37 ] [ 40 ] [ 41 ] [ 44 ] [ 49 ] 32 [ 36 ] [ 37 ] 33 [ 23 ] [ 41 ] [ 53 ] 34 [ 56 ] [ 59 ]  ©2006 Association for Computing Machinery |
