Ivan Romero-Hernandez

According to our database¹, Ivan Romero-Hernandez authored at least 4 papers between 2002 and 2004.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2004

Modélisation, spécification formelle et vérification de protocoles d'interaction: une approche basée sur les rôles.

[BibT_eX]

[DOI]

PhD thesis, 2004

State Controlled Execution for Agent-Object Hybrid Languages.

[BibT_eX]

[DOI]

Proceedings of the Advanced Distributed Systems: Third International School and Symposium, 2004

Limitations in AUML's Roles Specification.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing II, 2004

2002

Generating Machine Processable Representations of Textual Representations of AUML.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering III, Third International Workshop, 2002