Richard St.-Denis
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2023
J. Comput. Lang., November, 2023
2019
A qualitative assessment of αRby in the perspective of the supervisory control theory.
Int. J. Softw. Tools Technol. Transf., 2019
2017
Proceedings of the Multiagent System Technologies - 15th German Conference, 2017
2015
Proceedings of the 2015 IEEE International Conference on Systems, 2015
Proceedings of the 6th International Conference on the Network of the Future, 2015
Proceedings of the 7th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops, 2015
2014
2013
IEEE Trans. Control. Syst. Technol., 2013
2012
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012
2011
Int. J. Syst. Serv. Oriented Eng., 2011
A Four-concern-oriented Secure IS Development Approach.
Proceedings of the SECRYPT 2011 - Proceedings of the International Conference on Security and Cryptography, Seville, Spain, 18, 2011
A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress.
Proceedings of the Foundations and Practice of Security, 2011
Proceedings of the Formal Methods for Industrial Critical Systems, 2011
2010
From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment.
Proceedings of the Web Information Systems Engineering - WISE 2010 Workshops, 2010
Model-driven Engineering of Functional Security Policies.
Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8, 2010
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010
2009
2008
2005
Inf. Softw. Technol., 2005
Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress).
Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005
Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems Under Partial Observation.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
2004
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004
2003
Softw. Syst. Model., 2003
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003
Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003
2002
Designing reactive systems: integration of abstraction techniques into a synthesis procedure.
J. Syst. Softw., 2002
A Formal Definition of Function Points for Automated Measurement of B Specifications.
Proceedings of the Formal Methods and Software Engineering, 2002
2001
Web-site Design using D2Engine.
Proceedings of the Fifth IASTED International Conference Internet and Multimedia Systems and Applications (IMSA 2001), 2001
Proceedings of the Computer Aided Systems Theory, 2001
Proceedings of the 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 2001
1999
Discret. Event Dyn. Syst., 1999
Proceedings of the Behavioral Specifications of Businesses and Systems, 1999
1998
A method for the synthesis of controllers to handle safety, liveness, and real-time constraints.
IEEE Trans. Autom. Control., 1998
Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998
1997
J. Algorithms, 1997
1996
Proceedings of the COMPSAC '96, 1996
1995
An algorithm for computing the mask value of the supremal normal sublanguage of a legal language.
IEEE Trans. Autom. Control., 1995
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995
1990
1976