Stéphane Julia

48 papers B 10Misc 2Journal 7Unranked 29

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	A Symbolic Time Constraint Propagation Mechanism Proposal for Workflow Nets. ICEIS (1) Lorena Rodrigues Bruno, Stéphane Julia
2022	—	`conf`	Resource Planning in Workflow Nets Based on a Symbolic Time Constraint Propagation Mechanism. ICEIS (Revised Selected Papers) Lorena Rodrigues Bruno, Stéphane Julia
2022	B	`conf`	Swarm robotics coordination dynamics modelled and formalised through Coloured Petri Nets. ICTAI Claudiney R. Tinoco, Leiliane Pereira de Rezende, Stéphane Julia, Gina M. B. Oliveira
2021	J	`jnl`	Formal Approach Based on Petri Nets for Modeling and Verification of Video Games. Comput. Informatics Franciny Medeiros Barreto, Stéphane Julia
2020	—	`conf`	A Possibilistic Simulation Model for Multiplayer Game Scenarios Using CPN Tools. SBES Franciny Medeiros Barreto, Stéphane Julia
2019	—	`conf`	A Linear Logic Based Method for Deadlock-Freeness Scenarios Monitoring in Web Services Composition. SOSE Lígia Maria Soares Passos, Stéphane Julia, Bruno Francisco Martins da Silva
2017	—	`conf`	A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition. ICEIS (2) Vinícius Ferreira de Oliveira, Stéphane Julia, Lígia Maria Soares Passos, Kênia Santos de Oliveira
2017	—	`conf`	Constraint Analysis based on Energetic Reasoning Applied to the Problem of Real Time Scheduling of Workflow Management Systems. ICEIS (3) Flávio Félix Medeiros, Stéphane Julia
2017	—	`conf`	Modeling of Video Games Using Workflow Nets and State Graphs. SBES Franciny Medeiros Barreto, Stéphane Julia
2017	—	`conf`	Using Linear Logic to Verify Requirement Scenarios in Composite Web Service. SBMF Kênia Santos de Oliveira, Stéphane Julia
2017	—	`conf`	Using Linear Logic to Verify Requirement Scenarios in SOA Models based on Interorganizational WorkFlow Nets Relaxed Sound. ICEIS (2) Kênia Santos de Oliveira, Vinícius Ferreira de Oliveira, Stéphane Julia
2016	J	`jnl`	Functional Testing Using Object WorkFlow Nets. Comput. Informatics Stéphane Julia, Liliane do Nascimento Vale, Lígia Maria Soares Passos
2016	J	`jnl`	Linear Logic as a Tool for Qualitative and Quantitative Analysis of Workow Processes. Int. J. Artif. Intell. Tools Lígia Maria Soares Passos, Stéphane Julia
2016	B	`conf`	Linear Logic as a Tool for Weak Soundness Verification for Interorganizational Workflow Processes. ICTAI Lígia Maria Soares Passos, Stéphane Julia
2016	—	`conf`	Modeling a Fuzzy Resource Allocation Mechanism based on Workflow Nets. ICEIS (2) Joslaine Cristina Jeske de Freitas, Stéphane Julia, Leiliane Pereira de Rezende
2016	—	`conf`	Possibilistic WorkFlow Nets for Dealing with Cancellation Regions in Business Processes. ICEIS (2) Leiliane Pereira de Rezende, Stéphane Julia, Janette Cardoso
2016	—	`conf`	Uncertain Marking for Dealing with Partial Parallelization in Business Processes. ICEIS (2) Leiliane Pereira de Rezende, Stéphane Julia, Janette Cardoso
2015	—	`conf`	Deadlock Avoidance in Interorganizational Business Processes using a Possibilistic WorkFlow Net. ICEIS (1) Leiliane Pereira de Rezende, Stéphane Julia
2015	—	`conf`	Deadlock-Freeness Scenarios Detection in Web Service Composition. ITNG Lígia Maria Soares Passos, Stéphane Julia
2015	—	`conf`	Fuzzy Resource Allocation Mechanisms in Workflow Nets. ICEIS (1) Joslaine Cristina Jeske de Freitas, Stéphane Julia, Leiliane Pereira de Rezende
2015	—	`conf`	Fuzzy Time Constraint Propagation Mechanism for Workflow Nets. ITNG Joslaine Cristina Jeske de Freitas, Stéphane Julia
2015	—	`conf`	Modeling Recursive Search Algorithms by Means of Hierarchical Colored Petri Nets and CPN Tools. ITNG Clarimundo Machado Moraes Junior, Rita Maria da Silva Julia, Stéphane Julia
2015	—	`conf`	Possibilistic WorkFlow Net for Deadlock Avoidance in Interorganizational Business Processes. ICEIS (Revised Selected Papers) Leiliane Pereira de Rezende, Stéphane Julia
2015	—	`conf`	Relaxed Soundness Verification for Interorganizational Workflow Processes. ICEIS (3) Lígia Maria Soares Passos, Stéphane Julia
2015	—	`conf`	Resource Allocation Mechanisms and Time Constraint Propagation Techniques in Fuzzy Workflow Nets. ICEIS (Revised Selected Papers) Joslaine Cristina Jeske de Freitas, Stéphane Julia, Leiliane Pereira de Rezende
2014	—	`conf`	A Straightforward Introduction to Formal Methods Using Coloured Petri Nets. ICEIS (2) Franciny Medeiros Barreto, Joslaine Cristina Jeske de Freitas, Michel S. Soares, Stéphane Julia
2014	B	`conf`	Linear Logic as a Tool for Deadlock-Freeness Scenarios Detection in Interorganizational Workflow Processes. ICTAI Lígia Maria Soares Passos, Stéphane Julia
2014	—	`conf`	Modeling and analysis of video games based on workflow nets and state graphs. CASCON Franciny Medeiros Barreto, Stéphane Julia
2014	—	`conf`	Possibilistic Interorganizational Workflow Net for the Recovery Problem Concerning Communication Failures. ICEIS (1) Leiliane Pereira de Rezende, Stéphane Julia, Janette Cardoso
2013	B	`conf`	Qualitative Analysis of Interorganizational WorkFlow Nets Using Linear Logic: Soundness Verification. ICTAI Lígia Maria Soares Passos, Stéphane Julia
2013	Misc	`conf`	Siphon-based deadlock prevention policy for interorganizational WorkFlow net design. IRI Luciane de Fatima Silva, Lígia Maria Soares Passos, Michel dos Santos Soares, Stéphane Julia
2013	—	`conf`	Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets. SBSI Lígia Maria Soares Passos, Tarcísio Abadio de Magalhães Júnior, Marcelo de Almeida Maia, Stéphane Julia
2012	—	`conf`	Inconsistency Recovery in Business Processes Using a Possibilistic WorkFlow Net. SCCC Leiliane Pereira de Rezende, Stéphane Julia, Janette Cardoso
2012	B	`conf`	Possibilistic WorkFlow nets to deal with non-conformance in process execution. SMC Leiliane Pereira de Rezende, Stéphane Julia, Janette Cardoso
2011	B	`conf`	Game modeling using WorkFlow nets. SMC Guilherme Willian de Oliveira, Stéphane Julia, Lígia Maria Soares Passos
2009	—	`conf`	Análise qualitativa e quantitativa de WorkFlow nets utilizando Lógica Linear. SBSI Lígia Maria Soares Passos, Stéphane Julia
2009	—	`conf`	Fuzzy Continuous Resource Allocation Mechanisms in Workflow Management Systems. SBES Joslaine Cristina Jeske de Freitas, Stéphane Julia, Robert Valette
2009	B	`conf`	Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification. SMC Lígia Maria Soares Passos, Stéphane Julia
2008	J	`jnl`	Real time scheduling of Workflow Management Systems based on a p-time Petri net model with hybrid resources. Simul. Model. Pract. Theory Stéphane Julia, Fernanda Francielle de Oliveira, Robert Valette
2008	J	`jnl`	Real-time scheduling of batch systems using Petri nets and linear logic. J. Syst. Softw. Michel dos Santos Soares, Stéphane Julia, Jos L. M. Vrancken
2007	B	`conf`	Modelling biological processes using differential predicate transition Petri nets. SMC Michele Nasu Tomiyama, Stéphane Julia
2006	Misc	`conf`	Fuzzy continuous resource allocation mechanisms in workflow management systems. IRI Joslaine Cristina Jeske de Freitas, Stéphane Julia, Robert Valette
2006	—	`conf`	Software Architecture for the Real Time Scheduling of Workflow Management Systems based on a Petri net model. SBES Fernanda Francielle de Oliveira, Stéphane Julia
2005	J	`jnl`	Object Oriented Software Architecture Design based on UML/Petri Net approach for deadlock prevention of Real Time Systems. J. Comput. Methods Sci. Eng. Sílvio Bacalá Júnior, Stéphane Julia
2004	—	`conf`	A p-time hybrid Petri net model for the scheduling problem of workflow management systems. SMC (5) Stéphane Julia, Fernanda Francielle de Oliveira
2000	J	`jnl`	Real time scheduling of batch systems. Simul. Pract. Theory Stéphane Julia, Robert Valette
2000	B	`conf`	Scheduling batch systems using a Petri net model and an intelligent backtrack mechanism. SMC Stéphane Julia, Clarimundo Machado M. Júior
1998	B	`conf`	Scheduling batch systems using a token player algorithm. SMC Stéphane Julia, Robert Valette, José M. Fernandes