Jacques Robin

Orcid: 0000-0001-7425-2639

Affiliations:
  • Federal University of Pernambuco, Recife, Brazil


According to our database1, Jacques Robin authored at least 43 papers between 1992 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Extensions and Scalability Experiments of a Generic Model-Driven Architecture for Variability Model Reasoning.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

2023
Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach.
Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2023

2022
Cybersecurity for Industrial Internet of Things: Architecture, Models and Lessons Learned.
IEEE Access, 2022

2021
On some Foundational Aspects of Human-Centered Artificial Intelligence.
CoRR, 2021

SDN Intent-based conformance checking: application to security policies.
Proceedings of the 7th IEEE International Conference on Network Softwarization, 2021

Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search.
Proceedings of the Risks and Security of Internet and Systems, 2021

2020
The state of adoption and the challenges of systematic variability management in industry.
Empir. Softw. Eng., 2020

Online Verification through Model Checking of Medical Critical Intelligent Systems.
Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2020

2019
REVaMP2 Project: Towards Round-Trip Engineering of Software Product Lines - Approach, Intermediate Results and Challenges.
Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019

A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence.
Proceedings of the Computer Safety, Reliability, and Security, 2019

2016
Detecting complex changes and refactorings during (Meta)model evolution.
Inf. Syst., 2016

Metamodel and Constraints Co-evolution: A Semi Automatic Maintenance of OCL Constraints.
Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

2015
Detecting Complex Changes During Metamodel Evolution.
Proceedings of the Advanced Information Systems Engineering, 2015

2012
Towards a Generic Trace for Rule Based Constraint Reasoning
CoRR, 2012

2011
Flexible Deviation Handling during Software Process Enactment.
Proceedings of the Workshops Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011

2010
Artifact or Process Guidance, an Empirical Study.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

2008
Adaptive CHR Meets CHR<sup>v</sup>: An Extended Refined Operational Semantics for CHR<sup>v</sup> Based on Justifications.
Proceedings of the Constraint Handling Rules, 2008

2007
Constraint Programming Architectures: Review and a New Proposal.
J. Univers. Comput. Sci., 2007

A Unified Semantics for Constraint Handling Rules in Transaction Logic.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

2006
ORCAS: Towards a CHR-Based Model-Driven Framework of Reusable Reasoning Components.
Proceedings of the 20th Workshop on Logic Programming, 2006

Web engineering meets natural language processing: a vocal interface generation practice.
Proceedings of the 11th Brazilian Symposium on Multimedia and the Web, 2006

2005
Looking at both the present and the past to efficiently update replicas of web content.
Proceedings of the Seventh ACM International Workshop on Web Information and Data Management (WIDM 2005), 2005

Metamodel Reuse with MOF.
Proceedings of the Model Driven Engineering Languages and Systems, 2005

Increasing Profitability: Voice-Based Browsing to Recommendation System Web Services.
Proceedings of the Advances in Web Intelligence Third International Atlantic Web IntelligenceConference, 2005

2004
Avaliação Empírica da Expansão de Consultas Baseada em um Thesaurus: aplicação em um engenho de busca na Web.
RITA, 2004

Um Componente para Mineração de Exceções em Cubos de Dados OLAP.
Proceedings of the 1st Brazilian Symposium on Information Systems, 2004

SKDQL: A Structured Language to Specify Knowledge Discovery Processes and Queries.
Proceedings of the Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29, 2004

2003
XOCL - an XML Language for Specifying Logical Constraints in Object Oriented Models.
J. Univers. Comput. Sci., 2003

Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams.
Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003

Can Ontologies Improve Web Search Engine Effectiveness Before the Advent of the Semantic Web?
Proceedings of the XVIII Simpósio Brasileiro de Bancos de Dados, 2003

2000
Using OLAP and Data Mining for Content Planning in Natural Language Generation.
Proceedings of the Natural Language Processing and Information Systems, 2000

Content aggregation in natural language hypertext summarization of OLAP and Data Mining Discoveries.
Proceedings of the INLG 2000, 2000

1999
Um Ambiente para Desenvolvimento de Gramáticas Computacionais para o Português.
RITA, 1999

1997
Floating Constraints in Lexical Choice.
Comput. Linguistics, 1997

1996
Empirically Designing and Evaluating a New Revision-Based Model for Summary Generation.
Artif. Intell., 1996

Evaluating the Robstness and Scalability of Revision-Based Natural Language Generation.
Proceedings of the Advances in Artificial Intelligence, 1996

An Overview of SURGE: a Reusable Comprehensive Syntactic Realization Component.
Proceedings of the Eighth International Natural Language Generation Workshop, 1996

Evaluating the Portability of Revision Rules for Incremental Summary Generation.
Proceedings of the 34th Annual Meeting of the Association for Computational Linguistics, 1996

1995
Generating Concise Natural Language Summaries.
Inf. Process. Manag., 1995

1993
Tailoring Lexical Choice to the User's Vocabulary in Multimedia Explanation Generation.
Proceedings of the 31st Annual Meeting of the Association for Computational Linguistics, 1993

Corpus Analysis for Revision-Based Generation of Complex Sentences.
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992
Controlling Content Realization with Functional Unification Grammars.
Proceedings of the Aspects of Automated Natural Language Generation, 1992

Generating Cross-References for Multimedia Explanation.
Proceedings of the 10th National Conference on Artificial Intelligence, 1992


  Loading...