Vasco Amaral

Orcid: 0000-0003-3791-5151

Affiliations:
  • Nova University of Lisbon, Portugal


According to our database1, Vasco Amaral authored at least 82 papers between 2004 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Preserving Automotive Heritage: A Blockchain-Based Solution for Secure Documentation of Classic Cars Restoration.
CoRR, 2024

2023
What about the usability in low-code platforms? A systematic literature review.
J. Comput. Lang., January, 2023

Unleashing the Power of Sound: Revisiting the Physics of Notations for Modelling with auditory symbols.
CoRR, 2023

2022
A Simulation Framework for UML Education.
Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

Towards trustworthy tracing responsibility of collaborative software engineering artefacts of student's software projects.
Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021
Dealing with Non-Functional Requirements in Model-Driven Development: A Survey.
IEEE Trans. Software Eng., 2021

AgentDSM-Eval: A framework for the evaluation of domain-specific modeling languages for multi-agent systems.
Comput. Stand. Interfaces, 2021

Supporting the Engineering of Multi-Fidelity Simulation Units With Simulation Goals.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Towards a Modelling Workbench with flexible Interaction Models for Model Editors operating through Voice and Gestures.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020
Towards high-level fuzzy control specifications for building automation systems.
Softw. Syst. Model., 2020

Programming languages for data-Intensive HPC applications: A systematic mapping study.
Parallel Comput., 2020

Enhancing Occupants Comfort and Well-being through a Smart Office setup.
Proceedings of the 43rd International Convention on Information, 2020

2019
A Family of Domain-Specific Languages for Integrated Modular Avionics.
Proceedings of the Quality of Information and Communications Technology, 2019

Using Gamification to Motivate Occupants to Energy Efficiency in a Social Setting of a Building Automation System.
Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

A Mobile System to Increase Efficiency of the Lecturers when Preventing Academic Dishonesty During Written Exams.
Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018
Semantic languages for developing correct language translations.
Softw. Qual. J., 2018

Multi-paradigm deception modeling for cyber defense.
J. Syst. Softw., 2018

Usability driven DSL development with USE-ME.
Comput. Lang. Syst. Struct., 2018

Special issue on quality in Model-Driven Engineering.
Comput. Lang. Syst. Struct., 2018

Evaluating the efficiency of using a search-based automated model merge technique.
Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, 2018

Leveraging teenagers feedback in the development of a domain-specific language: the case of programming low-cost robots.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Comparing the Developer Experience with two Multi-Agents Systems DSLs: SEA_ML++ and DSML4MAS - Study Design.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

ModelByVoice - towards a general purpose model editor for blind people.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Improving the Developer Experience with a Low-Code Process Modelling Language.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

A building automation case study setup and challenges.
Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2018

Improving the Usability of a MAS DSML.
Proceedings of the Engineering Multi-Agent Systems - 6th International Workshop, 2018

2017
A requirements engineering approach for usability-driven DSL development.
Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017

Developing a mutually-recognized cross-domain study program in cyber-physical systems.
Proceedings of the 2017 IEEE Global Engineering Education Conference, 2017

2016
Quality in model-driven engineering: a tertiary study.
Softw. Qual. J., 2016

Special issue on quality in model-driven engineering.
Softw. Qual. J., 2016

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems.
Proceedings of the Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), 2016

On the Emergence of Patterns for Spreadsheets Data Arrangements.
Proceedings of the Software Technologies: Applications and Foundations, 2016

Towards Security Modeling of e-Voting Systems.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Goal-Driven Deception Tactics Design.
Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

Exploring Views for Goal-Oriented Requirements Comprehension.
Proceedings of the Conceptual Modeling - 35th International Conference, 2016

2015
Handling non-functional requirements in Model-Driven Development: An ongoing industrial survey.
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

First International Workshop on Human Factors in Modeling (HuFaMo 2015) - Preface.
Proceedings of the First International Workshop on Human Factors in Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

2014
Consistency Checking in Early Software Product Line Specifications - The VCC Approach.
J. Univers. Comput. Sci., 2014

A Model-Driven Approach for Mobile Business Information Systems Applications.
Proceedings of Doctoral Symposium co-located with 17th International Conference on Model Driven Engineering Languages and Systems (2014), 2014

Classification of Model Transformation Tools: Pattern Matching Techniques.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Introducing Usability Concerns Early in the DSL Development Cycle: FlowSL Experience Report.
Proceedings of the 1st International Workshop on Model-Driven Development Processes and Practices co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

2013
Advanced modularity for building SPL feature models: a model-driven approach.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

