Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Paola Spoletini
Map detail
Paola Spoletini8 visible / 8 total nodes / 7 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPaola SpoletiniAPaola SpoletiniResearcherHow Do Requirements Evolve During Elicitation? An Empirical Study Combining Interviews and App Store AnalysisWHow Do Requirements Evo...preprint / 2022Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous SystemsWOptimal by Design: Mode...preprint / 2020On Relaxing Metric Information in Linear Temporal LogicWOn Relaxing Metric Info...preprint / 2011Bounded Variability of Metric Temporal LogicWBounded Variability of ...preprint / 2014Modeling, refining and analyzing Incomplete Büchi AutomataWModeling, refining and ...preprint / 2016Fuzzy Time in LTLWFuzzy Time in LTLpreprint / 2012A control-theoretical methodology for the scheduling problemWA control-theoretical m...preprint / 2010
Person7 links

Paola Spoletini

Researcher