The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Ernesto Pimentel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
    Abstract Model Checking and Refinement of Temporal Logic in aSPIN. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:245-246 [Conf]
  2. Juan M. Molina-Bravo, Ernesto Pimentel
    Semantics for Modules in Functional-Logic Programming. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:259-270 [Conf]
  3. F. J. Duran, Ernesto Pimentel, José M. Troya
    Comunicacion entre objetos mediante la unificacion de canales logicos. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (2), 1994, pp:147-160 [Conf]
  4. Pablo López, Ernesto Pimentel
    A Lazy Splitting System for Forum. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:247-258 [Conf]
  5. Pablo López, Ernesto Pimentel
    Hypothetical Reasoning with Substructural Logics. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:485-496 [Conf]
  6. Ernesto Pimentel, José M. Troya
    L2||O2: Operational and Declarative Semantics. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1992, pp:174-188 [Conf]
  7. Antonio Brogi, Carlos Canal, Ernesto Pimentel
    Behavioural Types and Component Adaptation. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:42-56 [Conf]
  8. José M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya
    Deriving hard real-time embedded systems implementations directly from SDL specifications. [Citation Graph (0, 0)][DBLP]
    CODES, 2001, pp:128-133 [Conf]
  9. Antonio Brogi, Carlos Canal, Ernesto Pimentel
    Measuring Component Adaptation. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2004, pp:71-86 [Conf]
  10. 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. [Citation Graph (0, 0)][DBLP]
    CSL, 2002, pp:167-182 [Conf]
  11. Antonio J. Nebro, Ernesto Pimentel, José M. Troya
    Applying Distributed Shared Memory Techniques for Implementing Distributed Objects. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1997, pp:499-506 [Conf]
  12. Antonio J. Nebro, Ernesto Pimentel, José M. Troya
    Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1997, pp:567-571 [Conf]
  13. Mariemma Inmaculada Yagüe del Valle, Antonio Mana, Javier Lopez, Ernesto Pimentel, José M. Troya
    Secure Content Distribution for Digital Libraries. [Citation Graph (0, 0)][DBLP]
    ICADL, 2002, pp:483-494 [Conf]
  14. Javier Lopez, Antonio Mana, Ernesto Pimentel, José M. Troya, Mariemma Inmaculada Yagüe del Valle
    Access Control Infrastructure for Digital Objects. [Citation Graph (0, 0)][DBLP]
    ICICS, 2002, pp:399-410 [Conf]
  15. Juan M. Molina-Bravo, Ernesto Pimentel
    Modularity in Functional-Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:183-197 [Conf]
  16. Manuel Díaz, Ernesto Pimentel, José M. Troya
    A Declarative Environment for Distributed Programming. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:163-169 [Conf]
  17. Antonio J. Nebro, Ernesto Pimentel, José M. Troya
    Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    ISCOPE, 1998, pp:167-174 [Conf]
  18. 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. [Citation Graph (0, 0)][DBLP]
    JISBD, 2000, pp:229-240 [Conf]
  19. Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya
    Coordinación de Componentes Distribuidos: un Enfoque Generativo Basado en Arquitectura del Software. [Citation Graph (0, 0)][DBLP]
    JISBD, 1999, pp:443-454 [Conf]
  20. Ernesto Pimentel, Ana M. Roldán
    Componentes Software en Linda, Un caso de estudio. [Citation Graph (0, 0)][DBLP]
    JISBD, 2002, pp:363-374 [Conf]
  21. Pablo López, Ernesto Pimentel
    Resource Management in Linear Logic Search Revisited. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:304-319 [Conf]
  22. Ernesto Pimentel, José M. Troya
    Compositionality Issues of Concurrent Object-Oriented Logic Languages. [Citation Graph (0, 0)][DBLP]
    PARLE, 1993, pp:529-540 [Conf]
  23. José M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya
    SDL and hard real time systems: new design and analyze techniques. [Citation Graph (0, 0)][DBLP]
    SAM, 2000, pp:92-107 [Conf]
  24. María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
    Refinement of LTL Formulas for Abstract Model Checking. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:395-410 [Conf]
  25. 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. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:241-0 [Conf]
  26. Antonio Mana, Ernesto Pimentel
    An Efficient Software Protection Scheme. [Citation Graph (0, 0)][DBLP]
    SEC, 2001, pp:385-402 [Conf]
  27. Ernesto Pimentel
    L2||O2: A Concurrent Object-oriented Logic Language. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:665- [Conf]
  28. María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
    Applying Data Abstraction to XML Formal Designs. [Citation Graph (0, 0)][DBLP]
    SNPD, 2003, pp:315-321 [Conf]
  29. María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
    alpha SPIN: Extending SPIN with Abstraction. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:254-258 [Conf]
  30. María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Nuñez, Ernesto Pimentel
    PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:57-66 [Conf]
  31. Pablo López, Ernesto Pimentel
    Proof-Theoretic Foundation of Hypothetical Reasoning. [Citation Graph (0, 0)][DBLP]
    WFLP, 2000, pp:268-282 [Conf]
  32. Carlos Canal, Ernesto Pimentel, José M. Troya
    Specification and Refinement of Dynamic Software Architectures. [Citation Graph (0, 0)][DBLP]
    WICSA, 1999, pp:107-126 [Conf]
  33. Miguel Katrib, Damian Fernandez, Ernesto Pimentel
    Synchronizing Java Threads Using Assertions. [Citation Graph (0, 0)][DBLP]
    TOOLS (31), 1999, pp:51-60 [Conf]
  34. Manuela Carrillo-Castellon, Jesús García Molina, Ernesto Pimentel
    Eiffel-like Assertions and Private Methods in Smalltalk. [Citation Graph (0, 0)][DBLP]
    TOOLS (13), 1994, pp:479-488 [Conf]
  35. José M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya
    An Object-oriented Methodology for Embedded Real-time Systems. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2003, v:46, n:2, pp:123-145 [Journal]
  36. Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo
    Extending CORBA Interfaces with Protocols. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2001, v:44, n:5, pp:448-462 [Journal]
  37. Manuel Díaz, Ernesto Pimentel, José M. Troya
    DROL: A Distributed and Real-Time Object-Oriented Logic Environment. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1994, v:37, n:5, pp:407-421 [Journal]
  38. Juan M. Molina-Bravo, Ernesto Pimentel
    Composing Programs in a Rewriting Logic for Declarative Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  39. María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
    Abstract Model Checking of tccp programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:19-36 [Journal]
  40. Antonio Brogi, Carlos Canal, Ernesto Pimentel
    Soft component adaptation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:85, n:3, pp:- [Journal]
  41. Antonio Brogi, Carlos Canal, Ernesto Pimentel
    On the specification of software adaptation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:47-65 [Journal]
  42. Antonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo
    Formalizing Web Service Choreographies. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:105, n:, pp:73-94 [Journal]
  43. 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. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:1-2 [Journal]
  44. Antonio Brogi, Ernesto Pimentel
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:4, pp:- [Journal]
  45. Antonio Brogi, Ernesto Pimentel, Ana M. Roldán
    Compatibility of Linda-based Component Interfaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:4, pp:- [Journal]
  46. María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
    A Tool for Abstraction in Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:2, pp:- [Journal]
  47. María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
    Comparing Under and Over-Approximations of LTL Properties for Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
  48. Pablo López, Ernesto Pimentel, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova
    Isolating Resource Consumption in Linear Logic Proof Search. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal]
  49. Ana M. Roldán, Ernesto Pimentel, Antonio Brogi
    Safe Composition of Linda-based Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:6, pp:- [Journal]
  50. Silvia Amaro, Ernesto Pimentel, Ana M. Roldán
    Reo Based Interaction Model. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:3-14 [Journal]
  51. María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
    A generalized semantics of PROMELA for abstract model checking. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:3, pp:166-193 [Journal]
  52. Antonio Mana, Javier Lopez, Juan J. Ortega, Ernesto Pimentel, José M. Troya
    A framework for secure execution of software. [Citation Graph (0, 0)][DBLP]
    Int. J. Inf. Sec., 2004, v:3, n:2, pp:99-112 [Journal]
  53. Manuela Carrillo-Castellon, Jesús García Molina, Ernesto Pimentel, Israel Repiso
    Design by Contract in Smalltalk. [Citation Graph (0, 0)][DBLP]
    JOOP, 1996, v:9, n:7, pp:23-28 [Journal]
  54. María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
    Debugging UML Designs with Model Checking. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2002, v:1, n:2, pp:101-117 [Journal]
  55. Silvia Amaro, Ernesto Pimentel, Ana M. Roldán
    Coordinating Behavioral Descriptions of Components. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:10, pp:1676-1694 [Journal]
  56. María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
    Verifying Real-Time Properties of tccp Programs. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:11, pp:1551-1573 [Journal]
  57. José M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya
    Integrating Schedulability Analysis and Design Techniques in SD. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2003, v:24, n:3, pp:267-302 [Journal]
  58. Antonio Brogi, Carlos Canal, Ernesto Pimentel
    Component adaptation through flexible subservicing. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:63, n:1, pp:39-56 [Journal]
  59. Antonio Brogi, Carlos Canal, Ernesto Pimentel
    On the semantics of software adaptation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:61, n:2, pp:136-151 [Journal]
  60. Antonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel
    Preface. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:61, n:2, pp:73-74 [Journal]
  61. Carlos Canal, Ernesto Pimentel, José M. Troya
    Compatibility and inheritance in software architectures. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2001, v:41, n:2, pp:105-138 [Journal]
  62. María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Nuñez, Ernesto Pimentel
    PiXL: Applying xml standards to support the integration of analysis tools for protocols. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:65, n:1, pp:57-69 [Journal]
  63. Juan Hernández, Ernesto Pimentel, José Ambrosio Toval Álvarez
    Report on the ninth conference on Software Engineering and Databases (JISBD 2004). [Citation Graph (0, 0)][DBLP]
    SIGMOD Record, 2005, v:34, n:2, pp:59-61 [Journal]
  64. María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
    aSPIN: A tool for abstract model checking. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:2-3, pp:165-184 [Journal]
  65. María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
    A semantic framework for the abstract model checking of tccp programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:346, n:1, pp:58-95 [Journal]
  66. Juan M. Molina-Bravo, Ernesto Pimentel
    Composing Programs in a Rewriting Logic for Declarative Programming. [Citation Graph (0, 0)][DBLP]
    TPLP, 2003, v:3, n:2, pp:189-221 [Journal]
  67. Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo
    Adding Roles to CORBA Objects. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:3, pp:242-260 [Journal]
  68. Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel
    Context-Based Adaptation of Component Behavioural Interfaces. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2007, pp:305-323 [Conf]
  69. Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel
    Dynamic Contextual Adaptation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:2, pp:81-95 [Journal]
  70. Silvia Amaro, Ernesto Pimentel, Ana M. Roldán
    A Preliminary Comparative Study on the Expressive Power of Reo and Linda. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:2, pp:3-19 [Journal]
  71. Antonio Brogi, Carlos Canal, Ernesto Pimentel
    Behavioural Types for Service Integration: Achievements and Challenges. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:2, pp:41-54 [Journal]
  72. Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:2, pp:1-2 [Journal]

  73. ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. [Citation Graph (, )][DBLP]


  74. A formalization of the SMEPP model in Maude. [Citation Graph (, )][DBLP]


  75. Towards a Model-Based Approach for Context-Aware Composition and Adaptation: A Case Study using WF/.NET. [Citation Graph (, )][DBLP]


  76. Integración de software: métodos formales para coordinar y adaptar componentes y servicios. [Citation Graph (, )][DBLP]


  77. Modelado de sistemas P2P con control de excepciones. [Citation Graph (, )][DBLP]


  78. Composition of Self-Adapting Components for Customizable Systems. [Citation Graph (, )][DBLP]


  79. Software composition with Linda. [Citation Graph (, )][DBLP]


  80. Handling Data-Based Concurrency in Context-Aware Service Protocols [Citation Graph (, )][DBLP]


  81. An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. [Citation Graph (, )][DBLP]


  82. Preface. [Citation Graph (, )][DBLP]


  83. A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. [Citation Graph (, )][DBLP]


  84. A Service-Oriented Model for Embedded Peer-to-Peer Systems. [Citation Graph (, )][DBLP]


  85. Dinapter: Automatic Adapter Specification for Software Composition. [Citation Graph (, )][DBLP]


  86. Automatic Generation of Adaptation Contracts. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.459secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002