Jeanine Souquières
According to our database1,
Jeanine Souquières
authored at least 50 papers
between 1985 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
1985
1990
1995
2000
2005
2010
2015
0
1
2
3
4
5
6
7
8
9
10
1
6
1
1
2
1
1
1
1
1
1
1
3
2
2
5
1
1
3
2
1
2
2
2
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns.
Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019
2018
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation.
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018
2017
Ingénierie des Systèmes d Inf., 2017
2016
Proceedings of the Actes du XXXIVème Congrès INFORSID, Grenoble, France, May 31, 2016
2014
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014
2013
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013
2012
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012
2009
Proceedings of the Advances in Software Engineering Techniques, 2009
2008
Tech. Sci. Informatiques, 2008
Innov. Syst. Softw. Eng., 2008
Ingénierie des Systèmes d Inf., 2008
ERCIM News, 2008
e Informatica Softw. Eng. J., 2008
Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants.
Obj. Logiciel Base données Réseaux, 2008
Proceedings of the Formal Methods for Industrial Critical Systems, 2008
Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008
Proceedings of the Algebraic Methodology and Software Technology, 2008
2007
Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007
Proceedings of the Reliable Software Technologies, 2007
2006
Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006
An Operator-based Approach to Incremental Development of Conform Protocol State Machines.
Proceedings of the Workshop "Trustworthy Software" 2006, 2006
2005
Proceedings of the International Workshop on Formal Aspects of Component Software, 2005
Validation of UML static diagrams using B.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005
Verifying the compatibility of component interfaces using the B formal method.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005
2004
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004
2003
2002
Proceedings of the Integrated Formal Methods, Third International Conference, 2002
Proceedings of the Formal Methods and Software Engineering, 2002
Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B.
Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002
2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
Integrating UML and B Specification Techniques.
Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001
2000
Proceedings of the Language Constructs for Describing Features, 2000
1999
Proceedings of the FM'99 - Formal Methods, 1999
Proceedings of the Conceptual Modeling, 1999
1998
Proceedings of the 9th International Workshop on Software Specification and Design, 1998
A Heuristic Approach to Detect Feature Interactions in Requirements.
Proceedings of the Feature Interactions in Telecommunications and Software Systems V, September 29, 1998
1997
Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997
Proceedings of the Algebraic Methodology and Software Technology, 1997
1996
Proceedings of the 8th International Workshop on Software Specification and Design, 1996
Proceedings of the Algebraic Methodology and Software Technology, 1996
1995
1993
Proceedings of IEEE International Symposium on Requirements Engineering, 1993
A Development Model: Application to Z Specifications.
Proceedings of the Information System Development Process, 1993
1992
Proceedings of the 5th Annual Workshop of the Psychology of Programming Interest Group, 1992
1987
Proceedings of the ESEC '87, 1987
1985
Sci. Comput. Program., 1985
Sci. Comput. Program., 1985