( en | de | ru )

 

Disambiguation of "Paviot-Adet, Emmanuel"

Author of the publication

copydeleteadd this publication to your clipboard
Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets.

, , , and . Trans. Petri Nets Other Model. Concurr., (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thomas Paviot

Adewole Oladepo Adetoro

Emmanuel Umana

Emmanuel Dogbatse

Emmanuel Lule

 

Other publications of authors with the same name

Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets., , , and . Trans. Petri Nets Other Model. Concurr., (2012)Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019., , , , and . Int. J. Softw. Tools Technol. Transf., 23 (6): 931-952 (2021)Optimized Colored Nets Unfolding., , and . FORTE, volume 4229 of Lecture Notes in Computer Science, page 339-355. Springer, (2006)Specification of Decision Diagram Operations., , , , , and . ACSD/Petri Nets Workshops, volume 827 of CEUR Workshop Proceedings, page 437-451. CEUR-WS.org, (2010)MCC'2017 - The Seventh Model Checking Contest., , , , , , , , , and 8 other author(s). Trans. Petri Nets Other Model. Concurr., (2018)polyDD: Towards a Framework Generalizing Decision Diagrams., , , , and . ACSD, page 124-133. IEEE Computer Society, (2010)Modeling and verifying behavioral aspects., , , , , , , , and . Formal Methods for Embedded Distributed Systems, Kluwer, (2004)Report on the Model Checking Contest at Petri Nets 2011., , , , , , , , , and . Trans. Petri Nets Other Model. Concurr., (2012)Decision Tree and Agent-Based Approach to Specify Inter-Company Cooperation Using Offline Services Composition., , and . I-ESA, volume 7 of Proiceedings of the I-ESA Conferences, page 381-392. Springer, (2014)Presentation of the 9th Edition of the Model Checking Contest., , , , , , , , , and 9 other author(s). TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 50-68. Springer, (2019)