| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 7 |      | Atif Mashkoor, Jean-Pierre Jacquot: Stepwise Validation of Formal Specifications. APSEC 2011: 57-64 |
| 6 | | Atif Mashkoor, Jean-Pierre Jacquot: Guidelines for Formal Domain Modeling in Event-B. HASE 2011: 138-145 |
| 5 | | Faqing Yang, Jean-Pierre Jacquot: Scaling Up with Event-B: A Case Study. NASA Formal Methods 2011: 438-452 |
| 4 | | Atif Mashkoor, Jean-Pierre Jacquot: Utilizing Event-B for domain engineering: a critical analysis. Requir. Eng. 16(3): 191-207 (2011) |
| 2010 | ||
| 3 | | Atif Mashkoor, Jean-Pierre Jacquot: Domain Engineering with Event-B: Some Lessons We Learned. RE 2010: 252-261 |
| 2009 | ||
| 2 | | Nacer Boudjlida, Jean-Pierre Jacquot, Pascal Urso: Software Engineering Education by Example CoRR abs/0911.3306: (2009) |
| 2005 | ||
| 1 | | Dieu Donné Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquières: Consistency in UML and B Multi-view Specifications. IFM 2005: 386-405 |
| 1 | Nacer Boudjlida | [2] |
| 2 | Atif Mashkoor | [3] [4] [6] [7] |
| 3 | Dieu Donné Okalas Ossami | [1] |
| 4 | Jeanine Souquières | [1] |
| 5 | Pascal Urso | [2] |
| 6 | Faqing Yang | [5] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page