Xavier Crégut
According to our database1,
Xavier Crégut
authored at least 36 papers
between 1997 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
1998
2000
2002
2004
2006
2008
2010
2012
2014
2016
0
1
2
3
4
5
6
1
1
1
1
1
2
1
1
2
2
1
2
4
1
1
2
3
3
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Proceedings of the 13th Workshop on Model-Driven Engineering, 2016
Concurrency-aware Executable Domain-Specific Modeling Languages as Models of Concurrency.
Proceedings of the 2nd International Workshop on Executable Modeling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016
2015
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015
Proceedings of the 1st International Workshop on Executable Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015
2014
Proceedings of the Model and Data Engineering - 4th International Conference, 2014
2013
Proceedings of the Model-Driven Engineering Languages and Systems, 2013
Proceedings of the Model and Data Engineering - Third International Conference, 2013
2012
Time properties dedicated transformation from UML-MARTE activity to time transition system.
ACM SIGSOFT Softw. Eng. Notes, 2012
Proceedings of the International Workshop on Language Descriptions, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012
Formal Specification and Verification of Task Time Constraints for Real-Time Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012
2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011
2010
Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010
2009
Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification.
J. Softw., 2009
2008
Proceedings of the Model Driven Engineering Languages and Systems, 2008
Proceedings of the Model Driven Architecture, 2008
2007
Obj. Logiciel Base données Réseaux, 2007
Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study.
Proceedings of the ICEIS 2007, 2007
Proceedings of the Enterprise Information Systems, 9th International Conference, 2007
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007
2006
Towards Rigorous Metamodeling.
Proceedings of the Model-Driven Enterprise Information Systems, 2006
Modélisation rigoureuse en SPEM de procédé de développement.
Proceedings of the Actes des journéees Langages et Modèles à Objets, 2006
Towards a Rigorous Process Modeling with SPEM.
Proceedings of the ICEIS 2006, 2006
2005
Softw. Process. Improv. Pract., 2005
Obj. Logiciel Base données Réseaux, 2005
A Multi-Agent Approach to a SPEM-based Modeling and Enactment of Software Development Processes.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005
2003
Proceedings of the Actes de la Première Conférence Internationale RIVF'03 Rencontres en Informatique Vietnam-France, 2003
Towards a View Based Unified Modeling Language.
Proceedings of the ICEIS 2003, 2003
2001
Managing Processes through Base of Reusable Components.
Proceedings of the ICEIS 2001, 2001
2000
RHODES, A Process Component Centered Software Engineering Environment.
Proceedings of the ICEIS 2000, 2000
1999
Réalisation en Eiffel d'un atelier de génie logiciel centré procédé.
Obj. Logiciel Base données Réseaux, 1999
1997
PBOOL: an Object-Oriented Language for Definition and Reuse of Enactable Processes.
Softw. Concepts Tools, 1997
Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997