|
Search the dblp DataBase
Pablo Gruer:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Krzysztof Cetnarowicz, Pablo Gruer, Vincent Hilaire, Abder Koukam
A Formal Specification of M-Agent Architecture. [Citation Graph (0, 0)][DBLP] CEEMAS, 2001, pp:62-72 [Conf]
- Vincent Hilaire, Abder Koukam, Pablo Gruer, Jean-Pierre Müller
Formal Specification and Prototyping of Multi-agent Systems. [Citation Graph (0, 0)][DBLP] ESAW, 2000, pp:114-127 [Conf]
- Belhassen Mazigh, Pablo Gruer, Abder Koukam
An Extended Statecharts Approach for the Modeling and Analysis of Discrete Event Systems: The Case of Manufacturing Systems. [Citation Graph (0, 0)][DBLP] ESM, 1998, pp:656-660 [Conf]
- Pablo Gruer, Vincent Hilaire, Abder Koukam
Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem. [Citation Graph (0, 0)][DBLP] FASE, 2000, pp:222-236 [Conf]
- Pablo Gruer, Vincent Hilaire, Abder Koukam
Towards Verification of Multi-Agent Systems. [Citation Graph (0, 0)][DBLP] ICMAS, 2000, pp:393-394 [Conf]
- Vincent Hilaire, Abder Koukam, Pablo Gruer
A Mechanism for Dynamic Role Playing. [Citation Graph (0, 0)][DBLP] Agent Technologies, Infrastructures, Tools, and Applications for E-Services, 2002, pp:36-48 [Conf]
- Pablo Gruer, Vincent Hilaire, Abder Koukam, Krzysztof Cetnarowicz
A Formal Framework for Multi-Agent Systems Analysis and Design. [Citation Graph (0, 0)][DBLP] SEKE, 2001, pp:276-282 [Conf]
- Pablo Gruer, Vincent Hilaire, Abder Koukam, Krzysztof Cetnarowicz
A formal framework for multi-agent systems analysis and design. [Citation Graph (0, 0)][DBLP] Expert Syst. Appl., 2002, v:23, n:4, pp:349-355 [Journal]
- Pablo Gruer, Vincent Hilaire, Abder Koukam, P. Rovarini
Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 2004, v:70, n:1-2, pp:95-105 [Journal]
- Pablo Gruer, Abder Koukam, Belhassen Mazigh
Modeling and quantitative analysis of discrete event systems: A statecharts based approach. [Citation Graph (0, 0)][DBLP] Simul. Pr. Theory, 1998, v:6, n:4, pp:397-411 [Journal]
Physics inspired multiagent system for vehicle platooning. [Citation Graph (, )][DBLP]
Evaluation of global system state thanks to local phenomenona. [Citation Graph (, )][DBLP]
Bending Virtual Spring-Damper: A Solution to Improve Local Platoon Control. [Citation Graph (, )][DBLP]
The Application of Reference-path Control to Vehicle Platoons. [Citation Graph (, )][DBLP]
Application of Reactive Multiagent System to Linear Vehicle Platoon. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|