Jean Mayo

According to our database1, Jean Mayo authored at least 42 papers between 1994 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Design and Use of a Visualization for Teaching Integer Coercion.
Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

2021
A Visualization for Teaching Integer Coercion.
Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.2, Virtual Event, Germany, June 26, 2021

Admonita: A Recommendation-based Trust Model for Dynamic Data Integrity.
Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021

2020
A System for Visualizing the Process Address Space in the Context of Teaching Secure Coding in C.
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

SecureCvisual: Visualization and Analysis for C Code Security.
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

2019
Teaching Integer Security Using Simple Visualizations.
Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019

Maia: A Language for Mandatory Integrity Controls of Structured Data.
Proceedings of the 5th International Conference on Information Systems Security and Privacy, 2019

2017
UNIXvisual: A Visualization Tool for Teaching UNIX Permissions.
Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education, 2017

Visualization for Secure Coding in C.
Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education, 2017

2016
UNIXvisual: A Visualization Tool for Teaching the UNIX Permission Model.
Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, 2016

AESvisual: A Visualization Tool for the AES Cipher.
Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, 2016

2015
Teaching Cryptography and Access Control Hands-On (Abstract Only).
Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

RBACvisual: A Visualization Tool for Teaching Access Control using Role-based Access Control.
Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, 2015

VIGvisual: A Visualization Tool for the Vigenère Cipher.
Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, 2015

Fault-Tolerant Parallel and Distributed Computing for Software Engineering Undergraduates.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, 2015

2014
RSAvisual: a visualization tool for the RSA cipher.
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

MLSvisual: a visualization tool for teaching access control using multi-level security.
Proceedings of the Innovation and Technology in Computer Science Education Conference 2014, 2014

SHAvisual: a secure hash algorithm visualization tool.
Proceedings of the Innovation and Technology in Computer Science Education Conference 2014, 2014

2013
An empirical study of three access control systems.
Proceedings of the 6th International Conference on Security of Information and Networks, 2013

2012
ECvisual: a visualization tool for elliptic curve based ciphers.
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

2010
Detection of a Weak Conjunction of Unstable Predicates in Dynamic Systems.
Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010

2009
Detection of Conjunctive Stable Predicates in Dynamic Systems.
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

2008
MuON: Epidemic based mutual anonymity in unstructured P2P networks.
Comput. Networks, 2008

2006
An Efficient Implementation of Vector Clocks in Dynamic Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications & Conference on Real-Time Computing Systems and Applications, 2006

2005
Stable Predicate Detection in Dynamic Systems.
Proceedings of the Principles of Distributed Systems, 9th International Conference, 2005

MuON: Epidemic Based Mutual Anonymity.
Proceedings of the 13th IEEE International Conference on Network Protocols (ICNP 2005), 2005

2004
A Distributed Algorithm For Unstable Global Predicate Evaluation With Approximately Synchronized Clocks.
Stud. Inform. Univ., 2004

A Dynamic Priority Based Algorithm for Distributed Deadlock Detection and Resolution.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

A General Model for Detecting Distributed Termination in Dynamic Systems.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

A Distributed Algorithm for Detecting Deadlocks under the OR Model and the Resolution Based on Hardware Clocks.
Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems, 2004

2003
ThreadMentor: a pedagogical tool for multithreaded programming.
ACM J. Educ. Resour. Comput., 2003

Concurrent Mentor: A Visualization System for Distributed Programming Education.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

The Advantages of Real Time in TORA.
Proceedings of the 16th International Conference on Computer Applications in Industry and Engineering, 2003

Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education.
Proceedings of the Abstract State Machines, 2003

2002
A communication library to support concurrent programming courses.
Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002

Channels, visualization, and topology editor.
Proceedings of the 7th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2002

1999
A secure unrestricted advanced systems laboratory.
Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999

Distributed Deadlock Detection and Resolution Based on Hardware Clocks.
Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

1998
A secure networked laboratory for kernel programming.
Proceedings of the 6th Annual Conference on the Teaching of Computing and the 3rd Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 1998

1995
Global predicates in rough real time.
Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, 1995

Efficient Distributed Termination Detection with Roughly Synchronized Clocks.
Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, 1995

1994
Distributed Termination Detection with Roughly Synchronized Clocks.
Inf. Process. Lett., 1994


  Loading...