EPFL,
CEA-Saclay, 2003 - 2009:
- Scientific modeling software KNIT, user guide. I. Rychkova, V. Rychkov,
K. Kazymirenko, S. Borlenghi,
and X. Waintal (2009). Available online at: http://arxiv.org/abs/1010.2627
- Formal semantics for refinement
verification of entreprise models. Irina Rychkova, Dir.:
Alain Wegmann. Th_se
EPFL, no 4210 (2008). http://library.epfl.ch/theses/?nr=4210
- Declarative Specification and
Alignment Verification of Services in ITIL. Irina Rychkova, Gil Regev and Alain Wegmann.
First International Workshop on Dynamic and Declarative Business
Processes (DDBP 2008), Munich, Germany.
- Using Declarative Specifications
In Business Process Design.
Irina Rychkova, Gil Regev and Alain Wegmann. International Journal of Computer Science
& Applications. (2008)
- High-Level Design and Analysis of
Business Processes. The Advantages of Declarative Specifications. Irina Rychkova, Gil Regev and Alain Wegmann.
Presented at: The Second IEEE International Conference on Research
Challenges in Information Science (RCIS), Marrakech, Morocco, 3-6 June,
2008. (Best Paper Award)
- From Business to IT with SEAM:
J2EE Pet Store Example.
Irina Rychkova, Alain Wegmann, Gil Regev, and Lam-Son Le; Presented at: The 11th IEEE
International EDOC Conference, Annapolis, Maryland U.S.A., 15-19 October 2007.
- Refinement Propagation. Towards
Automated Construction of Visual Specifications. Irina Rychkova, Alain Wegmann. Presented at: International Conference on
Enterprise Information Systems (ICEIS), Funchal,
Madeira - Portugal, 12-16 june
2007.
- Formal Semantics for
Property-Property Relations in SEAM Visual Language: Towards Simulation
and Analysis of Visual Specifications. Irina Rychkova, Alain Wegmann. Presented at: Proceedings of the 5th
international workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information Systems
– MSVVEIS 2007. In conjunction with ICEIS 2007, Funchal,
Madeira - Portugal, june
2007.
- Business-IT Alignment with SEAM
for Enterprise Architecture. Wegmann, Alain; Regev, Gil; Rychkova, Irina ;
L_, Lam-Son et al. Presented at: The 11th IEEE International EDOC
Conference (EDOC 2007), Annapolis, Maryland, 15-19 October 2007.
- Teaching Enterprise and
Service-Oriented Architecture in Practice. Wegmann,
Alain; Regev, Gil; de la Cruz, Jos_ Diego; L_,
Lam-Son; Rychkova, Irina. Accepted in: Journal of Enterprise
Architecture, vol. 4, num. 3, 2007, p. 15 – 24.
- An Example of a Hierarchical
System Model Using SEAM and its Formalization in Alloy. Wegmann,
Alain ; L_, Lam-Son ; de la Cruz, Jos_ Diego ;
Rychkova, Irina et al. Presented at: 4th International Workshop on ODP
for Enterprise Computing (WODPEC 2007), Annapolis, Maryland, October 15.
- Early Requirements and Business-IT
Alignment with SEAM for Business Wegmann, Alain; Regev, Gil; Rychkova, Irina; Julia, Philippe
et al. Presented at: 15th IEEE International Requirements Engineering
Conference, New Delhi, India, October 15- 19th, 2007.
- A Method of Functional Alignment
Verification in Hierarchical Enterprise Models. Irina Rychkova, Alain Wegmann. Presented at: Workshop on Business/IT Alignment
and Interoperability (BUSITAL) in conjunction with CAiSE,
Luxembourg, june, 2006.
- A Method and Tool for Business-IT
Alignment in Enterprise Architecture. Balabko,
Pavel; Le, Lam Son; Regev,
Gil; Rychkova, Irina et al. Presented at: CAiSE`05 Forum, Porto,
Portugal. In: CAiSE`05 Forum, 2005.
- Operational ASM Semantics behind
Graphical SEAM Notation.
Balabko, Pavel; Rychkova,
Irina; Wegmann, Alain. Presented at:
DAIS/FMOODS Ph.D. workshop, Paris. In: DAIS/FMOODS Ph.D. workshop,
(2003)
|