A. M. Hoole, I. Traoré, I. Simplot-Ryl. Application of Contract-based Security Assertion Monitoring Framework for Telecommunications Software Engineering. Accepted for publication in Mathematical and Computer Modelling.
I. Simplot-Ryl, I. Traoré, P. Everaere. Distributed Architectures for Electronic Cash Schemes: A Survey . International Journal of Parallel, Emergent and Distributed Systems (IJPEDS) 24, 3(2009), 243-271.
X. Li, A. Nayak, I. Ryl and D. Simplot. On Secure Mobile Ad hoc Routing. Ad Hoc & Sensor Wireless Networks journal 4, 3 (2007), 229-254.
G. Grimaud, Y. Hodique, I. Simplot-Ryl. On the Use of metatypes for safe embedded operating system extension. International Journal of Parallel, Emergent and Distributed Systems (IJPEDS) 22, 1 (2007), 1--13.
A. Bailly, M. Clerbout, and I. Simplot-Ryl. Component composition preserving behavioural contracts based on
communication traces. Theoretical Computer Science 363, 2 (2006), 108-123.
D. Deville, Y. Hodique, and I. Simplot-Ryl. Safe Collaboration in
Extensible Operating Systems: A study on real-time extensions.
International Journal of Computers and Aplications 27(1), 20-26
(2005).
M. Clerbout, Y. Roos, and I. Ryl. Synchronization Languages
and rewriting systems. Information and Computation 167 (2001),
46--69.
M. Clerbout, Y. Roos, and I. Ryl. Semi-commutations and
Partial Commutations. R.A.I.R.O. --- Theoretical
Informatics and Applications 34, 4 (July--August 2000), 307--330.
M. Clerbout, Y. Roos, and I. Ryl. Synchronization languages.
Theoretical Computer Science 215, 1-2 (1999), 99-121.
Conferences and workshops
D. Ghindici, I. Simplot-Ryl, and J.-M. Talbot. A sound analysis for secure information flow using abstract memory graphs. 3rd IPM International Conference on Fundamentals of Software Engineering, FSEN 2009, Revised Selected Papers, Kish Island, Iran, April 15-17, 2010, vol. 5961 of LNCS, pp. 355--370.
X. Li, N. Mitton, I. Ryl, and D. Simplot. Localized Sensor Self-Deployment with Coverage Guarantee in Complex Environment. 8th International Conference on Ad-Hoc Networks & Wireless (AdHoc-Now 2009), Murcia, Spain, 2009, vol. 5793 of LNCS, pp. 138--151.
A. Ghaddar, T. Razafindralambo, I. Simplot-Ryl, D. Simplot-Ryl, and S. Tawbi. Algorithmes pour l'estimation des données dans les réseaux de capteurs. 11ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (ALGOTEL 2009), Carry-Le-Rouet, France, 2009.
X. Li, N. Mitton, I. Ryl, and D. Simplot. A Novel Sensor Localization Scheme by Mobile Actors [Poster abstract]. 10th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc 2009), New orleans, USA, 2009, ACM, pp. 339-340.
A. M. Hoole, I. Simplot-Ryl, and I. Traoré. Integrating contract-based security monitors in the software development life cycle. 2nd Workshop on Formal Languages and Analysis of Contract-Oriented Software, Malta, November 27--28, 2008. Invited.
D. Ghindici, and I. Simplot-Ryl. "On Practical Information Flow Policies for Java-Enabled Multiapplication Smart Cards". 8th Smart Card research and Advanced Application IFIP Conference (CARDIS 2008), Ehgam, UK, September 8--11, 2008, vol. 5189 of LNCS, pp. 32--47.
Xu Li, K. Lu, N. Santoro, I. Simplot-Ryl, and I. Stojmenovic. "Alternative Date Gathering Schemes for Wireless Sensor Networks". International Conference on Relations, Orders anD Graphs: Interaction with Computer Science (ROGICS), Mahdia, Tunisia, 2008, pp. 577--586.
N. Bel Hadj Aissa, D. Ghindici, G. Grimaud, and I. Simplot-Ryl. Contracts as a support to static analysis of open systems. 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS), Oslo, October 9-10, 2007. Invited talk.
G. Grimaud, Y. Hodique, and I. Simplot-Ryl. A verifiable lightweight escape analysis supporting creational
design patterns for small embedded systems. Proc. of the 2007 IEEE International Symposium on Ubisafe Computing (UbiSafe-07),
Canada, May 21-23, 2007, pp. 440--447, IEEE CS Press.
D. Ghindici, G. Grimaud, I. Simplot-Ryl. An information flow verifier for small embedded systems. Proc. Workshop in Information Security Theory and Practices 2007, Smart Cards, Mobile and Ubiquitous Computing Systems, May 9--11, 2007 , vol. 4462 of LNCS, pp. 189--201.
X. Li, A. Nayak, I. Ryl, D. Simplot, and I. Stojmenovic. Secure Mobile Ad hoc Routing. Proc. of the AINA 2007 Third IEEE International Workshop on Heterogeneous Wireless Networks (HWISE 2007). , Canada, 2007, pp. 737-742, IEEE CS Press.
M. Hauspie and I. Simplot-Ryl. Enhancing nodes cooperation in ad
hoc networks. Fourth Annual Conference on Wireless On demand
Network Systems and Services. Obergurgl, Austria, 2007, pp. 130-137, IEEE Press.
D. Ghindici, G. Grimaud, I. Simplot-Ryl, I. Traore, and Y. Liu.
Integrated Security Verification and Validation: Case Study.
Proc. of the Second IEEE LCN Workshop on Network Security (WoNS
2006), in conjunction with the 31st Annual IEEE Conference on
Local Computer Networks (LCN 2006), Tampa, Florida,
Nov. 2006.
D. Ghindici, G. Grimaud, and I. Simplot-Ryl. Embedding verifiable information flow analysis. Proc. 4th Annual Conference on Privacy, Security and Trust (PST 2006), (Toronto, Canada, 2006), McGraw-Hill, pp. 343-352.
I. Simplot-Ryl, and D. Simplot-Ryl. Connectivity preservation and
key distribution in wireless sensor networks using multi-deployment
scheme. Proc. 3rd Int. Conference on Ubiquitous Intelligence and
Computing (UIC06), vol.
4159 of Lecture Notes in Computer Science, Springer-Verlag, pp.
988-997.
G. Grimaud, Y. Hodique, and I. Simplot-Ryl. Can small and open embedded systems benefit from escape analysis?. Proc. of ECOOP Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2006), Nantes, France.
M. Hauspie and I. Simplot-Ryl. Cooperation in ad hoc networks:
Enhancing the virtual currency based models. Proc. of the 1st
International Conference on Integrated Internet Ad hoc and Sensor
Networks (InterSense 2006), vol. 138 of ACM International
Conference Proceeding Series, ACM Press, Nice, France, 2006.
A. Bailly, M. Clerbout, and I. Simplot-Ryl. Component Composition
Preserving Behavioural Contracts Based on Communication Traces.
Proc. of Tenth International Conference on Implementation and
Application of Automata (CIAA 2005), Nice, France, vol. 3845 of Lecture
Notes in Computer Science, 2006, pp. 54-65.
G. Grimaud, Y. Hodique, and I. Simplot-Ryl. Secure extensible
type system for efficient embedded operating system by using
metatypes. Proc. of First International Workshop on System and
Networking for Smart Objects (SaNSO 2005), of the 11th
International Conference on Parallel and Distributed Systems
(Fukuoka, Japan, 2005), vol. 2, IEEE Computer Society, pp. 83-87.
E. B. Johnsen, O. Owe, and I. Simplot-Ryl. A Dynamic Class
Construct for Asynchronous Concurrent Objects. In
Proc. 7th IFIP International Conference on Formal
Methods for Object-based Distrubuted Systems (FMOODS
2005), (Athens, Greece, 2005), Martin Steffen and
Gianluigi Zavattaro, Eds., vol. 3535 of Lecture
Notes in Computer Science, Springer-Verlag, Berlin,
pp. 15-30.
I. Simplot-Ryl, M. Clerbout, and A. Bailly. STAC: Communication
traces based specifictions and tests of software components. In
Proc. of the 15th Nordic
Workshop on Programming Theory (NWPT'03), Turku, Finland.
A. Bailly, I. Ryl, and M. Clerbout. FIDL Spécifications
Formelles en IDL3. Langages et Modèles à Objets (LMO'2003) (Vannes,
France, 2003). L'Objet, 9, 1--2 (2003), pp. 213--225.
I. Ryl, M. Clerbout, and A. Bailly. A Component
Oriented Notation for Behavioural Specification and
Validation. In electronic Proc. of OOPSLA 2001 Specification and
Verification of Component-Based Systems Workshop (Tampa,
October 14, 2001), D. Giannakopoulou, G.T. Leavens, and
M. Sitaraman eds., TR#01-09a, Iowa state University, USA.
O. Owe, and I. Ryl. Reasoning Control in Presence of Dynamic Classes. In Proc. of the 12th Nordic
Workshop on Programming Theory (NWTP'00), October 11--13, 2000,
Bergen, Norway.
O. Owe, and I. Ryl. OUN: A formalism for Open, Object
Oriented, Distributed Systems. In Proc. of the 11th Nordic
Workshop on Programming Theory (NWTP'99), October 6--8, 1999,
Uppsala, Sweden.
O. Owe, and I. Ryl. On Combining Object Orientation,
Openness and Reliability. In Proc. of the Norsk Informatikk
Konferense NIK'99, 15--17, 1999, Trondheim, Norway.
O. Owe, and I. Ryl. An Overview of a Formalism for
Open Distributed Systems. In electronic Proc of the PLI Workshop on Object-Oriented
Specification Techniques for Distributed Systems and Behaviours
(OOSDS'99) , Paris, 1999.
I. Ryl, Y. Roos, and M. Clerbout. Generalized Synchronization Languages. In Proc.
Fundamentals of Computation Theory, 12th International Symposium
(FCT'99) (Iasi, Romania, 1999), G.Ciobanu, and Gh.Paun Eds., vol.
1684 of Lecture Notes in Computer Science, Springer-Verlag, pp.
451-462.
I. Ryl., Y. Roos, and M.
Clerbout. About Synchronization Languages. In Proc. 23rd Symposium on
Mathematical Foundations of Computer Science (MFCS'98)
(Brno, Czech Republic, 1998), L. Brim, J. Gruska, and J. Zlatuska Eds.,
vol. 1450 of Lecture Notes in Computer Science,
Springer-Verlag, Berlin, pp. 533-542.
I. Ryl., Y. Roos, and M. Clerbout Partial characterization of
synchronization languages. In Proc. 22nd Symposium on
Mathematical Foundations of Computer Science (MFCS'97)
(Bratislava, Slovakia, 1997), I. Prívara and P. Ruzicka,
Eds., vol. 1295 of Lecture Notes in Computer Science,
Springer-Verlag, Berlin, pp. 209-218.
Others
I. Simplot-Ryl. Cooperation and security in ad hoc network. First Research Workshop on Wireless Computing and Sensor Networks (WCSN), Havana, Cuba, April 2007. Invited talk.
I. Simplot-Ryl. Sûreté de fonctionnement en contexte objet, distribué et
extensible. Habilitation à diriger des recherches, L.I.F.L., Univ Lille 1, France, décembre 2006. in french.
M. Hauspie and I. Simplot-Ryl. How to negociate the price of
packet forwarding in credit-based systems for ad-hoc networks. III
Workshop on Wireless Networks and Mobile Computing, Acapulco,
Mexico, 2005. Invited talk.
O. Owe, and I. Ryl. OUN: A formalism for Open, Object
Oriented, Distributed Systems. Research report 270,
Department of Informatics, University of Oslo, Norway, 1999.
O. Owe, and I. Ryl. A Notation for Combining
Formal Reasoning, Object Orientation and Openness. Research
report 278, Department of Informatics, University of Oslo, Norway, 1999.
I. Ryl. Langages de
Synchronisation. PhD Thesis, L.I.F.L., Univ. Lille 1, France,
décembre 1998. in french.