Search Results - "St-Denis, Richard" :: K.UTB vyhledávací portál

Loading…

A comparison of three solver-aided programming languages: αRby, ProB, and Rosette

by St-Denis, Richard
Published in Journal of computer languages (Online) (01.11.2023)

Get full text

Journal Article

Loading…

A qualitative assessment of αRby in the perspective of the supervisory control theory

by Routhier, Maxime, St-Denis, Richard
Published in International journal on software tools for technology transfer (01.04.2019)

Get full text

Journal Article

Loading…

$A qualitative assessment of $$\alpha $$ α Rby in the perspective of the supervisory control theory$

A qualitative assessment of $$\alpha $$ α Rby in the perspective of the supervisory control theory

by Routhier, Maxime, St-Denis, Richard
Published in International journal on software tools for technology transfer (01.04.2019)

Get full text

Journal Article

Loading…

$A qualitative assessment of \[\alpha \] Rby in the perspective of the supervisory control theory$

A qualitative assessment of \[\alpha \] Rby in the perspective of the supervisory control theory

by Routhier, Maxime, St-Denis, Richard
Published in International journal on software tools for technology transfer (01.04.2019)

Get full text

Journal Article

Loading…

A method for the synthesis of controllers to handle safety, liveness, and real-time constraints

by Barveau, M., Kabanza, F., St.-Denis, R.
Published in IEEE transactions on automatic control (01.11.1998)

Get full text

Journal Article

Loading…

Team Formation Through Preference-Based Behavior Composition

by Barati, Masoud, St-Denis, Richard
Published in Multiagent System Technologies (01.01.2017)

Get full text

Book Chapter

Loading…

Component-Based Method for the Modeling and Control of Modular Production Systems

by Cote, Daniel, St-Denis, Richard
Published in IEEE transactions on control systems technology (01.09.2013)

Get full text

Journal Article

Loading…

Behavior Composition Meets Supervisory Control

by Barati, Masoud, St-Denis, Richard
Published in 2015 IEEE International Conference on Systems, Man, and Cybernetics (01.10.2015)

Get full text

Conference Proceeding

Loading…

Supervisory control theory with Alloy

by Fraikin, Benoît, Frappier, Marc, St-Denis, Richard
Published in Science of computer programming (15.11.2014)

Get full text

Journal Article

Loading…

Control of Parameterized Discrete Event Systems

by Bherer, Hans, Desharnais, Jules, St-Denis, Richard
Published in Discrete event dynamic systems (01.06.2009)

Get full text

Journal Article

Loading…

Optimal control in a value-based automatic behavior composition framework

by Barati, Masoud, St-Denis, Richard
Published in 2015 7th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT) (01.10.2015)

Get full text

Conference Proceeding

Loading…

Extending statecharts with process algebra operators

by Frappier, Marc, Gervais, Frédéric, Laleau, Régine, Fraikin, Benoît, St-Denis, Richard
Published in Innovations in systems and software engineering (2008)

Get full text

Journal Article

Loading…

A semantic-based flexible framework for automatic behavior composition

by Barati, Masoud, St-Denis, Richard
Published in 2015 Internet Technologies and Applications (ITA) (01.09.2015)

Get full text

Conference Proceeding

Loading…

A SAT-Based Approach for the Construction of Reusable Control System Components

by Côté, Daniel, Fraikin, Benoît, Frappier, Marc, St-Denis, Richard
Published in Formal Methods for Industrial Critical Systems

Get full text

Book Chapter

Loading…

Modeling the Supervisory Control Theory with Alloy

by Fraikin, Benoît, Frappier, Marc, St-Denis, Richard
Published in Abstract State Machines, Alloy, B, VDM, and Z

Get full text

Book Chapter

Loading…

An architecture for semantic service discovery and realizability in cloud computing

by Barati, Masoud, St-Denis, Richard
Published in 2015 6th International Conference on the Network of the Future (NOF) (01.09.2015)

Get full text

Conference Proceeding

Loading…

A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress

by Embe Jiague, Michel, Frappier, Marc, Gervais, Frédéric, Laleau, Régine, St-Denis, Richard
Published in Foundations and Practice of Security

Get full text

Book Chapter

Loading…

Designing reactive systems: integration of abstraction techniques into a synthesis procedure

by St-Denis, Richard
Published in The Journal of systems and software (01.02.2002)

Get full text

Journal Article

Loading…

Systems-Theoretic View of Component-Based Software Development

by Côté, Daniel, Jiague, Michel Embe, St-Denis, Richard
Published in Formal Aspects of Component Software

Get full text

Book Chapter

Loading…

A reachability graph construction technique for supervisor synthesis with parameters

by Jiague, M.E., Fraikin, B., St-Denis, R.
Published in 2009 35th Annual Conference of IEEE Industrial Electronics (01.11.2009)

Get full text

Conference Proceeding

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database