The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Manuel I. Capel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Miguel J. Hornos, Manuel I. Capel
    Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic. [Citation Graph (0, 0)][DBLP]
    ACSD, 2001, pp:221-230 [Conf]
  2. Manuel I. Capel, Juan Antonio Holgado Terriza
    Transforming SA/RT Graphical Specifications into CSP+T Formalism - Obtaining a Formal Specification from Semi-Formal SA/RT Essential Models. [Citation Graph (0, 0)][DBLP]
    ICEIS (3), 2005, pp:65-72 [Conf]
  3. Miguel J. Hornos, Manuel I. Capel
    Verificación Automatizada Eficiente de Sistemas Concurrentes Especificando Sus Propiedades con Fórmalus de una Lógica de Intervalos. [Citation Graph (0, 0)][DBLP]
    JISBD, 2001, pp:375-390 [Conf]
  4. Manuel I. Capel, José M. Troya, A. Palma
    A Methodological Scheme and Tool for Program Transformation with Transputer Systems. [Citation Graph (0, 0)][DBLP]
    PARCO, 1993, pp:585-588 [Conf]
  5. F. Araque, Manuel I. Capel, A. Palma, Jose M. Mantas Ruiz
    Paradigms for Parallel Distributed Programming. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1996, pp:1027-1038 [Conf]
  6. Manuel I. Capel, José R. Balsas, Juan Antonio Holgado Terriza
    Systematic Design of Real-Time Systems Based on CSP+T Process Algebra. [Citation Graph (0, 0)][DBLP]
    VVEIS, 2004, pp:81-83 [Conf]
  7. Manuel I. Capel, Juan Antonio Holgado Terriza, Agustín Escámez
    An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2005, pp:39-48 [Conf]
  8. Agustín Escámez, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Manuel I. Capel
    CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:128-133 [Conf]
  9. Miguel J. Hornos, Manuel I. Capel
    On-the-fly model checking from interval logic specifications. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:12, pp:108-119 [Journal]
  10. Manuel I. Capel, José M. Troya
    An Object-Based Tool and Methodological Approach for Distributed Programming. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1994, v:15, n:4, pp:177-0 [Journal]
  11. Manuel I. Capel, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza
    A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification. [Citation Graph (0, 0)][DBLP]
    JISBD, 2006, pp:283-292 [Conf]
  12. F. Araque, Manuel I. Capel, Jose M. Mantas Ruiz, A. Palma
    A proposal to improve reusability in a language based on the occam-CSP model. [Citation Graph (0, 0)][DBLP]
    PDP, 1997, pp:41-46 [Conf]

  13. Automatic Compositional Verification of Business Processes. [Citation Graph (, )][DBLP]


  14. Compositional Model-Checking Verification of Critical Systems. [Citation Graph (, )][DBLP]


Search in 0.117secs, Finished in 0.118secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002