Rapid Prototyping of an Estelle Simulator The Formal Description, Contributions à ouvrages (avec comité de lecture), 1989. ,
HTSPN: an Experiment in Formal Modeling of Multimedia Applications Coded, MHEG or Java, Invited paper, Design Management of Multimedia Information Systems: Opportunities and Challenges, S.M.Rahman, Idea Group Publishing, pp.380-411, 2001. ,
Conception et spécification par objets du contrôle centralisé d'un système de transmission, Réseaux et Informatique Répartie, vol.2, pp.17-20, 1992. ,
ESTIM: an integrated environment for the simulation and verification of OSI protocols, Computer Networks and ISDN Systems, vol.25, pp.83-98, 1992. ,
Towards a Formal Specification of Multimedia Synchronization Scenarios, Annales des Télécommunications, pp.5-6297, 1994. ,
de Saqui-Sannes, Modeling Logical and Temporal Synchronization in Hypermedia Systems, IEEE Journal on Selected Areas in Communications, vol.14, pp.184-103, 1996. ,
an Integration for Real-time System Validation, ASS 04] L. Apvrille, P. de Saqui-Sannes, P. Sénac, C. Lohr, Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System, Automated Software Engineering, pp.1029-1042, 2002. ,
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit, IEEE Transactions on Software Engineering, vol.30, issue.7, pp.473-487, 2004. ,
DOI : 10.1109/TSE.2004.34
TURTLE-P: a UML Profile for the Formal Validation of Critical and Distributed Applications, Journal of Software and System Modeling, 2005. ,
ESTIM : an Interpreter for the Simulation of Estelle descriptions, Conférences internationales avec comité de programme et actes publiés chez un éditeur 1st International Conference on Formal Description Techniques (FORTE'88) ,
From the simulation to the verification of Estelle specifications, Invited paper, 2nd Int, Formal Description Techniques II, pp.524-541393, 1989. ,
Experience in using ESTELLE* for the specification and verification of a field bus protocol : FIP, COMNET'90, Computer Networking, 1990. ,
Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'91), pp.65-98, 1991. ,
An extension of the multi-way synchronization mechanism concealed by ESTELLE, 11th IFIP Symposium on Protocol Specification, Testing and Verification, pp.68-79, 1991. ,
Basic synchronisation concepts in multimedia systems, 3rd IEEE Int. Workshop on Network and Operating System Support for Digital Audio and Video, pp.85-96, 1992. ,
Towards multimedia communication services, 4th Workshop on Future Trends of Distributed Computing Systems, pp.83-89, 1993. ,
Un modèle formel pour la spécification de la synchronisation multimédia en environnement distribué, CFIP'93 (Colloque Francophone sur l, Ingénierie des Protocoles), 1993. ,
Resource Synchronization Specification and Modeling Based on Timed Stream Petri Nets, ISMM International Conference Distributed Multimedia Systems and Applications, Hawaii, pp.171-175, 1994. ,
Verification by abstraction as a preamble for interoperability test suite generation, Protocol Specification, Testing and Verification (PSTV), pp.145-160, 1994. ,
Hierachical Time Stream Petri Net: a Model for Hypermedia Systems, 16th International Conference on Application and Theory of Petri Nets, pp.451-470 ,
A formal framework for the specification, analysis and generation of standardized hypermedia documents, Proceedings of the Third IEEE International Conference on Multimedia Computing and Systems, pp.399-406, 1996. ,
DOI : 10.1109/MMCS.1996.535005
Une approche formelle pour le développement de documents hypermédias normalisés, Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'96), pp.393-407, 1996. ,
A design methodology for the formal specification and verification of hypermedia documents, FORTE- PSTV'98, Formal Description Techniques and Protocol Specification, pp.163-178, 1998. ,
Expérimentation d'outils pédagogiques destinés à l'ingénierie des protocoles, CFIP'99 (Colloque Francophone sur l, Ingénierie des Protocoles), pp.49-63, 1999. ,
A formal environment for the specification and design of multimedia synchronisation scenarios, 4th Int. Workshop on Network and Operating System Support for Digital Audio and Video, pp.77-82, 1993. ,
A New UML Profile for Real-Time System Formal Design and Validation, 4th Int. Conf. on the Unified Modeling Language LNCS 2185ASS 01] L. Apvrille, P de Saqui-Sannes, P. Sénac, M. Diaz, Formal Modeling and Validation of Space-Based Software in the Context of Dynamic Reconfiguration, conference on DAta Systems in Aerospace (DASIA'2001), pp.287-301, 2001. ,
DOI : 10.1007/3-540-45441-1_22
Vers une intégration informel/formel au service de la validation de systèmes temps réel, Colloque Francophone sur la Modélisation des Systèmes Réactifs), pp.513-528, 2001. ,
Reconfiguration dynamique de protocoles embarqués à bord de satellites, pp.441-454, 2002. ,
TURTLE-P : un profil UML pour la validation d'architectures distribuées, CFIP'2003 (Colloque Francophone sur l'Ingénierie des Protocoles), pp.17-42, 2003. ,
New Operators for the TURTLE Real-Time UML Profile, FMOODS'03, LNCS 2884, pp.214-228, 2003. ,
Synthèse d'une conception UML temps-réel à partir de diagrammes de séquences in R. Castanet (éd ,
Validation de spécifications RT- LOTOS Une interface vers l'outil TINA, accepté pour publication à MSR'05 ,
DOI : 10.3166/jesa.39.271-286
URL : http://oatao.univ-toulouse.fr/2158/1/De_Saqui_Sannes_2158.pdf
From RT-LOTOS to Time Petri Nets : New Foundantions for a Verification Platform, accepted for publication at SEFM'05 ,
Conception et Spécification par objets du contrôle centralisé d'un système de transmission, MCSEAI'92, Conférences internationales avec comité de programme et actes à diffusion restreinte, 1992. ,
modèle formel pour la spécification et la vérification de systèmes temps-réels, Real-Time Systems (RTS'94), pp.35-46, 1994. ,
Un modèle formel unificateur pour les systèmes temps réels, Real-Time and Embedded Systems (RTS & ES'96), pp.11-12197, 1996. ,
General Purpose vs. Message Passing Specification Methods : a Case Study with Statecharts and Estelle on an Avionics Systems, International Symposium on Dynamic Modeling of Information Systems (ISDMIS'97), 1997. ,
Teaching Estelle: Lessons from Experience, 1998. ,
Formal Validation of RT- LOTOS Specifications: New Directions and Preliminary Results, Progress Session, 2004. ,
Some Impacts of the Estelle Approach for the Specification and Verification of OSI Protocols, Conférences nationales avec comité de programme et actes à diffusion restreinte 1st Maghrebin Conference on Artificial Intelligence and Software Engineering, 1989. ,
Utilizando Estelle* para a especifiacacao e verificacao de um protocolo para redes locais industriais : FIP, 8° Congresso Brasileiro de Automatica, pp.591-598, 1990. ,
Design Formal Specification and Validation of Centralized and Distributed Control in a Transmission System, 1991. ,
ESTIM : An Interpretative Machine for the Simulation of Estelle Descriptions, 1986. ,
ESTIM : an Interpreter for the Simulation of Estelle Descriptions, ESPRIT-SEDOS, vol.115, 1987. ,
Note on the Integration of the Rendez-Vous mechanism in Estelle, ESPRIT-SEDOS-Estelle-Demonstrator, 1987. ,
Synchronisation multimedia Terminologie et concepts de base, Contrat CNET FT N°92.1B.178. Lot 2, 1993. ,
Spécification en Estelle d'un sous ensemble du protocole de transport haute vitesse XTP et mesures de performances, p.59, 1993. ,
Evaluation de la méthodologie Estelle pour le test d'applications réparties, 1993. ,
Modèles pour la synchronisation multimédia et relations entre modèles, 1994. ,
Evaluation de performances de protocoles de communications, Vérification et mise en oeuvre des réseaux de Petri, Hermes Science, issue.11, pp.357-384, 2003. ,
Assigning Programs to Meanings, Theoretical Computer Science, vol.126, pp.183-235, 1994. ,
Formal methods for specification and analysis of communication protocols, IEEE Communications Surveys & Tutorials, vol.4, issue.1, 2002. ,
DOI : 10.1109/COMST.2002.5341329
UPPAAL?a tool suite for automatic verification of real-time systems, Proc. of the DIMACS/SYCON workshop on Hybrid systems III: verification and control: verification and control, 1996. ,
Modeling and Verification of Time-Dependant Distributed Systems Using Time Petri Nets, IEEE Transactions on Software Engineering, vol.17, pp.3259-273, 1991. ,
The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, pp.142741-2756, 2004. ,
DOI : 10.1137/0216062
The Specification language MONDEL, Object-Oriented Databases: Modelling and Specification of Applications in the field of Network Management, 1989. ,
Specifications of a Simplified Transport Protocol Using Different Formal Description Techniques, Computer Networks, vol.18, issue.5, 1990. ,
Testing Time on Model-Driven Test Generation for Nondeterministic Real-Time Systems, Int. Conf. on Application of Concurrency to System Design, 2004. ,
The ESTEREL language, Proceedings of the IEEE, 1991. ,
DOI : 10.1109/5.97299
URL : https://hal.archives-ouvertes.fr/inria-00075075
LUSTRE: A Declarative Language for Programming Synchronous Systems, 1987. ,
Une plateforme de validation multiprotocoles et multi-services ? résultats d'expérimentation, CFIP'03 (Colloque Francophone sur l, Ingénierie des Protocoles)Hermès, 2003. ,
Use of E-LOTOS in Adding Formality to UML, Journal of Universal Computer Science, vol.6, issue.11, pp.1071-1087, 2000. ,
Algayres, Petri Nets are Good for Protocols, Computer Communication Review, vol.14, p.2, 1984. ,
How Could Estelle Become a Better FDT?, PSTV'87 (Protocol Specification Testing and Verification, 1987. ,
Contribution à la description formelle de protocoles, Thèse d'Etat, Institut National, 1987. ,
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique, Computer Communications, vol.23, issue.12, pp.1104-1123, 2000. ,
DOI : 10.1016/S0140-3664(99)00240-6
SEDOS: Designing Open Distributed Software, IEEE Software, vol.6, issue.6, 1989. ,
DOI : 10.1109/52.41647
The CESAME project. Formal Design of High Speed Multimedia Co-operative Systems, La Recherche Annales des Télécommunications, vol.24, pp.1126-1127, 1993. ,
Composition temporelle et réseaux de Petri à flux autonomes, Les Réseaux de Petri. Modèles fondamentaux, Hermes Science, Traité IC2 Information-Commande-Communication, pp.199-219, 2001. ,
Angelika Votintseva A discretetime UML semantics for concurrency and communication in safety-critical applications In Science of Computer Programming, 2005. ,
SPT ??? The SDL Pattern Tool, Proceedings of SAM'04, 4 th SDL and MSC Workshop, 2004. ,
DOI : 10.1007/978-3-540-31810-1_4
Real-Time UML Tutorial, OMG Real-Time and Embedded Distributed Object Computing Workshop, 2002. ,
A Multi-formalism Approach for the Validation of UML Models, Formal Aspects of Computing, pp.228-230, 2001. ,
A UML Model for Session Management in Collaborative Design for Space Activities, 8th European Concurrent Engineering Conference (ECEC'2001), 2001. ,
Timed Wp-Method: Testing Real- Time Systems, IEEE Transactions on Software Engineering, vol.28, issue.11, 2002. ,
A Guided Method for Testing Timed Input Output Automata, Conference on Testing Communication Systems (TestCom'2003), 2003. ,
Spécification et mise en oeuvre d'un protocole de transport orienté Qualité de Service pour les applications multimédias, Doctorat de l'Institut National Polytechnique, 2003. ,
Objectifs de test pour systèmes temporisés, CFIP'03 (Colloque Francophone sur l'Ingénierie des Protocoles), 2003. ,
Test selection based on finite state models, IEEE Transactions on Software Engineering, vol.17, issue.6, 1991. ,
DOI : 10.1109/32.87284
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.8341
Signal--A data flow-oriented language for signal processing, IEEE Transactions on Acoustics, Speech, and Signal Processing, vol.34, issue.2, 1986. ,
DOI : 10.1109/TASSP.1986.1164809
URL : https://hal.archives-ouvertes.fr/inria-00076178
Validating Timed UML models by Simulation and Verification, to appear in Software Tools For Technology Transfer, 2005. ,
A Real-Time UML profile, submitted for publication to Software Tools For Technology Transfer, 2005. ,
Connectivity Testing Through Model- Checking Formal Techniques for Networked and Distributed Systems, pp.167-184, 2004. ,
Towards the Harmonisation of UML and SDL, Formal Techniques for Networked and Distributed Systems, 2004. ,
Using the Model Paradigm for Real-Time Systems Development: ACCORD/UML, Proceedings of the Advances in Object-Oriented Information Systems OOIS 2002, pp.260-269 ,
DOI : 10.1007/3-540-46105-1_30
UML for Real-Time, 2003. ,
DOI : 10.1007/0-306-48738-1_2
Hypothèses pyrrhoniennes sur le génie logiciel pour les télécommunications, mémoire d'Habilitation à Diriger les Recherches, 2000. ,
Issues in Mapping from UML Real-Time Profile to OSEK API, 2003. ,
The Model Checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, pp.279-295, 1997. ,
Towards Formal Support for UML-based Development of Embedded Systems The Netherlands, Proceedings of PROGRESS 2002, pp.339-352, 1988. ,
Vers l'utilisation d'outils de validation de protocoles dans UML, Techniques et Sciences Informatiques, vol.15, issue.11, pp.1-15, 1998. ,
Modeling Communications protocols using the Unified Modeling Language Intelligent Systems and Technologies for the New Millenium, 2000. ,
Secure Systems Development with UML, 2004. ,
Datagram Congestion Protocol, IETF draft, 2005. ,
DOI : 10.17487/rfc4340
A design framework for highly available communication systems, Computer Standards & Interfaces, vol.14, issue.5-6, pp.375-391, 1993. ,
DOI : 10.1016/0920-5489(92)90003-V
A Timed LOTOS supporting a dense time domain and including new timed operators, FORTE'92 Programming Real- Time Applications with Signal, th International Conference on Formal Description techniques, pp.1321-1336, 1991. ,
Combining UML and formal notations for modelling real-time systems, Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, 2001. ,
Embedded UML, Proceedings of the ninth international symposium on Hardware/software codesign , CODES '01, 2001. ,
DOI : 10.1145/371636.371660
Formal Composition of Distributed Scenarios, Formal Techniques for Networked and Distributed Systems, pp.213-228, 2004. ,
Un cadre pour l'ingénierie des exigences avec des scénarios, 1996. ,
Time consistency of MSC-2000 specifications, Computer Networks, vol.42, issue.3, pp.303-322, 2003. ,
DOI : 10.1016/S1389-1286(03)00245-7
Exploiting Automatic Analysis of E- Commerce Protocols, 25th Annual Computer Software and Application Conference, 2001. ,