default search action

combined dblp search
author search
venue search
publication search

ask others

Jean-Pierre Jacquot

> Home > Persons

Person information

affiliation: University of Lorraine, Nancy, France

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/Jacquot24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/Jacquot24
Jean-Pierre Jacquot:
Multi-model Animation with JeB. ABZ 2024: 223-232

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c22]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/birthday/JacquotM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/JacquotM18
Jean-Pierre Jacquot, Atif Mashkoor:
The Role of Validation in Refinement-Based Formal Software Development. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 202-219
2017
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/re/MashkoorJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/MashkoorJ17
Atif Mashkoor, Jean-Pierre Jacquot:
Validation of formal specifications through transformation and animation. Requir. Eng. 22(4): 433-451 (2017)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/MashkoorYJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/MashkoorYJ17
Atif Mashkoor, Faqing Yang, Jean-Pierre Jacquot:
Refinement-based Validation of Event-B Specifications. Softw. Syst. Model. 16(3): 789-808 (2017)
2015
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tsi/Jacquot15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsi/Jacquot15
Jean-Pierre Jacquot:
Premières leçons sur la spécification d'un train d'atterrissage en B Événementiel. Tech. Sci. Informatiques 34(5): 549-573 (2015)
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/MashkoorJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/MashkoorJ15
Atif Mashkoor, Jean-Pierre Jacquot:
Observation-Level-Driven Formal Modeling. HASE 2015: 158-165
2014
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/YangJS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/YangJS14
Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières:
Proving the Fidelity of Simulations of Event-B Models. HASE 2014: 89-96
2013
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/YangJS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/YangJS13
Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières:
JeB: Safe Simulation of Event-B Models in JavaScript. APSEC (1) 2013: 571-576
2012
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/YangJS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/YangJS12
Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières:
The Case for Using Simulation to Validate Event-B Specifications. APSEC 2012: 85-90
2011
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/re/MashkoorJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/MashkoorJ11
Atif Mashkoor, Jean-Pierre Jacquot:
Utilizing Event-B for domain engineering: a critical analysis. Requir. Eng. 16(3): 191-207 (2011)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/MashkoorJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/MashkoorJ11
Atif Mashkoor, Jean-Pierre Jacquot:
Stepwise Validation of Formal Specifications. APSEC 2011: 57-64
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/MashkoorJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/MashkoorJ11
Atif Mashkoor, Jean-Pierre Jacquot:
Guidelines for Formal Domain Modeling in Event-B. HASE 2011: 138-145
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/YangJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/YangJ11
Faqing Yang, Jean-Pierre Jacquot:
Scaling Up with Event-B: A Case Study. NASA Formal Methods 2011: 438-452
2010
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/re/MashkoorJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/MashkoorJ10
Atif Mashkoor, Jean-Pierre Jacquot:
Domain Engineering with Event-B: Some Lessons We Learned. RE 2010: 252-261

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0911-3306
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0911-3306
Nacer Boudjlida, Jean-Pierre Jacquot, Pascal Urso:
Software Engineering Education by Example. CoRR abs/0911.3306 (2009)
2005
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/OssamiJS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/OssamiJS05
Dieu Donné Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquières:
Consistency in UML and B Multi-view Specifications. IFM 2005: 386-405
2004
[c12]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/pppj/Jacquot04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pppj/Jacquot04
Jean-Pierre Jacquot:
A full Java post-graduate curriculum. PPPJ 2004: 46-51
2002
[c11]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/pppj/Jacquot02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pppj/Jacquot02
Jean-Pierre Jacquot:
Which use for Java in introductory courses? PPPJ/IRE 2002: 119-124

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1997
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/JacquotQ97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/JacquotQ97
Jean-Pierre Jacquot, D. Quesnot:
Early Specification of User-Interfaces: Toward a Formal Approach. ICSE 1997: 150-160
1995
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/csee/Jacquot95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csee/Jacquot95
Jean-Pierre Jacquot:
The Process of Teaching Process. CSEE 1995: 147-156
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fple/JacquotG95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fple/JacquotG95
Jean-Pierre Jacquot, Jacques Guyard:
Requirements for an Ideal First Language. FPLE 1995: 51-63
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/re/JacquotV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/JacquotV95
Jean-Pierre Jacquot, A. Valdenaire:
Trading legibility against implementability in requirement specifications: an experimental assessment. RE 1995: 181-189
1994
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/csee/AmarBGJ94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csee/AmarBGJ94
Bernard Amar, Yves Benoit, Jacques Guyard, Jean-Pierre Jacquot:
Implication of Practitioners in a Post-Graduate Curriculum, a Successful Collaboration. CSEE 1994: 251-261
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/Jacquot94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/Jacquot94
Jean-Pierre Jacquot:
Programming Through Disciplined Modification. ICSM 1994: 362-371
1992
[c4]
- view
  - electronic edition @ ppig.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/ppig/QuesnotJ92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppig/QuesnotJ92
D. Quesnot, Jean-Pierre Jacquot:
An Environment for the Process of Design Specifications. PPIG (2) 1992: 15
1991
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/csee/JacquotG91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csee/JacquotG91
Jean-Pierre Jacquot, Jacques Guyard:
Seven Lessons to Teach Design. CSEE 1991: 195-204
1990
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/csee/JacquotGB90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csee/JacquotGB90
Jean-Pierre Jacquot, Jacques Guyard, L. Boidot:
Modeling Teamwork in an Academic Environment. CSEE 1990: 110-122

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1984
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icse/GuyardJ84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GuyardJ84
Jacques Guyard, Jean-Pierre Jacquot:
MAIDAY: An Environment for Guided Programming. ICSE 1984: 126-137

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.