Paola Spoletini
Titel
Citeras av
Citeras av
År
Fuzzy goals for requirements-driven adaptation
L Baresi, L Pasquale, P Spoletini
2010 18th IEEE International Requirements Engineering Conference, 125-134, 2010
2652010
Validation of web service compositions
L Baresi, D Bianculli, C Ghezzi, S Guinea, P Spoletini
IET software 1 (6), 219-232, 2007
1162007
Managing non-functional uncertainty via model-driven adaptivity
C Ghezzi, LS Pinto, P Spoletini, G Tamburrelli
2013 35th International Conference on Software Engineering (ICSE), 33-42, 2013
1032013
On the use of Alloy to analyze graph transformation systems
L Baresi, P Spoletini
International Conference on Graph Transformation, 306-320, 2006
842006
Internal and external bitstream relocation for partial dynamic reconfiguration
S Corbetta, M Morandi, M Novati, MD Santambrogio, D Sciuto, P Spoletini
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 17 (11 …, 2009
682009
Wiley encyclopedia of computer science and engineering
BW Wah
John Wiley,, 2009
632009
A fuzzy extension of the XPath query language
A Campi, E Damiani, S Guinea, S Marrara, G Pasi, P Spoletini
Journal of Intelligent Information Systems 33 (3), 285, 2009
602009
Ambiguity and tacit knowledge in requirements elicitation interviews
A Ferrari, P Spoletini, S Gnesi
Requirements Engineering 21 (3), 333-355, 2016
552016
A model checking approach to verify BPEL4WS workflows
D Bianculli, C Ghezzi, P Spoletini
IEEE International Conference on Service-Oriented Computing and Applications …, 2007
522007
An efficient solution for model checking graph transformation systems
L Baresi, V Rafe, AT Rahmani, P Spoletini
Electronic Notes in Theoretical Computer Science 213 (1), 3-21, 2008
512008
Model checking
D Peled, P Pelliccione, P Spoletini
Wiley encyclopedia of computer science and engineering, 1904-1920, 2007
412007
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ...
Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006
40*2006
A timed extension of WSCoL
L Baresi, D Bianculli, C Ghezzi, S Guinea, P Spoletini
IEEE International Conference on Web Services (ICWS 2007), 663-670, 2007
382007
Formal analysis of publish-subscribe systems by probabilistic timed automata
F He, L Baresi, C Ghezzi, P Spoletini
International Conference on Formal Techniques for Networked and Distributed …, 2007
362007
Towards automated verification of layered graph transformation specifications
V Rafe, AT Rahmani, L Baresi, P Spoletini
IET software 3 (4), 276-291, 2009
322009
Modeling and analyzing context-aware composition of services
E Colombo, J Mylopoulos, P Spoletini
International Conference on Service-Oriented Computing, 198-213, 2005
302005
BuildingRules: A Trigger-Action--Based System to Manage Complex Commercial Buildings
AA Nacci, V Rana, B Balaji, P Spoletini, R Gupta, D Sciuto, Y Agarwal
ACM Transactions on Cyber-Physical Systems 2 (2), 1-22, 2018
272018
LOVER: Light-weight fOrmal Verification of adaptivE systems at Run time
AM Sharifloo, P Spoletini
International Workshop on Formal Aspects of Component Software, 170-187, 2012
272012
Model-checking TRIO specifications in SPIN
A Morzenti, M Pradella, P San Pietro, P Spoletini
International Symposium of Formal Methods Europe, 542-561, 2003
272003
Practical model checking of LTL with past
M Pradella, P San Pietro, P Spoletini, A Morzenti
ATVA03: 1st Workshop on Automated Technology for Verification and Analysis, 2003
262003
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20