Research, Software, AI

About CEDIS

What we do, who we are, where we're going

History

Our journey and achievements

Partners & recognitions

Institutions, awards, and institutional milestones

Infrastructure

Spaces and resources

Research areas

Lines and topics of the center

Competency map

How areas, people and projects connect

Scientific infrastructure

Servers, storage and equipment

Projects

Ongoing and completed research

Digital products

Platforms, applications and systems

Projects by partner

Initiatives with IBICT, FAP-DF and others

Researchers

Principal investigators with continuous output

Collaborators

Research and development team

Alumni

Where our alumni are

Which area fits me?

5-question quiz

Scientific publications

Articles, books, theses, dissertations and undergrad theses

Defenses and qualifications

Scheduled committees, held defenses, and deposited works

Courses and teaching materials

Training programs and open materials

Materials on Zenodo

Datasets, code, and registered materials

Opportunities

Closed calls and future selections when available

Join CEDIS

Undergrad, thesis, master's, PhD, outreach, volunteer

Institutional partnerships

Public agencies, companies and universities

Propose a project

Write to CEDIS

PTEN

← All collaborators

Auto-derived profile

NUNES, V.

Cited as co-author in 1 publication by CEDIS. Individual profile not yet published.

Works where cited as co-author

1

Modeling and Verification for Dependability in Software Product Lines
2015 · conference

Is that you and want a full profile?

Derived profiles are auto-generated from co-authors cited in CEDIS works. If you'd like to appear with a bio, photo, and trajectory, please contact the group.