default search action
Michel Barbeau
Person information
- affiliation: Carleton University, Ottawa, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j34]Randy Kuang, Maria Perepechaenko, Ryan Toth, Michel Barbeau
:
Performance comparison of quantum-safe multivariate polynomial public key encapsulation algorithm. EURASIP J. Inf. Secur. 2024(1): 23 (2024) - [j33]Michel Barbeau
Adaptable design for long range underwater communications. Wirel. Networks 30(5): 4459-4475 (2024) - [c94]Romain Dagnas, Michel Barbeau, Joaquín García, Reda Yaich:
Resilience Assessment of Multi-Layered Cyber-Physical Systems. IFIP Networking 2024: 634-639 - 2023
- [c93]Steven F. T. Porretta, Michel Barbeau, Stéphane Blouin, Evangelos Kranakis, Aaron Webstey:
A Novel Underwater Packet Flooding Protocol. CCECE 2023: 438-443 - [c92]Ahmad Traboulsi
Analysis of Experimental Data Fusion Schemes for Underwater Communication over a Hydrophone Array. CCECE 2023: 444-450 - [c91]Romain Dagnas, Michel Barbeau, Maxime Boutin, Joaquín García-Alfaro
Exploring the Quantitative Resilience Analysis of Cyber-Physical Systems. IFIP Networking 2023: 1-6 - [c90]Iain Burge
Quantum Algorithms for Shapley Value Calculation. QCE 2023: 1-9 - [c89]Mohammad Tayefe Ramezanlou, Howard Schwartz, Ioannis Lambadaris, Michel Barbeau, Syed Hassan Raza Naqvi:
Learning a Policy for Pursuit-Evasion Games Using Spiking Neural Networks and the STDP Algorithm. SMC 2023: 1918-1925 - [c88]Steven F. T. Porretta
Adaptive Virtual Carrier Sense in Underwater Broadcasting. WUWNet 2023: 24:1-24:8 - [i9]Iain Burge, Michel Barbeau, Joaquín García-Alfaro:
A Quantum Algorithm for Shapley Value Estimation. CoRR abs/2301.04727 (2023) - [i8]Michel Barbeau, Joaquín García-Alfaro, Evangelos Kranakis:
Repeated Purification versus Concatenated Error Correction in Fault Tolerant Quantum Networks. CoRR abs/2302.13791 (2023) - 2022
- [j32]Randy Kuang
A new post-quantum multivariate polynomial public key encapsulation algorithm. Quantum Inf. Process. 21(1) (2022) - [j31]Randy Kuang
Quantum permutation pad for universal quantum-safe cryptography. Quantum Inf. Process. 21(6): 211 (2022) - [j30]Michel Barbeau
Research Trends in Collaborative Drones. Sensors 22(9): 3321 (2022) - [c87]Michel Barbeau, Joaquín García-Alfaro, Christian Lübben, Marc-Oliver Pahl, Lars Wüstrich:
Resilience via Blackbox Self-Piloting Plants. C&ESAR 2022: 35-46 - [c86]Randy Kuang
Benchmark Performance of the Multivariate Polynomial Public Key Encapsulation Mechanism. CRiSIS 2022: 239-255 - [c85]Yannick Beaupré
Underwater Confidential Communications in JANUS. FPS 2022: 255-270 - [c84]Fatemeh Banaeizadeh, Michel Barbeau, Joaquín García-Alfaro
Uplink Interference Management in Cellular-Connected UAV Networks Using Multi-Armed Bandit and NOMA. LATINCOM 2022: 1-6 - [c83]Mohammad Tayefe Ramezanlou, Howard Schwartz, Ioannis Lambadaris, Michel Barbeau:
Comparison of Cellular Network Controllers for Quadrotors Experiencing Time Delay. MED 2022: 500-507 - [c82]Randy Kuang, Maria Perepechaenko, Ryan Toth, Michel Barbeau:
Benchmark Performance of a New Quantum-Safe Multivariate Polynomial Digital Signature Algorithm. QCE 2022: 454-464 - [i7]Michel Barbeau, Joaquín García-Alfaro:
Cyber-Physical Defense in the Quantum Era. CoRR abs/2202.10354 (2022) - 2021
- [j29]Michel Barbeau
Resilience Estimation of Cyber-Physical Systems via Quantitative Metrics. IEEE Access 9: 46462-46475 (2021) - [j28]Michel Barbeau
GPS-Free, Error Tolerant Path Planning for Swarms of Micro Aerial Vehicles with Quality Amplification ‡. Sensors 21(14): 4731 (2021) - [c81]Michel Barbeau
Frame Design for Adaptability in Long-Range Underwater Communication. ADHOCNETS/TRIDENTCOM 2021: 130-143 - [c80]Michel Barbeau
Risky Zone Avoidance Strategies for Drones. CCECE 2021: 1-6 - [c79]Randy Kuang
Indistinguishability and Non-deterministic Encryption of the Quantum Safe Multivariate Polynomial Public Key Cryptographic System. CCECE 2021: 1-5 - [c78]Ahmad Traboulsi
A Reverse Turing Like Test for Quad-copters. DCOSS 2021: 351-358 - [c77]Michel Barbeau
Performance of an Underwater Communication System in a Sea Trial Done in the Canadian Arctic*. MeditCom 2021: 448-453 - [c76]Fatemeh Banaeizadeh, Michel Barbeau, Joaquín García-Alfaro
Pilot Contamination Attack Detection in 5G Massive MIMO Systems Using Generative Adversarial Networks. MeditCom 2021: 479-484 - [c75]Randy Kuang
Performance Analysis of the Quantum Safe Multivariate Polynomial Public Key Algorithm. QCE 2021: 351-358 - 2020
- [c74]Michel Barbeau, Joaquín García-Alfaro
Geocaching-Inspired Navigation for Micro Aerial Vehicles with Fallible Place Recognition. ADHOC-NOW 2020: 55-70 - [c73]Michel Barbeau
Capacity Requirements in Networks of Quantum Repeaters and Terminals. QCE 2020: 148-157 - [c72]Michel Barbeau, Frédéric Cuppens, Nora Cuppens, Romain Dagnas
Metrics to Enhance the Resilience of Cyber-Physical Systems. TrustCom 2020: 1167-1172 - [e3]Abdelmalek Benzekri, Michel Barbeau
Foundations and Practice of Security - 12th International Symposium, FPS 2019, Toulouse, France, November 5-7, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12056, Springer 2020, ISBN 978-3-030-45370-1 [contents]
2010 – 2019
- 2019
- [j27]Abdel Mehsen Ahmad, Michel Barbeau
Tuning the demodulation frequency based on a normalized trajectory model for mobile underwater acoustic communications. Trans. Emerg. Telecommun. Technol. 30(12) (2019) - [c71]Michel Barbeau, Joaquín García-Alfaro:
Faking and Discriminating the Navigation Data of a Micro Aerial Vehicle Using Quantum Generative Adversarial Networks. GLOBECOM Workshops 2019: 1-6 - [c70]Michel Barbeau, Joaquín García-Alfaro
Quality Amplification of Error Prone Navigation for Swarms of Micro Aerial Vehicles. GLOBECOM Workshops 2019: 1-6 - [c69]Michel Barbeau, Joaquín García-Alfaro
Geocaching-inspired Resilient Path Planning for Drone Swarms. INFOCOM Workshops 2019: 620-625 - [i6]Michel Barbeau, Joaquín García-Alfaro, Evangelos Kranakis, Fillipe Santos:
Quality Amplification of Error Prone Navigation for Swarms of Micro Aerial Vehicles (with Detailed Simulations). CoRR abs/1906.09505 (2019) - [i5]Michel Barbeau, Joaquín García-Alfaro:
Faking and Discriminating the Navigation Data of a Micro Aerial Vehicle Using Quantum Generative Adversarial Networks. CoRR abs/1907.03038 (2019) - [i4]Michel Barbeau, Georg Carle, Joaquín García-Alfaro, Vicenç Torra:
Next Generation Resilient Cyber-Physical Systems. CoRR abs/1907.08849 (2019) - 2018
- [j26]Abdel Mehsen Ahmad, Jamil Kassem, Michel Barbeau, Evangelos Kranakis, Steven F. T. Porretta, Joaquín García
Doppler Effect in the Acoustic Ultra Low Frequency Band for Wireless Underwater Networks. Mob. Networks Appl. 23(5): 1282-1292 (2018) - [c68]Abdel Mehsen Ahmad, Michel Barbeau
Low Frequency Mobile Communications in Underwater Networks. ADHOC-NOW 2018: 239-251 - [i3]Haoye Lu, Michel Barbeau, Amiya Nayak:
No-Key Semi-Quantum Direct Communication Protocol with Low Quantum Resource Requirements. CoRR abs/1810.06337 (2018) - 2017
- [j25]Jie Huang, Michel Barbeau
Simulation and modeling of hydro acoustic communication channels with wide band attenuation and ambient noise. Int. J. Parallel Emergent Distributed Syst. 32(5): 466-485 (2017) - [j24]Wei Shi
Secure Localization in the Presence of Colluders in WSNs. Sensors 17(8): 1892 (2017) - [c67]Abdel Mehsen Ahmad, Michel Barbeau, Joaquín García-Alfaro
Doppler Effect in the Underwater Acoustic Ultra Low Frequency Band. ADHOCNETS 2017: 3-12 - [c66]Michel Barbeau, Joaquín García-Alfaro
The Sound of Communication in Underwater Acoustic Sensor Networks - (Position Paper). ADHOCNETS 2017: 13-23 - [c65]Haoye Lu, Michel Barbeau
Economic No-Key Semi-Quantum Direct Communication Protocol. GLOBECOM Workshops 2017: 1-7 - [c64]Michel Barbeau
Secure Quantum Data Communications Using Classical Keying Material. QTOP@NetSys 2017: 183-195 - [c63]Stéphane Blouin, Michel Barbeau
An Experimental Baseline for Underwater Acoustic Broadcasts. VTC Fall 2017: 1-5 - [c62]Steven F. T. Porretta, Michel Barbeau
Learning to Communicate Underwater: An Exploration of Limited Mobility Agents. WUWNet 2017: 2:1-2:5 - 2016
- [j23]Michel Barbeau
Channel selection using a multiple radio model. J. Netw. Comput. Appl. 64: 113-123 (2016) - [c61]Michel Barbeau
Management of Surveillance Underwater Acoustic Networks. ADHOCNETS 2016: 3-14 - [c60]Saleh Almousa, Michel Barbeau
Delay and Reflection Attacks in Authenticated Semi-Quantum Direct Communications. GLOBECOM Workshops 2016: 1-7 - 2015
- [c59]Salvador Jauregui, Michel Barbeau
Localization of a Mobile Node in Shaded Areas. ADHOC-NOW 2015: 93-106 - [c58]Michel Barbeau
Simulation of underwater communications with a colored noise approximation and mobility. CCECE 2015: 1532-1537 - [c57]Jie Huang, Michel Barbeau, Stéphane Blouin, Craig Hamm, Martin Taillefer:
Simulation of communications using underwater acoustic signals impaired by wide band attenuation. CCECE 2015: 1538-1543 - [c56]Michel Barbeau
Location-free link state routing for underwater acoustic sensor networks. CCECE 2015: 1544-1549 - [c55]Stéphane Blouin, Michel Barbeau, Evangelos Kranakis:
Refracted Acoustic Communications in Wireless Underwater Sensor Networks with Mobility. SENSORNETS 2015: 113-121 - [i2]Michel Barbeau, Steve R. Cloutier, Joaquín García-Alfaro:
Quantum Computing Assisted Medium Access Control for Multiple Client Station Networks. CoRR abs/1507.00270 (2015) - 2014
- [c54]Michel Barbeau
Revisiting the Performance of the Modular Clock Algorithm for Distributed Blind Rendezvous in Cognitive Radio Networks. ADHOC-NOW 2014: 197-208 - [c53]Michel Barbeau
A new analysis of the cognitive radio jump-stay algorithm under the asymmetric model. ICC 2014: 1590-1595 - [c52]Michel Barbeau
The Bidirectional Algorithm for Channel Selection Using a Two-Radio Model. VTC Fall 2014: 1-5 - 2013
- [j22]Tahsin Arafat Reza, Michel Barbeau:
QaASs: QoS aware adaptive security scheme for video streaming in MANETs. J. Inf. Secur. Appl. 18(1): 68-82 (2013) - [j21]Gimer Cervera, Michel Barbeau
A multipath routing strategy to prevent flooding disruption attacks in link state routing protocols for MANETs. J. Netw. Comput. Appl. 36(2): 744-755 (2013) - [c51]Tahsin Arafat Reza, Michel Barbeau
Non-cooperating vehicle tracking in VANETs using the conditional logit model. ITSC 2013: 626-633 - [c50]Tahsin Arafat Reza, Michel Barbeau
Tracking an on the run vehicle in a metropolitan VANET. Intelligent Vehicles Symposium 2013: 220-227 - [c49]Michel Barbeau
A new analytic model for the cognitive radio jump-stay algorithm. Wireless Days 2013: 1-3 - [c48]Gimer Cervera, Michel Barbeau
QoS and security in Link State Routing protocols for MANETs. Wireless Days 2013: 1-6 - 2012
- [j20]Wei Shi, Michel Barbeau, Joaquín García-Alfaro, Jean-Pierre Corriveau:
Handling the Evil Ring Attack on Localization and Routing in Wireless Sensor Networks. Ad Hoc Sens. Wirel. Networks 17(1-2): 87-102 (2012) - [j19]Michel Barbeau
Point-to-point voice over ad hoc networks: A survey. Pervasive Mob. Comput. 8(3): 376-387 (2012) - [c47]Tahsin Arafat Reza, Michel Barbeau
QoS Aware Adaptive Security Scheme for Video Streaming in MANETs. FPS 2012: 324-340 - 2011
- [j18]Joaquín García-Alfaro
Secure geolocalization of wireless sensor nodes in the presence of misbehaving anchor nodes. Ann. des Télécommunications 66(9-10): 535-552 (2011) - [j17]Joaquín García-Alfaro, Michel Barbeau, Evangelos Kranakis:
Proactive Threshold Cryptosystem for EPC Tags. Ad Hoc Sens. Wirel. Networks 12(3-4): 187-208 (2011) - [j16]Michel Barbeau
Location-Oblivious Distributed Unit Disk Graph Coloring. Algorithmica 60(2): 236-249 (2011) - [c46]Gimer Cervera, Michel Barbeau
Mitigation of Flooding Disruption Attacks in Hierarchical OLSR Networks. CNSR 2011: 167-174 - [c45]Gimer Cervera, Michel Barbeau
Preventing the Cluster Formation Attack against the Hierarchical OLSR Protocol. FPS 2011: 118-131 - [c44]Michel Barbeau
Simultaneous operation of multiple collocated radios and the scanning problem. Wireless Days 2011: 1-6 - 2010
- [j15]Christine Laurendeau, Michel Barbeau
Centroid Localization of Uncooperative Nodes in Wireless Networks Using a Relative Span Weighting Method. EURASIP J. Wirel. Commun. Netw. 2010 (2010) - [c43]Paul Boone, Michel Barbeau
Prioritized Access for Emergency Stations in Next Generation Broadband Wireless Networks. CNSR 2010: 319-326 - [c42]Payal Bhatia, Christine Laurendeau, Michel Barbeau
Solution to the wireless evil-twin transmitter attack. CRiSIS 2010: 1-7 - [c41]Gimer Cervera, Michel Barbeau
Mitigation of topology control traffic attacks in OLSR networks. CRiSIS 2010: 1-8 - [c40]Michel Barbeau
Assessment of the true risks to the protection of confidential information in the wireless home and office environment. WOWMOM 2010: 1-6 - [c39]Paul Boone, Michel Barbeau
Using time-of-day and location-based mobility profiles to improve scanning during handovers. WOWMOM 2010: 1-6 - [c38]Wei Shi
Detection of the Evil ring attack in wireless sensor networks using cross verification. WOWMOM 2010: 1-6
2000 – 2009
- 2009
- [j14]Christine Laurendeau, Michel Barbeau
Probabilistic Localization and Tracking of Malicious Insiders Using Hyperbolic Position Bounding in Vehicular Networks. EURASIP J. Wirel. Commun. Netw. 2009 (2009) - [j13]Christine Laurendeau, Michel Barbeau:
Probabilistic Evidence Aggregation for Malicious Node Position Bounding in Wireless Networks. J. Networks 4(1): 9-18 (2009) - [c37]Joaquín García-Alfaro
Secure Localization of Nodes in Wireless Sensor Networks with Limited Number of Truth Tellers. CNSR 2009: 86-93 - [c36]Joaquín García-Alfaro
Security Threat Mitigation Trends in Low-Cost RFID Systems. DPM/SETOP 2009: 193-207 - [c35]Christine Laurendeau, Michel Barbeau
Relative Span Weighted Localization of Uncooperative Nodes in Wireless Networks. WASA 2009: 358-367 - [i1]Joaquín García-Alfaro, Michel Barbeau, Evangelos Kranakis:
Evaluation of Anonymized ONS Queries. CoRR abs/0911.4313 (2009) - 2008
- [j12]Mathieu Couture, Michel Barbeau, Prosenjit Bose, Evangelos Kranakis:
Incremental Construction of k-Dominating Sets in Wireless Sensor Networks. Ad Hoc Sens. Wirel. Networks 5(1-2): 47-68 (2008) - [j11]Christine Laurendeau, Michel Barbeau:
Insider attack attribution using signal strength-based hyperbolic location estimation. Secur. Commun. Networks 1(4): 337-349 (2008) - [c34]Joaquín García-Alfaro
Analysis of Threats to the Security of EPC Networks. CNSR 2008: 67-74 - [c33]Joaquín García-Alfaro
Security Threats on EPC Based RFID Systems. ITNG 2008: 1242-1244 - [c32]Christine Laurendeau, Michel Barbeau
Hyperbolic location estimation of malicious nodes in mobile WiFi/802.11 networks. LCN 2008: 600-607 - 2007
- [b1]Michel Barbeau, Evangelos Kranakis:
Principles of ad hoc networking. Wiley 2007, pp. I-XX, 1-254 - [c31]Paul Boone, Michel Barbeau
Strategies for fast scanning and handovers in WiMAX/802.16. AccessNets 2007: 1-7 - [c30]Christine Laurendeau, Michel Barbeau:
Secure Anonymous Broadcasting in Vehicular Networks. LCN 2007: 661-668 - [c29]Mathieu Couture, Michel Barbeau, Prosenjit Bose, Paz Carmi, Evangelos Kranakis:
Location Oblivious Distributed Unit Disk Graph Coloring. SIROCCO 2007: 222-233 - 2006
- [j10]Michel Barbeau
Rogue-base station detection in WiMax/802.16 wireless access networks. Ann. des Télécommunications 61(11-12): 1300-1313 (2006) - [j9]Michel Barbeau, Evangelos Kranakis, Honghui Luo:
Strategies for Service Discovery over Ad Hoc Networks. Eng. Lett. 13(1): 11-23 (2006) - [c28]Christine Laurendeau, Michel Barbeau:
Threats to Security in DSRC/WAVE. ADHOC-NOW 2006: 266-279 - [c27]Jeyanthi Hall, Michel Barbeau, Evangelos Kranakis:
Detecting rogue devices in bluetooth networks using radio frequency fingerprinting. Communications and Computer Networks 2006: 108-113 - [c26]Mathieu Couture, Michel Barbeau, Prosenjit Bose, Evangelos Kranakis:
Incremental Construction of k-Dominating Sets in Wireless Sensor Networks. OPODIS 2006: 202-214 - 2005
- [c25]Michel Barbeau, Jeyanthi Hall, Evangelos Kranakis:
Detecting Impersonation Attacks in Future Wireless and Mobile Networks. MADNES 2005: 80-95 - [c24]Michel Barbeau
WiMax/802.16 threat analysis. Q2SWinet 2005: 8-15 - [c23]Jeyanthi Hall, Michel Barbeau
Anomaly-based intrusion detection using mobility profiles of public transportation users. WiMob (2) 2005: 17-24 - [c22]Vinod Kumar Choyi, Michel Barbeau
Low-latency secure mobile communications. WiMob (2) 2005: 38-43 - [c21]Michel Barbeau
Perfect identity concealment in UMTS over radio access links. WiMob (2) 2005: 72-77 - 2004
- [c20]Michel Barbeau, Evangelos Kranakis, Danny Krizanc, Pat Morin
Improving Distance Based Geographic Location Techniques in Sensor Networks. ADHOC-NOW 2004: 197-210 - [c19]Jeyanthi Hall, Michel Barbeau, Evangelos Kranakis:
Enhancing intrusion detection in wireless networks using radio frequency fingerprinting. Communications, Internet, and Information Technology 2004: 201-206 - [c18]Honghui Luo, Michel Barbeau
Performance Evaluation of Service Discovery Strategies in Ad Hoc Networks. CNSR 2004: 61-68 - [c17]Zheyin Li, Michel Barbeau
Performance of Generative Programming Based Protocol Implementation. CNSR 2004: 113-120 - [c16]Ramiro Liscano, Amir Ghavam, Michel Barbeau
Integrating Service Discovery Protocols with Presence-Based Communications for Ad Hoc Collaborative Scenarios. CNSR 2004: 357-361 - [e2]Ioanis Nikolaidis, Michel Barbeau, Evangelos Kranakis:
Ad-Hoc, Mobile, and Wireless Networks: Third International Conference, ADHOC-NOW 2004, Vancouver, Canada, July 22-24, 2004. Proceedings. Lecture Notes in Computer Science 3158, Springer 2004, ISBN 3-540-22543-9 [contents] - 2003
- [j8]Victor Azondekon, Michel Barbeau
Indoor Ad Hoc Proximity-Location Sensing for Service Provider Selection. Telecommun. Syst. 22(1-4): 95-108 (2003) - [c15]Michel Barbeau, Evangelos Kranakis:
Modeling and Performance Analysis of Service Discovery Strategies in Ad Hoc Networks. International Conference on Wireless Networks 2003: 44-50 - [e1]Samuel Pierre, Michel Barbeau, Evangelos Kranakis:
Ad-Hoc, Mobile, and Wireless Networks, Second International Conference, ADHOC-NOW 2003 Montreal, Canada, October 8-10, 2003, Proceedings. Lecture Notes in Computer Science 2865, Springer 2003, ISBN 3-540-20260-9 [contents] - 2002
- [c14]Michel Barbeau, Francis Bordeleau:
A Protocol Stack Development Tool Using Generative Programming. GPCE 2002: 93-109 - 2000
- [c13]Michel Barbeau
Bandwidth Usage Analysis of Service Location Protocol. ICPP Workshops 2000: 51-56
1990 – 1999
- 1999
- [j7]Mbi Makungu, Michel Barbeau
Synthesis of Controllers of Processes Modeled as Colored Petri Nets. Discret. Event Dyn. Syst. 9(2): 147-169 (1999) - [c12]Michel Barbeau
Implementation of Two Approaches for the Reliable Multicast of Mobile Agents over Wireless Networks. ISPAN 1999: 414-419 - 1998
- [j6]Michel Barbeau
A method for the synthesis of controllers to handle safety, liveness, and real-time constraints. IEEE Trans. Autom. Control. 43(11): 1543-1559 (1998) - 1997
- [j5]Froduald Kabanza, Michel Barbeau
Planning Control Rules for Reactive Agents. Artif. Intell. 95(1): 67-11 (1997) - [j4]Michel Barbeau
An Efficient Algorithm for Controller Synthesis under Full Observation. J. Algorithms 25(1): 144-161 (1997) - 1996
- [j3]Olaf Henniger
Specification and testing of the behavior of network management agents using SDL-92. IEEE/ACM Trans. Netw. 4(6): 951-962 (1996) - [c11]Mbi Makungu, Richard St-Denis, Michel Barbeau:
A Colored Petri Net-Based Format Method for the Design of Control Systems. COMPSAC 1996: 28-35 - 1995
- [j2]Michel Barbeau
An algorithm for computing the mask value of the supremal normal sublanguage of a legal language. IEEE Trans. Autom. Control. 40(4): 699-703 (1995) - [c10]Michel Barbeau, Froduald Kabanza, Richard St-Denis:
Synthesizing Plant Controllers Using Real-time Goals. IJCAI (1) 1995: 791-800 - [c9]Michel Barbeau, Behçet Sarikaya:
An approach to conformance testing of MIB implementations. Integrated Network Management 1995: 654-665 - 1994
- [c8]Mbi Makungu, Michel Barbeau:
The contract approach illustrated with a distributed routing protocol. CASCON 1994: 42 - [c7]L. Beaudoin, Michel Barbeau:
Object-Oriented Analysis and Design of Repositories of Network Management Systems. COODBSE 1994: 145-155 - 1993
- [c6]Michel Barbeau, Gregor von Bochmann:
A Subset of Lotos with the Computational Power of Place/Transition-Nets. Application and Theory of Petri Nets 1993: 49-68 - 1992
- [j1]Behçet Sarikaya, Vassilios N. Koukoulidis, Srinivas Eswara, Michel Barbeau
Analysis and testing of application layer protocols with an application to FTAM. IEEE Trans. Commun. 40(1): 7-11 (1992) - 1991
- [c5]Michel Barbeau
The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach. CAV 1991: 103-113 - 1990
- [c4]Michel Barbeau
Extension of the Karp and Miller Procedure to Lotos Specifications. CAV 1990: 333-342 - [c3]Michel Barbeau, Gregor von Bochmann:
Extension of the Karp and Miller Procedure to LOTOS Specifications. CAV (DIMACS/AMS volume) 1990: 103-120
1980 – 1989
- 1989
- [c2]Michel Barbeau
FTAM Test Design Using an Automated Test Tool. INFOCOM 1989: 251-260 - 1988
- [c1]Michel Barbeau
A computer-aided design tool for protocol testing. INFOCOM 1988: 86-95
Coauthor Index
Joaquín García 0001
aka: Joaquín García-Alfaro
aka: Joaquín García-Alfaro
[c93] [c88] [i8] [j30] [c84] [j28] [c80] [c76] [c74] [c73] [j27] [c70] [c69] [i6] [j26] [c68] [c67] [c66] [c62] [j23] [c59] [c58] [c56] [c55] [c54] [c53] [c52] [j21] [c49] [c48] [j18] [j17] [j16] [c46] [c45] [c43] [c41] [c39] [c37] [c36] [i1] [j12] [c34] [c33] [b1] [c31] [c29] [j9] [c27] [c26] [c25] [c23] [c20] [c19] [e2] [c15] [e1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-13 18:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: