Reza, Tahsin Arafat; Barbeau, Michel QoS aware adaptive security scheme for video streaming in MANETs. (English) Zbl 1335.94075 Garcia-Alfaro, Joaquin (ed.) et al., Foundations and practice of security. 5th international symposium, FPS 2012, Montreal, QC, Canada, October 25–26, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-37118-9/pbk). Lecture Notes in Computer Science 7743, 324-340 (2013). MSC: 94A60 68Q25 PDFBibTeX XMLCite \textit{T. A. Reza} and \textit{M. Barbeau}, Lect. Notes Comput. Sci. 7743, 324--340 (2013; Zbl 1335.94075) Full Text: DOI
Cervera, Gimer; Barbeau, Michel; Garcia-Alfaro, Joaquin; Kranakis, Evangelos Preventing the cluster formation attack against the hierarchical OLSR protocol. (English) Zbl 1303.68049 Garcia-Alfaro, Joaquin (ed.) et al., Foundations and practice of security. 4th Canada-France MITACS workshop, FPS 2011, Paris, France, May 12–13, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27900-3/pbk). Lecture Notes in Computer Science 6888, 118-131 (2012). MSC: 68P25 68M12 94A60 PDFBibTeX XMLCite \textit{G. Cervera} et al., Lect. Notes Comput. Sci. 6888, 118--131 (2012; Zbl 1303.68049) Full Text: DOI Link
Barbeau, Michel; Bose, Prosenjit; Carmi, Paz; Couture, Mathieu; Kranakis, Evangelos Location-oblivious distributed unit disk graph coloring. (English) Zbl 1215.68167 Algorithmica 60, No. 2, 236-249 (2011). MSC: 68R10 68W15 68W25 05C15 PDFBibTeX XMLCite \textit{M. Barbeau} et al., Algorithmica 60, No. 2, 236--249 (2011; Zbl 1215.68167) Full Text: DOI
Couture, Mathieu; Barbeau, Michel; Bose, Prosenjit; Carmi, Paz; Kranakis, Evangelos Location oblivious distributed unit disk graph coloring. (English) Zbl 1201.05090 Prencipe, Giuseppe (ed.) et al., Structural information and communication complexity. 14th international colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5–8, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72918-1/pbk). Lecture Notes in Computer Science 4474, 222-233 (2007). MSC: 05C85 05C15 05C62 68W15 68W25 PDFBibTeX XMLCite \textit{M. Couture} et al., Lect. Notes Comput. Sci. 4474, 222--233 (2007; Zbl 1201.05090) Full Text: DOI
Barbeau, Michel; St-Denis, Richard Beyond the verification approach: the synthesis approach. (English) Zbl 1123.68067 Ionescu, Dan (ed.) et al., Real-time-systems. Modeling, design and applications. Selected papers based on the presentations at the AMAST workshops. Hackensack, NJ: World Scientific (ISBN 981-02-4424-X/hbk). AMAST Series in Computing 8, 197-218 (2007). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{M. Barbeau} and \textit{R. St-Denis}, AMAST Ser. Comput. 8, 197--218 (2007; Zbl 1123.68067)
Pierre, Samuel (ed.); Barbeau, Michel (ed.); Kranakis, Evangelos (ed.) Ad-hoc, mobile, and wireless networks. Second international conference ADHOC-NOW 2003, Montreal, Canada, October 8–10, 2003. Proceedings. (English) Zbl 1045.68868 Lecture Notes in Computer Science 2865. Berlin: Springer (ISBN 3-540-20260-9/pbk). x, 293 p. (2003). MSC: 68U99 68-06 68M14 PDFBibTeX XMLCite \textit{S. Pierre} (ed.) et al., Ad-hoc, mobile, and wireless networks. Second international conference ADHOC-NOW 2003, Montreal, Canada, October 8--10, 2003. Proceedings. Berlin: Springer (2003; Zbl 1045.68868)
Barbeau, Michel; Bordeleau, Francis A protocol stack development tool using generative programming. (English) Zbl 1028.68671 Batory, Don (ed.) et al., Generative programming and component engineering. ACM SIGPLAN/SIGSOFT conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2487, 93-109 (2002). MSC: 68U99 68N19 PDFBibTeX XMLCite \textit{M. Barbeau} and \textit{F. Bordeleau}, Lect. Notes Comput. Sci. 2487, 93--109 (2002; Zbl 1028.68671) Full Text: Link
Makungu, Mbi; Barbeau, Michel; St.-Denis, Richard Synthesis of controllers of processes modeled as colored Petri nets. (English) Zbl 0952.93040 Discrete Event Dyn. Syst. 9, No. 2, 147-169 (1999). Reviewer: Thomas M.Liebling (Lausanne) MSC: 93B50 93C30 68Q85 93A13 PDFBibTeX XMLCite \textit{M. Makungu} et al., Discrete Event Dyn. Syst. 9, No. 2, 147--169 (1999; Zbl 0952.93040) Full Text: DOI
Barbeau, Michel; Kabanza, Froduald; St.-Denis, Richard A method for the synthesis of controllers to handle safety, liveness, and real-time constraints. (English) Zbl 0986.93040 IEEE Trans. Autom. Control 43, No. 11, 1543-1559 (1998). Reviewer: T.Riismaa (Tallinn) MSC: 93C65 93B50 93C83 68Q45 PDFBibTeX XMLCite \textit{M. Barbeau} et al., IEEE Trans. Autom. Control 43, No. 11, 1543--1559 (1998; Zbl 0986.93040) Full Text: DOI
Kabanza, F.; Barbeau, M.; St-Denis, R. Planning control rules for reactive agents. (English) Zbl 0894.68138 Artif. Intell. 95, No. 1, 67-113 (1997). MSC: 68T20 PDFBibTeX XMLCite \textit{F. Kabanza} et al., Artif. Intell. 95, No. 1, 67--113 (1997; Zbl 0894.68138) Full Text: DOI
Barbeau, M.; Kabanza, F.; St-Denis, R. An efficient algorithm for controller synthesis under full observation. (English) Zbl 0888.68064 J. Algorithms 25, No. 1, 144-161 (1997). MSC: 68W10 PDFBibTeX XMLCite \textit{M. Barbeau} et al., J. Algorithms 25, No. 1, 144--161 (1997; Zbl 0888.68064) Full Text: DOI
Barbeau, Michel; Bochmann, Gregor V. Extension of the Karp and Miller procedure to Lotos specifications. (English) Zbl 0765.68111 Computer-aided verification, Proc. 2nd Int. Conf., CAV ’90, New Brunswick/NJ (USA), Lect. Notes Comput. Sci. 531, 333-342 (1991). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{M. Barbeau} and \textit{G. V. Bochmann}, Lect. Notes Comput. Sci. 531, 333--342 (1991; Zbl 0765.68111)
Barbeau, Michel; Bochmann, Gregor V. Extension of the Karp and Miller procedure to Lotos specifications. (English) Zbl 0797.68106 Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 103-119 (1991). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{M. Barbeau} and \textit{G. V. Bochmann}, in: Computer-aided verification '90. Proceedings of a 2nd DIMACS workshop, June 18-21, 1990, Rutgers Univ., New Brunswick, NJ, USA. Providence, RI: American Mathematical Society; New York, NY: Association for Computing Machinery. 103--119 (1991; Zbl 0797.68106)