Profil

CABOT Jordi

University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > PI Cabot

ORCID
0000-0003-2418-2489
Main Referenced Co-authors
Clarisó, Robert (1)
Fill, Hans-Georg (1)
GONZALEZ PEREZ, Carlos Alberto  (1)
Maass, Wolfgang (1)
Paige, Richard F. (1)
Main Referenced Keywords
artificial intelligence (1); Class Diagram (1); conceptual modeling (1); Constraint Propagation (1); Formal Verification (1);
Main Referenced Disciplines
Computer science (3)

Publications (total 3)

The most downloaded
27 downloads
Paige, R. F., & CABOT, J. (2024). What makes a good modeling research contribution? Software and Systems Modeling. doi:10.1007/s10270-024-01177-x https://hdl.handle.net/10993/60896

The most cited

15 citations (Scopus®)

Clarisó, R., GONZALEZ PEREZ, C. A., & CABOT, J. (In press). Smart Bound Selection for the Verification of UML/OCL Class Diagrams. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2017.2777830 https://hdl.handle.net/10993/33832

Clarisó, R., GONZALEZ PEREZ, C. A., & CABOT, J. (In press). Smart Bound Selection for the Verification of UML/OCL Class Diagrams. IEEE Transactions on Software Engineering. doi:10.1109/TSE.2017.2777830
Peer Reviewed verified by ORBi

Paige, R. F., & CABOT, J. (2024). What makes a good modeling research contribution? Software and Systems Modeling. doi:10.1007/s10270-024-01177-x
Peer Reviewed verified by ORBi

Fill, H.-G., CABOT, J., Maass, W., & van Sinderen, M. (24 January 2024). AI-Driven Software Engineering – The Role of Conceptual Modeling. Enterprise Modelling and Information Systems Architectures, 19, 1 - 11. doi:10.18417/emisa.19.1
Peer Reviewed verified by ORBi

Contact ORBilu