A Model-Based Tool for Conceptual Modeling and Domain Ontology Engineering in OntoUML AB Benevides, G Guizzardi
Enterprise Information Systems, 11th International Conference, ICEIS 2009 …, 2009
83 2009 Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures. AB Benevides, G Guizzardi, BFB Braga, JPA Almeida
J. UCS 16 (20), 2904-2933, 2010
58 2010 Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method BFB Braga, JPA Almeida, G Guizzardi, AB Benevides
Innovations in Systems and Software Engineering (ISSE) 6 (1-2), 55–63, 2010
51 2010 Endurant Types in Ontology-Driven Conceptual Modeling: Towards OntoUML 2.0 G Guizzardi, CM Fonseca, AB Benevides, JPA Almeida, D Porello, ...
International Conference on Conceptual Modeling, 136-150, 2018
48 2018 Assessing Modal Aspects of OntoUML Conceptual Models in Alloy AB Benevides, G Guizzardi, BFB Braga, JPA Almeida
Advances in Conceptual Modeling - Challenging Perspectives, ER 2009 …, 2009
22 2009 Representing a reference foundational ontology of events in A Botti Benevides, JR Bourguet, G Guizzardi, R Peñaloza, JPA Almeida
Applied Ontology 14 (3), 293-334, 2019
10 2019 The interplay between models and observations C Masolo, A Botti Benevides, D Porello
Applied Ontology, 1-31, 2018
9 2018 A SSVEP-BCI Setup Based on Depth-of-Field A Cotrina, AB Benevides, J Castillo-Garcia, AB Benevides, D Rojas-Vigo, ...
IEEE Transactions on Neural Systems and Rehabilitation Engineering 25 (7 …, 2017
9 2017 Representing the UFO-B Foundational Ontology of Events in AB Benevides, JR Bourguet, G Guizzardi, R Peñaloza
Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean …, 2017
8 * 2017 States, Events, and Truth-makers. AB Benevides, C Masolo
FOIS, 93-102, 2014
6 2014 A model-based graphical editor for supporting the creation, verification and validation of OntoUML conceptual models AB Benevides
M.Sc. thesis, Federal University of Espírito Santo (UFES), Vitória, ES …, 2010
6 2010 Towards a Unified Theory of Endurants and Perdurants: UFO-AB AB Benevides, JPA Almeida, G Guizzardi
Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian …, 2019
4 2019 Towards a SSVEP-BCI Based on Depth of Field A Cotrina, T Bastos, A Ferreira, A Benevides, J Castillo-Garcia, D Rojas, ...
Proceedings of 6th International Brain-Computer Interface Conference 2014 …, 2014
3 2014 An Ethernet sniffer for On-line acquisition of EEG with the BrainNet36® device applied to a BCI AB Benevides, AC Atencio, J Castillo, TF Bastos Filho, AB Benevides
5th ISSNIP-IEEE Biosignals and Biorobotics Conference (2014): Biosignals and …, 2014
2 2014 Empirically Evaluating Three Proposals for Representing Changes in 2 JR Bourguet, G Guizzardi, AB Benevides, V Zamborlini
Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean …, 2017
1 * 2017 From states to objects and events through stratification: A formal account and an application to data analytics A Botti Benevides
University of Trento, 2015
2015 State-based event modeling AB Benevides, C Masolo
Proceedings of the Workshop AI Meets Business Processes 2013 co-located with …, 2013
2013 An Ontologically Well-Founded Framework for Comprehensive Enterprise Modelling AB Benevides, C Ghidini, N Guarino
7th International Workshop on Value Modeling and Business Ontologies (VMBO 2013), 2012
2012 An ontologically well-founded framework for modelling Business Organizations, Processes and Services AB Benevides
Proceedings of the 3rd International Conference on Biomedical Ontology (ICBO …, 2012
2012