About: Raúl Mazo Peña

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Raúl Mazo Peña Goto Sponge NotDistinct Permalink

An Entity of Type : foaf:Person, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
type	Person
sameAs	Mazo Peña, Raúl (1982-....) Mazo Peña, Raúl (1982-....)
alternative label	Peña, Raúl Mazo Raúl Mazo Peña
Life Event	http://www.idref.fr/163859825/birth
preferred label	Mazo Peña, Raúl (1982-....)
name	Raúl Mazo Peña
dbpedia-owl:citizenship	http://sws.geonames.org/3017382/
Language	http://lexvo.org/id/iso639-3/fra http://lexvo.org/id/iso639-3/spa
isni:identifierValid	0000000432856727
Given name	Raúl
familyName	Mazo Peña
has biographical i...tion (Deprecated)	Enseignant-chercheur en informatique. Titulaire d'un doctorat en informatique à l'Université de Paris 1 en 2011
gender	male
Scopus ID	35321401400
is sameAs of	Mazo Peña, Raúl (1982-....) Mazo Peña, Raúl (1982-....)
is Thesis advisor of	http://www.sudoc.fr/190591889/id http://www.sudoc.fr/174447329/id http://www.sudoc.fr/259889695/id http://www.sudoc.fr/269845887/id http://www.sudoc.fr/266756174/id http://www.sudoc.fr/265616948/id http://www.sudoc.fr/282787186/id
is Author of	http://www.sudoc.fr/163864179/id A Security Ontology for Security Requirements Elicitation Requirements Analysis for Context-oriented Systems Solving Integer Constraint in Reuse Based Requirements Engineering Capturing variability in Model Based Systems Engineering Runtime Requirements Monitoring Framework for Adaptive e-Learning Systems Dynamic adaptation of service compositions with variability models Methods, Techniques and Tools for Product Line Model Verification Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search Evaluating Company’s Readiness for Adopting Product Line Engineering: a Second Evaluation Round A multi-company empirical evaluation of a framework that evaluates the convenience of adopting product line engineering VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models Bridging the Gap Between Product Lines and Systems Engineering: An experience in Variability Management for Automotive Model-based Systems Engineering Devising Configuration Guidance with Process Mining Support Towards a Requirements Specification Multi-View Framework for Self-Adaptive Systems VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models Spécification d'Exigences dans le Contexte de Lignes de Produits. The Baxter Return of Experience on the Use of Association Rules to Construct its Product Line Model Subconjuntos Mínimos de Corrección para explicar características muertas en Modelos de Líneas de Productos. El caso de los Modelos de Características Using the AMAN-DA method to generate security requirements: a case study in the maritime domain A Generic Approach for Automated Verification of Product Line Models Reference software architecture for improving modifiability of personalised web applications - a controlled experiment SDN Intent-based conformance checking: application to security policies ConfiLog: An approach to Guide Product Line Configuration Processes based on Configuration Traces The High-Level Variability Language: An Ontological Approach Reusable knowledge in security requirements engineering: a systematic mapping study An Ontology of Verification Criteria in the Product Line Domain A Method based on Association Rules to Construct Product Line Model Identifying dead features and their causes in product line models: an ontological approach SECRET: A New SECurity REquirements SpecificaTion Template Robustness Assessment of AI-Based 2D Object Detection Systems: A Method and Lessons Learned from Two Industrial Cases Conformance Checking with Constraint Logic Programming: The Case of Feature Models An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models Run-time planning of case-based business processes http://www.sudoc.fr/248009923/id Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria Analyzing the convenience of adopting a product line engineering approach Guidelines for the Specification of IoT Requirements: A Smart Cars Case Method to Identify Corrections of Defects on Product Line Models Security Contracts a Property-Based Approach to Support Security Patterns Modèle générique pour la vérification de modèles de lignes de produits State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System Requirements A DSPL Design Framework for SASs: A Smart Building Example VariaMos: a Tool for Product Line Driven Systems Engineering with a Constraint Based Approach SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A A Unified Vision of Configurable Software REFAS: A PLE Approach for Simulation of Self-Adaptive Systems Requirements Three strategies to Specify Multi-Instantiation in Product Lines Continuous Monitoring of Adaptive e-learning Systems Requirements Product Line Configurations guided by Process Traces Context Management and Intention Mining for Adaptive Systems in Mobile Environments: from Business Process Management to Video Games? Preference-based Conflict Resolution for Collaborative Configuration of Product Lines Material Needs Forecast for Product Lines, a Bayesian-based Analysis Approach Constraint Programming as a Means to Manage Configurations in Self-Adaptive Systems Transforming Attribute and Clone-Enabled Feature Models Into Constraint Programs Over Finite Domains Recommendation Heuristics for Improving Product Line Conﬁguration Processes Designing a Framework for Smart IoT Adaptations Construcción de Modelos de Características: Un Marco para Comparar y Clasificar Propuestas. Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines Approches de configuration collaborative en ingénierie de lignes de produits logiciels: une étude systématique de la littérature Fouille de Processus de Configuration dans les Lignes de Produits A Constraint-based Approach to Deal with Self-Adaptation: The Case of Smart Irrigation Systems Methods, Techniques and Tools for PLM Verification Constraints: the Core of Product Line Engineering Using Integer Constraint Solving in Reuse Based Requirements Engineering Abstract Constraints: A General Framework for Solver-Independent Reasoning on Product Line Models Defects in Product Line Models and how to Identify them A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence Constraints: the Heart of Domain and Application Engineering in the Product Lines Engineering Strategy Product Line Configuration Meets Process Mining REVaMP 2 Project: Towards Round-Trip Engineering of Software Product Lines -Approach, Intermediate Results and Challenges Towards a requirements specification multi-view framework for self-adaptive systems Método para Identificar Correcciones de Defectos en Modelos de Características que representan Líneas de Productos / Method to identify corrections of defects on product line models How Useful and Understandable is the APPLIES Framework? a Preliminary Evaluation With Software Practitioners

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software