Paola Spoletini

According to our database1, Paola Spoletini authored at least 84 papers between 2003 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous Systems.
CoRR, 2020

Designing a Virtual Client for Requirements Elicitation Interviews.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2020

The Way it Makes you Feel Predicting Users' Engagement during Interviews with Biofeedback and Supervised Learning.
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

Inspectors Academy : Pedagogical Design for Requirements Inspection Training.
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

2019
Requirements Engineering (RE) for Social Good: RE Cares [Requirements].
IEEE Softw., 2019

Teaching requirements elicitation interviews: an empirical study of learning from mistakes.
Requir. Eng., 2019

A verification-driven framework for iterative design of controllers.
Formal Aspects Comput., 2019

On Including the Institutional Review Board Process in Undergraduate Information Technology Curricula.
Proceedings of the 20th Annual SIG Conference on Information Technology Education, 2019

Preface.
Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019

Learning Requirements Elicitation Interviews with Role-Playing, Self-Assessment and Peer-Review.
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Ambiguity in Requirements Engineering: Towards a Unifying Framework.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018
BuildingRules: A Trigger-Action-Based System to Manage Complex Commercial Buildings.
ACM Trans. Cyber Phys. Syst., 2018

Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2018

Are Requirements Engineering Courses Covering what Industry Needs? A Preliminary Analysis of the United States Situation.
Proceedings of the 8th IEEE International Workshop on Requirements Engineering Education and Training, 2018

Learning from Mistakes: An Empirical Study of Elicitation Interviews Performed by Novices.
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

Bias-aware guidelines and fairness-preserving Taxonomy in software engineering education.
Proceedings of the IEEE Frontiers in Education Conference, 2018

Measuring Team Members' Contributions in Software Engineering Projects using Git-driven Technology.
Proceedings of the IEEE Frontiers in Education Conference, 2018

Supporting Verification-Driven Incremental Distributed Design of Components.
Proceedings of the Fundamental Approaches to Software Engineering, 2018

2017
From model checking to a temporal proof for partial models: preliminary example.
CoRR, 2017

Bounded variability of metric temporal logic.
Ann. Math. Artif. Intell., 2017

From Model Checking to a Temporal Proof for Partial Models.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

COVER: Change-based Goal Verifier and Reasoner.
Proceedings of the Joint Proceedings of REFSQ-2017 Workshops, 2017

Integrating Goal Model Analysis with Iterative Design.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017

Common Mistakes of Student Analysts in Requirements Elicitation Interviews.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017

Requirements Elicitation: A Look at the Future Through the Lenses of the Past.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Empowering Requirements Elicitation for Populations with Special Needs by Using Virtual Reality.
Proceedings of the 2017 ACM Southeast Regional Conference, 2017

2016
Automating trade-off analysis of security requirements.
Requir. Eng., 2016

Ambiguity and tacit knowledge in requirements elicitation interviews.
Requir. Eng., 2016

Modeling, refining and analyzing Incomplete Büchi Automata.
CoRR, 2016

Empowering Requirements Elicitation Interviews with Vocal and Biofeedback Analysis.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Ambiguity Cues in Requirements Elicitation Interviews.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Dealing with Incompleteness in Automata-Based Model Checking.
Proceedings of the FM 2016: Formal Methods, 2016

2015
Ambiguity as a resource to disclose tacit knowledge.
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

BuildingRules: a trigger-action based system to manage complex commercial buildings.
Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, 2015

2014
Fuzzy Time in Linear Temporal Logic.
ACM Trans. Comput. Log., 2014

On requirement verification for evolving Statecharts specifications.
Requir. Eng., 2014

Context transformations for goal models.
Proceedings of the IEEE 4th International Model-Driven Requirements Engineering Workshop, 2014

An Operational Semantics for XML Fuzzy Queries.
Proceedings of the FCTA 2014 - Proceedings of the International Conference on Fuzzy Computation Theory and Applications, part of IJCCI 2014, Rome, Italy, 22, 2014

2013
Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2013

On requirements verification for model refinements.
Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

Managing non-functional uncertainty via model-driven adaptivity.
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Putting It All Together: Using the ArtDeco Approach in the Wine Business Domain.
Proceedings of the Methodologies and Technologies for Networked Enterprises, 2012

Verification and Analysis of Autonomic Systems for Networked Enterprises.
Proceedings of the Methodologies and Technologies for Networked Enterprises, 2012

Fuzzy Time in LTL
CoRR, 2012

Automata-based Verification of Linear Temporal Logic Models with Bounded Variability.
Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2011
On Relaxing Metric Information in Linear Temporal Logic.
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

Monitoring fuzzy temporal requirements for service compositions: Motivations, challenges and experimental results.
Proceedings of the Requirements Engineering for Systems, 2011

Evaluating the compatibility of conversational service interactions.
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems, 2011

2010
Quantifying the Discord: Order Discrepancies in Message Sequence Charts.
Int. J. Found. Comput. Sci., 2010

A control-theoretical methodology for the scheduling problem
CoRR, 2010

Fuzzy Goals for Requirements-Driven Adaptation.
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

2009
Internal and External Bitstream Relocation for Partial Dynamic Reconfiguration.
IEEE Trans. Very Large Scale Integr. Syst., 2009

A fuzzy extension of the XPath query language.
J. Intell. Inf. Syst., 2009

Towards automated verification of layered graph transformation specifications.
IET Softw., 2009

Preface.
Electron. Notes Theor. Comput. Sci., 2009

Towards Relaxing Metric Information in Linear Temporal Logic.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions.
Proceedings of the Formal Techniques for Distributed Systems, 2009

2008
Model Checking.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

An Efficient Solution for Model Checking Graph Transformation Systems.
Electron. Notes Theor. Comput. Sci., 2008

Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers.
Proceedings of the Theoretical Aspects of Computing, 2008

Towards the exhaustive verification of real-time aspects in controller implementation.
Proceedings of the IEEE International Conference on Computer-Aided Control Systems, 2008

Practical Efficient Modular Linear-Time Model-Checking.
Proceedings of the Automated Technology for Verification and Analysis, 2008

An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems.
Proceedings of the Coordination, 2008

2007
XQuery layers.
SIGMOD Rec., 2007

Validation of web service compositions.
IET Softw., 2007

A Model Checking Approach to Verify BPEL4WS Workflows.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2007

A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions.
Proceedings of the Advances in Software Engineering, Lipari Summer School 2007, 2007

A Timed Extension of WSCoL.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems.
Proceedings of the Theoretical Aspects of Computing, 2007

Trio2Promela: A Model Checker for Temporal Metric Specifications.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Model Checking Temporal Metric Specifications with Trio2Promela.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Commitment Monitoring in a Multiagent System.
Proceedings of the Multi-Agent Systems and Applications V, 2007

2006
A framework for XML data streams history checking and monitoring.
Proceedings of the 15th international conference on World Wide Web, 2006

A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures.
Proceedings of the IFIP VLSI-SoC 2006, 2006

On the Use of Alloy to Analyze Graph Transformation Systems.
Proceedings of the Graph Transformations, Third International Conference, 2006

A Fuzzy Extension for the XPath Query Language.
Proceedings of the Flexible Query Answering Systems, 7th International Conference, 2006

History Checking of XML Data Streams.
Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006

2005
Modeling and Analyzing Context-Aware Composition of Services.
Proceedings of the Service-Oriented Computing, 2005

A formal approach supporting the specification and verification of business conversation requirements.
Proceedings of the AC 2005, 2005

2003
Model-Checking TRIO Specifications in SPIN.
Proceedings of the FME 2003: Formal Methods, 2003


  Loading...