A Multiparadigm Approach to Integrate Gestures and Sound in the Modeling Framework.
Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with the 16th International Conference on Model Driven Engineering Languages and Systems, 2013

2012
Model-Driven Development for Requirements Engineering: The Case of Goal-Oriented Approaches.
Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

Usability Evaluation of Domain-Specific Languages.
Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

Towards a Robust Solution in Building Automation Systems: Supporting Rapid Prototyping and Analysis.
Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

Foreword: Quality in model driven engineering.
Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

The RPG DSL: a case study of language engineering using MDD for generating RPG games for mobile phones.
Proceedings of the 2012 Workshop on Domain-Specific Modeling, 2012

2011
Asserting the Correctness of Software Language Translations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

How to reach a usable DSL? Moving toward a Systematic Evaluation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

MPM 2010 Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Recent Advances in Multi-Paradigm Modeling.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

SLALOM: a Language for SLA specification and monitoring
CoRR, 2011

Quality in use of domain-specific languages: a case study.
Proceedings of the 3rd ACM SIGPLAN workshop on Evaluation and usability of programming languages and tools, 2011

Summary of the Workshop on Multi-Paradigm Modelling: Concepts and Tools.
Proceedings of the Models in Software Engineering, 2011

The case for a systematic development of Building Automation Systems.
Proceedings of the 2nd IEEE PES International Conference and Exhibition on "Innovative Smart Grid Technologies", 2011

Supporting Consistency Checking between Features and Software Product Line Use Scenarios.
Proceedings of the Top Productivity through Software Reuse, 2011

Towards a Unified Goal-Oriented Language.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Model-Driven Requirements Specification for Software Product Lines.
Proceedings of the Model-Driven Domain Analysis and Software Development, 2011

2010
DSLTrans: A Turing Incomplete Transformation Language.
Proceedings of the Software Language Engineering - Third International Conference, 2010

Mdgore: Towards Model-Driven and Goal-Oriented Requirements Engineering.
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Developing domain-specific modeling languages by metamodel semantic enrichment and composition: a case study.
Proceedings of the DSM@SPLASH 2010: Proceedings of the 10th Workshop on Domain-Specific Modeling, 2010

Summary of the Workshop on Multi-Paradigm Modelling: Concepts and Tools.
Proceedings of the Models in Software Engineering, 2010

A Technique for Automatic Validation of Model Transformations.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Do Software Languages Engineers Evaluate their Languages?
Proceedings of the 13th Iberoamerican Conference on Software Engineering, 2010

2009
A Language and a Methodology for Prototyping User Interfaces for Control Systems.
Proceedings of the Human Machine Interaction, Research Results of the MMI Program, 2009

PPPJ special issue-Foreword.
Sci. Comput. Program., 2009

DSL Composition for model-based test generation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Multi-view Composition Language for Software Product Line Requirements.
Proceedings of the Software Language Engineering, Second International Conference, 2009

Towards a Domain Specific Language for a Goal-Oriented approach based on KAOS.
Proceedings of the Third IEEE International Conference on Research Challenges in Information Science, 2009

Recent Advances in Multi-paradigm Modeling.
Proceedings of the Models in Software Engineering, 2009

Detecting feature interactions in SPL requirements analysis models.
Proceedings of the First International Workshop on Feature-Oriented Software Development, 2009

A Domain Specific Language for the I* Framework.
Proceedings of the ICEIS 2009, 2009

Composing Visual Syntax for Domain Specific Languages.
Proceedings of the Human-Computer Interaction. Novel Interaction Methods and Techniques, 2009

Designing a DSL Solution for the Domain of Augmented Reality Software Applications Specification.
Proceedings of the Learning by Playing. Game-based Education System Design and Development, 2009

2008
Tracing from Features to Use Cases: A Model-Driven Approach.
Proceedings of the Second International Workshop on Variability Modelling of Software-Intensive Systems, 2008

A Model-driven Approach for Software Product Lines Requirements Engineering.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Generating Requirements Analysis Models from Textual Requirements.
Proceedings of the First International Workshop on Managing Requirements Knowledge, 2008

2006
Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping.
Proceedings of the Rapid Integration of Software Engineering Techniques, 2006

2005
Formally Specifying the Syntax and Semantics of a Visual Query Language for the Domain of High Energy Physics Data Analysis.
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

2004
Increasing productivity in high energy physics data mining with a domain specific visual query language.
PhD thesis, 2004

PHEASANT: A PHysicist's EAsy ANalysis Tool.
Proceedings of the Flexible Query Answering Systems, 6th International Conference, 2004


  Loading...