| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez |
Conceptual framework for business processes compositional verification.  |
Information & Software Technology  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksander González, Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Edumilis Maria Méndez, Kenyer Domínguez |
BTRANSFORMER - A Tool for BPMN to CSP+T Transformation. |
ICEIS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Aleksander González, Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez |
Implementing a Transformation from BPMN to CSP+T with ATL: Lessons Learnt. |
IVM/FTMDD/RTSOABIS/MSVVEIS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Markus Helfert, Mouzhi Ge, Luís Ferreira Pires, Slimane Hammoudi, Farouk Toumani, Valérie Monfort, Wassim Jaziri, Manuel I. Capel Tuñón, Chunping Li (eds.) |
IVM, FTMDD, RTSOABIS & MSVVEIS 2011 - Proceedings of the International Joint Workshop on Information Value Management, Future Trends of Model-Driven Development, Recent Trends in SOA Based Information Systems and Modelling and Simulation, Verification and Validation of Enterprise Information Systems, In conjunction with ICEIS 2011, Beijing, China, June, 2011 |
IVM/FTMDD/RTSOABIS/MSVVEIS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez |
Compositional Verification of Business Processes by Model-Checking. |
MSVVEIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez |
A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes. |
ICEIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez |
Compositional Verification of Business Processes Modelled with BPMN. |
ICEIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Juan Garbajosa Sopeña, Manuel I. Capel Tuñón (eds.) |
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, In conjunction with ICEIS 2010, Funchal, Madeira, Portugal, June 2010 |
MSVVEIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Luis E. Mendoza Morales, Manuel I. Capel |
Automatic Compositional Verification of Business Processes. |
ICEIS |
2009 |
DBLP DOI BibTeX RDF |
Model-Checking, Verification, Formal Methods, Business Process Modelling, Task Model |
| 1 | Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Kawtar Benghazi Akhlaki |
Compositional Model-Checking Verification of Critical Systems. |
ICEIS |
2008 |
DBLP DOI BibTeX RDF |
Critical software systems, Model-checking, Formal methods, Case study, Compositional verification |
| 1 | Luis Eduardo Mendoza, Manuel I. Capel, Kawtar Benghazi Akhlaki |
Towards the Correctness Verifcation of Business Processes Modelled with UML. |
JISBD |
2008 |
DBLP BibTeX RDF |
|
| 1 | Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez, Kawtar Benghazi Akhlaki |
A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems. |
ICEIS (3-1) |
2008 |
DBLP BibTeX RDF |
|
| 1 | Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales |
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales |
Towards UML-RT Behavioural Consistency. |
ICEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Luis E. Mendoza Morales, Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki |
Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics. |
ICEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales |
An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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. |
JISBD |
2006 |
DBLP BibTeX RDF |
|
| 1 | Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza |
Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications. |
ICEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales |
Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mario Rossainz López, Manuel I. Capel Tuñón |
An Approach to Structured Parallel Programming Based on a Composition. |
CONIELECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ICEIS |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón |
Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real- Time Systems. |
IEC (Prague) |
2005 |
DBLP BibTeX RDF |
|
| 1 | Manuel I. Capel Tuñón, Mario Rossainz López |
Design and Use of the CPAN Branch & Bound for the Solution of the Travelling Salesman Problem (TSP). |
CONIELECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel I. Capel, José R. Balsas, Juan Antonio Holgado Terriza |
Systematic Design of Real-Time Systems Based on CSP+T Process Algebra. |
VVEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Manuel I. Capel Tuñón, Mario Rossainz López |
A Parallel Programming Methodology based on High Level Parallel Compositions (CPANs). |
CONIELECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel J. Hornos, Manuel I. Capel |
On-the-fly model checking from interval logic specifications. |
SIGPLAN Notices |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel J. Hornos, Manuel I. Capel |
Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic. |
ACSD |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
JISBD |
2001 |
DBLP BibTeX RDF |
|
| 1 | 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. |
PDP |
1997 |
DBLP BibTeX RDF |
|
| 1 | F. Araque, Manuel I. Capel, A. Palma, Jose M. Mantas Ruiz |
Paradigms for Parallel Distributed Programming. |
PDPTA |
1996 |
DBLP BibTeX RDF |
|
| 1 | Manuel I. Capel, José M. Troya |
An Object-Based Tool and Methodological Approach for Distributed Programming. |
Software - Concepts and Tools |
1994 |
DBLP BibTeX RDF |
|
| 1 | Manuel I. Capel, José M. Troya, A. Palma |
Distributed active objects: A methodological proposal and tool for distributed programming with transputer systems. |
Microprocessing and Microprogramming |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel I. Capel, José M. Troya, A. Palma |
A Methodological Scheme and Tool for Program Transformation with Transputer Systems. |
PARCO |
1993 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")