| In corso di stampa |
Working paper |
Daria Smuseva, Andrea Marin, Sabina Rossi, Aad van Moorsel Verifier's Dilemma in Proof-of-Work Public Blockchains: A~Quantitative Analysis , vol. -
- Scheda ARCA: 10278/5045182 |
| 2024 |
Articolo su rivista |
Diletta Olliaro, Giuliano Casale, Andrea Marin, Sabina Rossi A product-form network for systems with job stealing policies in ACM TRANSACTIONS ON MODELING AND PERFORMANCE EVALUATION OF COMPUTING SYSTEMS, vol. - (ISSN 2376-3639)
DOI - URL correlato - Scheda ARCA: 10278/5049941 |
| 2024 |
Articolo su rivista |
Ressi D.; Romanello R.; Piazza C.; Rossi S. AI-enhanced blockchain technology: A review of advancements and opportunities in JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, vol. 225 (ISSN 1084-8045)
DOI - Scheda ARCA: 10278/5081382 |
| 2024 |
Articolo su rivista |
Ressi D.; Romanello R.; Rossi S.; Piazza C. Compressing neural networks via formal methods in NEURAL NETWORKS, vol. 178 (ISSN 0893-6080)
DOI - Scheda ARCA: 10278/5081401 |
| 2024 |
Articolo su rivista |
Malakhov, Ivan; Marin, Andrea; Rossi, Sabina; Menasché, Daniel Sadoc Confirmed or Dropped? Reliability Analysis of Transactions in PoW Blockchains in IEEE TRANSACTIONS ON NETWORK SCIENCE AND ENGINEERING, vol. 11, pp. 1-13 (ISSN 2327-4697)
DOI - Scheda ARCA: 10278/5061265 |
| 2024 |
Articolo su rivista |
Piazza C.; Rossi S.; Smuseva D. Efficient Algorithm for Proportional Lumpability and Its Application to Selfish Mining in Public Blockchains in ALGORITHMS, vol. 17 (ISSN 1999-4893)
DOI - Scheda ARCA: 10278/5081381 |
| 2024 |
Articolo su rivista |
Bartoletti, Massimo; Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Sasso, Giacomo Dal; Pettinau, Roberto; Pinna, Andrea; Piras, Mattia; Rossi, Sabina; Salis, Stefano; Spanò, Alvise; Tkachenko, Viacheslav; Tonelli, Roberto; Zunino, Roberto Smart contract languages: A comparative analysis in FUTURE GENERATION COMPUTER SYSTEMS, vol. 1 (ISSN 0167-739X)
DOI - URL correlato - Scheda ARCA: 10278/5081863 |
| 2023 |
Articolo su rivista |
Malakhov I.; Marin A.; Rossi S. Analysis of the confirmation time in proof-of-work blockchains in FUTURE GENERATION COMPUTER SYSTEMS, vol. 147, pp. 275-291 (ISSN 0167-739X)
DOI - Scheda ARCA: 10278/5036320 |
| 2023 |
Articolo in Atti di convegno |
Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Rossi, Sabina; Spanò, Alvise ALGOMOVE – A Move Embedding for Algorand in Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Sabina Rossi, Alvise Spanè, Proceedings of the 2023 IEEE International Conference on Blockchain, IEEE, pp. 62-67, Convegno: 2023 IEEE International Conference on Blockchain, Dicembre 2023 (ISBN 979-8-3503-1929-3)
DOI - Scheda ARCA: 10278/5047901 |
| 2023 |
Articolo in Atti di convegno |
Bernardo M.; Lanese I.; Marin A.; Mezzina C.A.; Rossi S.; Sacerdoti Coen C. Causal Reversibility Implies Time Reversibility , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, vol. 14287, pp. 270-287, Convegno: 20th International Conference on Quantitative Evaluation of SysTems, QEST 2023, 2023 (ISBN 978-3-031-43834-9; 978-3-031-43835-6) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/5046010 |
| 2023 |
Articolo in Atti di convegno |
Daria Smuseva, Ivan Malakhov, Andrea Marin, Sabina Rossi Crisis of Trust: Analyzing the Verifier's Dilemma in Ethereum's Proof-of-Stake Blockchain , 2023 IEEE International Conference on Blockchain, IEEE Computer Society, Convegno: 2023 IEEE International Conference on Blockchain (ISBN 979-8-3503-1929-3)
DOI - URL correlato - Scheda ARCA: 10278/5045181 |
| 2023 |
Articolo in Atti di convegno |
Ressi D.; Romanello R.; Piazza C.; Rossi S. Neural Networks Reduction via Lumping , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, vol. 13796, pp. 75-90, Convegno: 21st International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, 2022 (ISBN 978-3-031-27180-9; 978-3-031-27181-6) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/5021281 |
| 2023 |
Articolo in Atti di convegno |
Bernardo M.; Rossi S. Reverse Bisimilarity vs. Forward Bisimilarity , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, vol. 13992, pp. 265-284, Convegno: 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023, 2023 (ISBN 978-3-031-30828-4; 978-3-031-30829-1) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/5036321 |
| 2023 |
Articolo in Atti di convegno |
Daria Smuseva, Andrea Marin, Sabina Rossi Selfish Mining in Public Blockchains: A Quantitative Analysis , Performance Evaluation Methodologies and Tools, Springer, vol. 539, pp. 18-32, Convegno: EAI VALUETOOLS 2023 - 16th EAI International Conference on Performance Evaluation Methodologies and Tools (ISBN 978-3-031-48884-9) (ISSN 1867-8211)
DOI - URL correlato - Scheda ARCA: 10278/5045180 |
| 2023 |
Abstract in Atti di convegno |
Marin A.; Rossi S.; Olliaro D. A product-form network for systems with job stealing policies , Performance Evaluation Review in PERFORMANCE EVALUATION REVIEW, Zhenhua Liu, vol. 50, pp. 2-4, Convegno: SIGMETRICS / IFIP Performance 2022, 06/06/2022 - 10/06/2022 (ISSN 0163-5999)
DOI - URL correlato - Scheda ARCA: 10278/5024200 |
| 2022 |
Articolo su rivista |
Malakhov I.; Marin A.; Rossi S.; Smuseva D. On the Use of Proof-of-Work in Permissioned Blockchains: Security and Fairness in IEEE ACCESS, vol. 10, pp. 1305-1316 (ISSN 2169-3536)
DOI - Scheda ARCA: 10278/3759688 |
| 2022 |
Articolo in Atti di convegno |
Smuseva D.; Malakhov I.; Marin A.; van Moorsel A.; Rossi S. Verifier’s Dilemma in Ethereum Blockchain: A Quantitative Analysis , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, vol. 13479, pp. 317-336, Convegno: 19th International Conference on Quantitative Evaluation of Systems, QEST 2022, 2022 (ISBN 978-3-031-16335-7; 978-3-031-16336-4) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/5009381 |
| 2021 |
Articolo su rivista |
Marin A.; Piazza C.; Rossi S. D_PSNI: Delimited persistent stochastic non-interference in THEORETICAL COMPUTER SCIENCE, vol. 884, pp. 116-135 (ISSN 0304-3975)
DOI - Scheda ARCA: 10278/3744315 |
| 2021 |
Articolo su rivista |
Elahi M.; Marin A.; Rossi S.; Williamson C. Frequency scaling in multilevel queues in PERFORMANCE EVALUATION REVIEW, vol. 48, pp. 97-98 (ISSN 0163-5999)
DOI - Scheda ARCA: 10278/3743022 |
| 2021 |
Articolo su rivista |
Hillston J.; Marin A.; Piazza C.; Rossi S. Persistent Stochastic Non-Interference in FUNDAMENTA INFORMATICAE, vol. 181, pp. 1-35 (ISSN 0169-2968)
DOI - Scheda ARCA: 10278/3744335 |
| 2021 |
Articolo su rivista |
Marin A.; Piazza C.; Rossi S. Proportional lumpability and proportional bisimilarity in ACTA INFORMATICA, vol. n/a (ISSN 0001-5903)
DOI - Scheda ARCA: 10278/3744337 |
| 2021 |
Articolo in Atti di convegno |
Piazza, C; Rossi, S Reasoning About Proportional Lumpability , 18th International Conference on Quantitative Evaluation of Systems, QEST 2021, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, SPRINGER INTERNATIONAL PUBLISHING AG, vol. 12846, pp. 372-390, Convegno: 18th International Conference on Quantitative Evaluation of Systems, QEST 2021 (ISBN 978-3-030-85171-2; 978-3-030-85172-9)
DOI - Scheda ARCA: 10278/5004197 |
| 2021 |
Articolo in Atti di convegno |
Malakhov, I; Gaetan, C; Marin, A; Rossi, S Workload Prediction in BTC Blockchain and Application to the Confirmation Time Estimation , Performance Engineering and Stochastic Modeling - 17th European Workshop, EPEW 2021, and 26th International Conference, {ASMTA} 2021, Virtual Event, December 9-10 and December 13-14, 2021, Proceedings, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, SPRINGER INTERNATIONAL PUBLISHING AG, vol. 13104, pp. 3-21, Convegno: EPEW - European Performance Engineering Workshop (ISBN 978-3-030-91824-8; 978-3-030-91825-5)
DOI - Scheda ARCA: 10278/5003163 |
| 2020 |
Articolo su rivista |
Marin A.; Rossi S.; Sottana M. Dynamic resource allocation in fork-join queues in ACM TRANSACTIONS ON MODELING AND PERFORMANCE EVALUATION OF COMPUTING SYSTEMS, vol. 5, pp. 1-28 (ISSN 2376-3639)
DOI - Scheda ARCA: 10278/3728122 |
| 2020 |
Articolo su rivista |
Elahi M.; Marin A.; Rossi S.; Williamson C. Frequency scaling in multilevel queues in PERFORMANCE EVALUATION, vol. 143, pp. 102140 (ISSN 0166-5316)
DOI - Scheda ARCA: 10278/3743020 |
| 2020 |
Articolo su rivista |
Marin, Andrea; Rossi, Sabina; Zen, Carlo Size-based scheduling for TCP flows: Implementation and performance evaluation in COMPUTER NETWORKS, vol. 183, pp. 107574 (ISSN 1389-1286)
DOI - Scheda ARCA: 10278/3743017 |
| 2020 |
Prefazione/Postfazione |
Marin A.; Casale G.; Petriu D.C.; Rossi S. Guest editor's forewords: Special issue on Valuetools 2017 , Performance Evaluation: Special issue on Valuetools 2017, Elsevier B.V., vol. 137, pp. 102008
DOI - URL correlato - Scheda ARCA: 10278/3722950 |
| 2020 |
Articolo in Atti di convegno |
Marin A.; Rossi S.; Zen C. A Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues , Proc. of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, Vienna, 31 August 2020 - 3 September 2020, Springer Science and Business Media Deutschland GmbH, vol. 12289, pp. 144-147, Convegno: 17th International Conference on Quantitative Evaluation Systems, QEST 2020, 2020 (ISBN 978-3-030-59853-2; 978-3-030-59854-9)
DOI - Scheda ARCA: 10278/3743023 |
| 2020 |
Articolo in Atti di convegno |
Marin A.; Rossi S. A Queueing Model that Works Only on the Biggest Jobs , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, vol. 12039, pp. 118-132, Convegno: 16th European Workshop on Computer Performance Engineering, EPEW 2019, 2019 (ISBN 978-3-030-44410-5; 978-3-030-44411-2)
DOI - Scheda ARCA: 10278/3728184 |
| 2020 |
Articolo in Atti di convegno |
Ivan Malakhov, Andrea Marin, Sabina Rossi, Daria Smuseva Fair Work Distribution on Permissioned Blockchains: a Mobile Window Based Approach , 2020 IEEE International Conference on Blockchain (Blockchain), IEEE Computer Society, vol. 1, pp. 436-441, Convegno: 2020 IEEE International Conference on Blockchain (Blockchain) (ISBN 978-0-7381-0495-9)
DOI - URL correlato - Scheda ARCA: 10278/3734910 |
| 2020 |
Articolo in Atti di convegno |
Marin A.; Rossi S.; Williamson C. Speed scaling in fork-join queues: A comparative study , ACM International Conference Proceeding Series, Association for Computing Machinery, pp. 80-87, Convegno: 13th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2020, 2020 (ISBN 9781450376464)
DOI - Scheda ARCA: 10278/3728121 |
| 2019 |
Articolo su rivista |
Bujari A.; Marin A.; Palazzi C.E.; Rossi S. Smart-RED: A novel congestion control mechanism for high throughput and low queuing delay in WIRELESS COMMUNICATIONS AND MOBILE COMPUTING, vol. 2019, pp. 1-10 (ISSN 1530-8669)
DOI - URL correlato - Scheda ARCA: 10278/3722875 |
| 2019 |
Articolo in Atti di convegno |
Marin A.; Piazza C.; Rossi S. A process algebra for (delimited) persistent stochastic non-interference , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, vol. 11785, pp. 222-238, Convegno: 16th International Conference on Quantitative Evaluation of Systems, QEST 2019, 2019 (ISBN 9783030302801)
DOI - URL correlato - Scheda ARCA: 10278/3722872 |
| 2019 |
Articolo in Atti di convegno |
Hillston J.; Piazza C.; Marin A.; Rossi S. Delimited persistent stochastic non-interference , ACM International Conference Proceeding Series, 1515 BROADWAY, NEW YORK, NY 10036-9998 USA, Association for Computing Machinery, pp. 135-142, Convegno: 12th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2019, 2019 (ISBN 9781450365963)
DOI - URL correlato - Scheda ARCA: 10278/3722859 |
| 2019 |
Articolo in Atti di convegno |
Marin A.; Piazza C.; Rossi S. Proportional Lumpability , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, vol. 11750, pp. 265-281, Convegno: 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, 2019 (ISBN 978-3-030-29661-2; 978-3-030-29662-9)
DOI - URL correlato - Scheda ARCA: 10278/3722874 |
| 2019 |
Articolo in Atti di convegno |
Marin A.; Rossi S.; Sottana M.; Zen C. Theoretical and experimental evaluation of the two-level processor sharing discipline for TCP flows , Proceedings - IEEE Computer Society's Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS, IEEE Computer Society, vol. 2019, pp. 94-106, Convegno: 27th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 2019, 2019 (ISBN 978-1-7281-4950-9) (ISSN 1526-7539)
DOI - Scheda ARCA: 10278/3722873 |
| 2018 |
Articolo su rivista |
Marin, Andrea; Rossi, Sabina; Burato, Dario; Sina, Andrea; Sottana, Matteo A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs in ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, vol. 28, pp. 1-23 (ISSN 1049-3301)
DOI - Scheda ARCA: 10278/3699932 |
| 2018 |
Articolo su rivista |
Giacomo Alzetta, Andrea Marin, Carla Piazza, Sabina Rossi Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses in INFORMATION AND COMPUTATION, vol. 260, pp. 99-125 (ISSN 1090-2651)
DOI - URL correlato - Scheda ARCA: 10278/3703617 |
| 2018 |
Articolo in Atti di convegno |
Marin, Andrea*; Rossi, Sabina; Sottana, Matteo Biased processor sharing in fork-join queues , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer Verlag, vol. 11024, pp. 273-288, Convegno: 15th International Conference on Quantitative Evaluation of Systems, QEST 2018, 2018 (ISBN 9783319991535)
DOI - URL correlato - Scheda ARCA: 10278/3710571 |
| 2018 |
Articolo in Atti di convegno |
Hillston, Jane; Marin, Andrea; Piazza, Carla*; Rossi, Sabina Information Flow Security for Stochastic Processes , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer Verlag, vol. 11178, pp. 142-156, Convegno: 15th European Performance Engineering Workshop, EPEW 2018, 2018 (ISBN 9783030022266)
DOI - URL correlato - Scheda ARCA: 10278/3710572 |
| 2018 |
Articolo in Atti di convegno |
Jane Hillston, Carla Piazza, Sabina Rossi Persistent Stochastic Non-Interference in Jane Hillston, Carla Piazza, Sabina Rossi, Proceedings EXPRESS/SOS 2018, Open Publishing Association, vol. 276, pp. 53-68, Convegno: 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, September 3, 2018 (ISSN 2075-2180)
DOI - URL correlato - Scheda ARCA: 10278/3703609 |
| 2017 |
Articolo su rivista |
Marin, Andrea; Rossi, Sabina Fair workload distribution for multi-server systems with pulling strategies in PERFORMANCE EVALUATION, vol. 113, pp. 26-41 (ISSN 0166-5316)
DOI - URL correlato - Scheda ARCA: 10278/3692876 |
| 2017 |
Articolo su rivista |
Marin, Andrea; Rossi, Sabina On the relations between Markov chain lumpability and reversibility in ACTA INFORMATICA, vol. 54, pp. 447-485 (ISSN 1432-0525)
DOI - URL correlato - Scheda ARCA: 10278/3673297 |
| 2017 |
Articolo su rivista |
Marin, Andrea; Rossi, Sabina Power control in saturated fork-join queueing systems in PERFORMANCE EVALUATION, vol. 116, pp. 101-118 (ISSN 0166-5316)
DOI - Scheda ARCA: 10278/3692878 |
| 2017 |
Articolo in Atti di convegno |
Andrea, Marin; Sabina, Rossi Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming , Analytical and Stochastic Modelling Techniques and Applications - 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings., Thomas, Nigel; Forshaw, Matthew, vol. 10378, pp. 152-165, Convegno: Analytical and Stochastic Modelling Techniques and Applications (ISBN 978-3-319-61427-4) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/3692879 |
| 2016 |
Articolo su rivista |
Bujiari, Armir; Marin, Andrea; Rossi, Sabina; Palazzi, Claudio Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic in COMPUTER NETWORKS, vol. 108, pp. 160-170 (ISSN 1389-1286)
DOI - URL correlato - Scheda ARCA: 10278/3682156 |
| 2016 |
Articolo su rivista |
Gallina, Lucia; Marin, Andrea; Rossi, Sabina Connectivity and energy-aware preorders for mobile ad-hoc networks in TELECOMMUNICATION SYSTEMS, vol. 63, pp. 307-333 (ISSN 1018-4864)
DOI - URL correlato - Scheda ARCA: 10278/3673294 |
| 2016 |
Articolo in Atti di convegno |
Marin, Andrea; Rossi, Sabina Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations , 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016), GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, SPRINGER INTERNATIONAL PUBLISHING AG, vol. 9826, pp. 123-138, Convegno: 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016), August 23-25 2016 (ISBN 978-331943424-7) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/3673299 |
| 2016 |
Articolo in Atti di convegno |
Marin, Andrea; Rossi, Sabina; Bujari, Armir; Palazzi, Claudio Performance evaluation of AQM techniques with heterogeneous traffic , 13th IEEE Annual Consumer Communications & Networking Conference, 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, pp. 194-199, Convegno: 13th IEEE Annual Consumer Communications & Networking Conference, 9-12 Jan. 2016 (ISBN 978-1-4673-9292-1)
DOI - URL correlato - Scheda ARCA: 10278/3673298 |
| 2016 |
Articolo in Atti di convegno |
Cavallin, Filippo; Marin, Andrea; Rossi, Sabina; Product-forms for Probabilistic Input/Output Automata , Proc. of 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2016), 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, pp. 361-366, Convegno: 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2016), September, 2016 (ISBN 978-1-5090-3432-1; 978-1-5090-3433-8) (ISSN 1526-7539)
DOI - Scheda ARCA: 10278/3682175 |
| 2015 |
Articolo in Atti di convegno |
Cavallin, Filippo; Marin, Andrea; Rossi, Sabina A Product-form Model for the Analysis of Systems with Aging Objects , Proceedings of Int. Conf. MASCOTS 2015, 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, vol. 2015-, pp. 136-145, Convegno: IEEE 23rd International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 2015, 2015 (ISBN 9781467377201) (ISSN 1526-7539)
DOI - Scheda ARCA: 10278/3663441 |
| 2015 |
Articolo in Atti di convegno |
Marin, Andrea; Rossi, Sabina Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses in Andrea Marin, Sabina Rossi, Proceedings of QEST 2015, th International Conference on Quantitative Evaluation of Systems, Springer, vol. 9259, pp. 160-175, Convegno: 12th International Conference, QEST 2015, September 1-3, 2015 (ISBN 978-3-319-22263-9) (ISSN 0302-9743)
DOI - URL correlato - Scheda ARCA: 10278/3663451 |
| 2015 |
Articolo in Atti di convegno |
Andrea Marin;
Sabina Rossi On the relations between Lumpability and Reversibility in Mike Attalah et al., Proceedings of MASCOTS 2014, IEEE COMPUTER SOC, pp. 427-432, Convegno: MASCOTS 2014 (ISBN 978-1-4799-5610-4)
DOI - Scheda ARCA: 10278/43986 |
| 2015 |
Articolo in Atti di convegno |
Marin, Andrea; Rossi, Sabina Priority-based bandwidth allocation in wireless sensor networks , 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015, ICST, pp. 137-144, Convegno: 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015, 2015 (ISBN 9781631900969)
DOI - Scheda ARCA: 10278/3680768 |
| 2015 |
Articolo in Atti di convegno |
Marin, Andrea; Rossi, Sabina Quantitative Analysis of Concurrent Reversible Computations , Proceedings of FORMATS 2015, Springer, vol. 9268, pp. 206-221, Convegno: FORMATS 2015 (ISBN 978-3-319-22974-4) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/3663443 |
| 2014 |
Articolo su rivista |
M. Bugliesi; L. Gallina; S. Hamadou; A. Marin;
S. Rossi Behavioural equivalences and interference metrics for mobile ad-hoc networks in PERFORMANCE EVALUATION, vol. 73, pp. 41-72 (ISSN 0166-5316)
DOI - URL correlato - Scheda ARCA: 10278/39218 |
| 2014 |
Articolo su rivista |
Michele Bugliesi; Andrea Marin; Sabina Rossi Model Checking Adaptive Service Compositions in SCIENCE OF COMPUTER PROGRAMMING, vol. 94, pp. 289-306 (ISSN 0167-6423)
DOI - URL correlato - Scheda ARCA: 10278/39176 |
| 2014 |
Articolo in Atti di convegno |
Andrea Marin;
Sabina Rossi On Discrete Time Reversibility modulo State Renaming and its Applications in William Knottenbelt et al., Proceedings of Valuetools 2014, ACM Association for Computing Machinery, pp. 225-232, Convegno: Valuetools 2014 (ISBN 978-1-63190-057-0)
DOI - Scheda ARCA: 10278/43987 |
| 2013 |
Articolo su rivista |
L. Gallina; S. Rossi A Process Calculus for Energy-Aware Multicast Communications of Mobile Ad-Hoc Networks in WIRELESS COMMUNICATIONS AND MOBILE COMPUTING, vol. 13, pp. 296-312 (ISSN 1530-8669)
DOI - Scheda ARCA: 10278/35585 |
| 2013 |
Articolo in Atti di convegno |
L. Gallina; T. Han; M. Kwiatkowska; A. Marin; S. Rossi A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks in Björn Landfeldt, Mónica Aguilar-Igartua, Ravi Prakash, Cheng Li, 6th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, MSWiM '13, ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: link esterno , Fax: (212)944-1318, pp. 255-262, Convegno: MsWim 2013, November 3-8, 2013 (ISBN 9781450323536)
DOI - URL correlato - Scheda ARCA: 10278/39159 |
| 2013 |
Articolo in Atti di convegno |
A. Marin; S. Rossi Autoreversibility: exploiting symmetries in Markov chains , Proceedings of Int. Conf. MASCOTS 2013, Los Alamos, IEEE COMPUTER SOCIETY, pp. 151-160, Convegno: MASCOTS 2013, August 2013 (ISBN 9780769551029)
DOI - Scheda ARCA: 10278/39158 |
| 2013 |
Articolo in Atti di convegno |
J. Hillston; A. Marin; C. Piazza; S. Rossi Contextual Lumpability , Proceedings of Valuetools 2013, Los Alamos, ACM, Convegno: Valuetools 2013, December, 2013 (ISBN 9781450325394)
DOI - Scheda ARCA: 10278/39247 |
| 2013 |
Articolo in Atti di convegno |
Gian-Luca Dei Rossi; Lucia Gallina; Sabina Rossi Performance Analysis and Formal Verification of Cognitive Wireless Networks , Computer Performance Engineering, Berlin, Springer Berlin Heidelberg, vol. 8168, pp. 236-250, Convegno: 10th European Workshop, EPEW 2013, September 16-17, 2013 (ISBN 9783642407246) (ISSN 0302-9743)
DOI - URL correlato - Scheda ARCA: 10278/39262 |
| 2012 |
Articolo in Atti di convegno |
L. Gallina; T. Han; M. Kwiatkowska; A. Marin; S. Rossi; S. Spanò Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks , Proc. of IFIP Wireless Days 2012, IEEE, pp. 1-6, Convegno: IFIP Wireless Days 2012, 21-23 Nov. 2012 (ISBN 9781467344029)
DOI - URL correlato - Scheda ARCA: 10278/39312 |
| 2012 |
Articolo in Atti di convegno |
L. Gallina; G. Dei Rossi; A. Marin; S. Rossi Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks , Proc. of the 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM'12), New York, NY, ACM, pp. 151-158, Convegno: ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM'12), 21-26 Oct 2012 (ISBN 9781450316286)
DOI - URL correlato - Scheda ARCA: 10278/35213 |
| 2012 |
Articolo in Atti di convegno |
M. Bugliesi; L. Gallina; S. Hamadou; A. Marin; S. Rossi Interference-sensitive Preorders for MANETs , Proc. of the 9th International Conference on Quantitative Evaluation of SysTems (QEST), Washington, DC, IEEE, pp. 189-198, Convegno: QEST'12, 17-20 Sep 2012 (ISBN 9780769547817)
DOI - URL correlato - Scheda ARCA: 10278/39280 |
| 2011 |
Articolo in Atti di convegno |
L. Gallina; S. Hamadou; A. Marin; S. Rossi A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks , Proceedings of the IFIP Wireless Days Conference 2011, IEEE Computer Society, pp. 1-6, Convegno: IFIP Wireless Days 2011, October 10-12, 2011 (ISBN 9781457720277)
DOI - URL correlato - Scheda ARCA: 10278/27867 |
| 2011 |
Articolo in Atti di convegno |
L. Gallina; S. Hamadou; A. Marin; S. Rossi A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks , Analytical and Stochastic Modeling Techniques and Applications, Berlin, Berlin Heidelberg: Springer, vol. 6751, pp. 316-330, Convegno: 18th International Conference, ASMTA 2011, June 20-22, 2011 (ISBN 9783642217128) (ISSN 0302-9743)
DOI - URL correlato - Scheda ARCA: 10278/39362 |
| 2011 |
Articolo in Atti di convegno |
S. ROSSI Model Checking Adaptive Multilevel Service Compositions , Formal Aspects of Component Software, Berlin, Berlin Heidelberg: Springer, vol. 6921, pp. 105-122, Convegno: 7th International Workshop, FACS 2010, October 14-16, 2010 (ISBN 9783642272684) (ISSN 0302-9743)
DOI - URL correlato - Scheda ARCA: 10278/39156 |
| 2010 |
Articolo in Atti di convegno |
GALLINA L.; ROSSI S. A Calculus for Power-aware Multicast Communications in Ad Hoc Networks , Theoretical Computer Science, Berlin, Berlin Heidelberg: Springer, vol. 323, pp. 20-31, Convegno: 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, September 20-23, 2010 (ISBN 9783642152399)
DOI - URL correlato - Scheda ARCA: 10278/24302 |
| 2010 |
Articolo in Atti di convegno |
GALLINA L.; ROSSI S. Sender- and Receiver-centered Interference in Wireless Ad Hoc Networks , Proceedings of the 3rd IFIP Wireless Days Conference 2010, IEEE Computer Society, Convegno: IFIP Wireless Days 2010, October 20-22, 2010 (ISBN 9781424492305)
DOI - URL correlato - Scheda ARCA: 10278/24269 |
| 2009 |
Articolo in Atti di convegno |
M. BUGLIESI; D. MACEDONIO; L. PINO; ROSSI S. Compliance Preorders for Web Services. , Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers, Berlin, Springer Berlin Heidelberg, vol. 6194, pp. 76-91, Convegno: WS-FM 2009, 4-5 September 2009 (ISBN 9783642144578) (ISSN 1611-3349)
DOI - URL correlato - Scheda ARCA: 10278/39898 |
| 2009 |
Articolo in Atti di convegno |
ROSSI S.; MACEDONIO D. Information Flow Security for Service Compositions. , Proceedings of the International Conference on Ultra Modern Telecommunications, ICUMT 2009, IEEE Computer Society, pp. 1-8, Convegno: Proceedings of the International Conference on Ultra Modern Telecommunications, ICUMT 2009, 12-14 October 2009 (ISBN 9781424439416)
DOI - URL correlato - Scheda ARCA: 10278/39899 |
| 2008 |
Articolo in Atti di convegno |
G. BERNARDI; M. BUGLIESI; D. MACEDONIO; ROSSI S. A Theory of Adaptable Contract-based Service Composition. , SYNASC 2008 10th Int. Symp. Symbolic and Numeric Computation., IEEE Computer Society, pp. 327-334, Convegno: SYNASC 2008 10th Int. Symp. Symbolic and Numeric Computation., 26 - 29 Sept (ISBN 9780769535234)
DOI - URL correlato - Scheda ARCA: 10278/39503 |
| 2008 |
Articolo in Atti di convegno |
BOSSI A.; PIAZZA C; ROSSI S Action Refinement in Process Algebra and Security Issues , Logic-Based Program Synthesis and Transformation, Berlin Heidelberg: Springer, vol. 4915, pp. 201-217, Convegno: 17th International Symposium, LOPSTR 2007 (ISBN 9783540787686) (ISSN 0302-9743)
- Scheda ARCA: 10278/19019 |
| 2008 |
Articolo in Atti di convegno |
S. CRAFA; M. MIO; M. MICULAN; C. PIAZZA; ROSSI S. PicNic - Pi-calculus Non-Interference checker , Proc of the 8th International Conference on Application on Concurrency to System Design, ACSD 2008, IEEE Computer Society, pp. 33-38, Convegno: ACSD'08, June 23–27, 2008 (ISBN 9781424418381)
- Scheda ARCA: 10278/19014 |
| 2007 |
Articolo su rivista |
BOSSI A.; C. PIAZZA; S. ROSSI Compositional information flow security for concurrent programs in JOURNAL OF COMPUTER SECURITY, vol. 15, pp. 373-416 (ISSN 0926-227X)
- URL correlato - Scheda ARCA: 10278/39141 |
| 2007 |
Articolo su rivista |
CRAFA S; ROSSI S. Controlling Information Release in the pi-calculus in INFORMATION AND COMPUTATION, vol. 285, pp. 1235-1273 (ISSN 0890-5401)
DOI - URL correlato - Scheda ARCA: 10278/29431 |
| 2007 |
Articolo in Atti di convegno |
M. BUGLIESI; D. MACEDONIO; ROSSI S. Static vs Dynamic Typing for Access Control in Pi-Calculus , Advances in Computer Science - ASIAN 2007. Computer and Network Security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings., vol. 4846, pp. 282-296, Convegno: ASIAN 2007 (ISBN 9783540769279) (ISSN 0302-9743)
- Scheda ARCA: 10278/19385 |
| 2006 |
Articolo su rivista |
FOCARDI R; ROSSI S. Information Flow Security in Dynamic Contexts in JOURNAL OF COMPUTER SECURITY, vol. 14, pp. 65-110 (ISSN 0926-227X)
- Scheda ARCA: 10278/29828 |
| 2006 |
Articolo in Atti di convegno |
CRAFA S; ROSSI S. P-Congruences as Non-Interference for the pi-calculus , Proceedings of the 2006 ACM workshop on Formal methods in security engineering, ACM, pp. 13-22, Convegno: FMSE'06, NOV. 3, 2006 (ISBN 1595935509)
- Scheda ARCA: 10278/16045 |
| 2005 |
Articolo su rivista |
BOSSI A.; D. MACEDONIO; C. PIAZZA; S. ROSSI Information Flow in Secure Contexts in JOURNAL OF COMPUTER SECURITY, vol. 13, pp. 391-422 (ISSN 0926-227X)
- URL correlato - Scheda ARCA: 10278/29830 |
| 2005 |
Articolo su rivista |
BUGLIESI M; ROSSI S. Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols in JOURNAL OF COMPUTER SECURITY, vol. 13, pp. 87-113 (ISSN 0926-227X)
- URL correlato - Scheda ARCA: 10278/39177 |
| 2005 |
Articolo in Atti di convegno |
CRAFA S; ROSSI S. A Theory of Noninterference for the pi-calculus , Trustworthy Global Computing, Berlin Heidelberg: Springer, vol. 3705, pp. 2-18, Convegno: International Symposium, TGC 2005 (ISBN 3540300074) (ISSN 0302-9743)
- Scheda ARCA: 10278/13595 |
| 2005 |
Articolo in Atti di convegno |
FOCARDI R.; ROSSI S; SABELFELD A Bridging Language-Based and Process Calculi Security , Foundations of Software Science and Computational Structures, vol. 3441, pp. 299-315, Convegno: 8th International Conference, FOSSACS 2005 (ISBN 3540253882) (ISSN 0302-9743)
- Scheda ARCA: 10278/34383 |
| 2005 |
Articolo in Atti di convegno |
BOSSI A.; C. PIAZZA; S. ROSSI Unwinding Conditions for Security in Imperative Languages , Logic Based Program Synthesis and Transformation, Berlin Heidelberg: Springer, vol. 3573, pp. 85-100, Convegno: 14th International Symposium, LOPSTR 2004 (ISBN 3540266550) (ISSN 0302-9743)
- Scheda ARCA: 10278/12641 |
| 2005 |
Rapporto di ricerca |
BOSSI A.; PIAZZA C; ROSSI S Compositional Information Flow Security for Concurrent Programs , Dipartimento di Informatica, Universita' Ca' Foscari, vol. CS-2005-5, Marzo 2005
- Scheda ARCA: 10278/4690 |
| 2004 |
Articolo su rivista |
BOSSI A.; ETALLE S.; ROSSI S.; SMAUS J.G. Termination of Simply Moded Logic Programs with Dynamic Scheduling. in ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, vol. 5, pp. 470-507 (ISSN 1529-3785)
DOI - URL correlato - Scheda ARCA: 10278/28670 |
| 2004 |
Articolo su rivista |
BOSSI A; FOCARDI R; MACEDONIO D; PIAZZA C; ROSSI S. Unwinding in Information Flow Security in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 99, pp. 127-154 (ISSN 1571-0661)
DOI - URL correlato - Scheda ARCA: 10278/38887 |
| 2004 |
Articolo su rivista |
BOSSI A.; FOCARDI R.; PIAZZA C.; ROSSI S. Verifying Persistent Security Properties. in COMPUTER LANGUAGES, SYSTEMS & STRUCTURES, vol. 30, pp. 231-258 (ISSN 1477-8424)
DOI - URL correlato - Scheda ARCA: 10278/39178 |
| 2004 |
Articolo su libro |
BOSSI A.; N. COCCO; S. ETALLE; S. ROSSI Declarative Semantics of Input Consuming Logic Programs , Program Development in Computational Logic, Berlin, Springer Verlag Germany, vol. 3049, pp. 90-114 (ISBN 3540221522) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/31212 |
| 2004 |
Articolo in Atti di convegno |
PIAZZA C; PIVATO E; ROSSI S. CoPS - Checker of Persistent Security , Tools and Algorithms for the Construction and Analysis of Systems, Berlin Heidelberg: Springer, vol. 2988, pp. 144-152, Convegno: 10th International Conference, TACAS 2004 (ISBN 354021299X) (ISSN 0302-9743)
- Scheda ARCA: 10278/13596 |
| 2004 |
Articolo in Atti di convegno |
BOSSI A; PIAZZA C; ROSSI S. Modelling Downgrading in Information Flow Security , 17th IEEE Computer Security Foundations Workshop, IEEE Computer Society, pp. 187-201, Convegno: CSFW'04, 28-30 June 2004 (ISBN 076952169X)
- Scheda ARCA: 10278/16046 |
| 2003 |
Articolo in Atti di convegno |
BOSSI A.; FOCARDI R; PIAZZA C; ROSSI S A Proof System for Information Flow Security , Logic Based Program Synthesis and Transformation, vol. 2664, pp. 199-218, Convegno: LOPSTR '02 (ISBN 3540404384)
DOI - Scheda ARCA: 10278/32533 |
| 2003 |
Articolo in Atti di convegno |
BOSSI A.; FOCARDI R; PIAZZA C; ROSSI S Bisimulation and Unwinding for Verifying Possibilistic Security Properties , Verification, Model Checking, and Abstract Interpretation, vol. 2575 of LNCS, pp. 223-237, Convegno: VMCAI'03 (ISBN 3540003487) (ISSN 0302-9743)
- Scheda ARCA: 10278/12642 |
| 2003 |
Articolo in Atti di convegno |
BUGLIESI M; CECCATO A; ROSSI S. Context-Sensitive Equivalences for Non-Interference based Protocol Analysis , Fundamentals of Computation Theory, 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings., vol. 2751, pp. 364-375 (ISBN 3540405437) (ISSN 0302-9743)
- Scheda ARCA: 10278/23191 |
| 2003 |
Articolo in Atti di convegno |
BOSSI A.; MACEDONIO D; PIAZZA C; ROSSI S Information Flow Security and Recursive Systems , Theoretical Computer Science, Berlin Heidelberg: Springer, vol. 2841, pp. 369-382, Convegno: 8th Italian Conference, ICTCS 2003 (ISBN 3540202161) (ISSN 0302-9743)
- Scheda ARCA: 10278/12643 |
| 2003 |
Articolo in Atti di convegno |
BOSSI A; FOCARDI R; PIAZZA C; ROSSI S. Refinement Operators and Information Flow Security , 1st International Conference on Software Engineering and Formal Methods, IEEE Computer Society, pp. 44-53, Convegno: SEFM'03, 22-27 September (ISBN 9780769519494)
- Scheda ARCA: 10278/16047 |
| 2003 |
Articolo in Atti di convegno |
BOSSI A; MACEDONIO D; PIAZZA C; ROSSI S. Secure Contexts for Confidential Data , 16th IEEE Computer Security Foundations Workshop, IEEE Computer Society, pp. 14-28, Convegno: CSFW'03, 30 June-2 July 2003 (ISBN 076951927X)
- Scheda ARCA: 10278/16048 |
| 2002 |
Articolo su rivista |
BOSSI A.; COCCO N; ETALLE S; ROSSI S On Modular Termination Proofs of General Logic Programs in THEORY AND PRACTICE OF LOGIC PROGRAMMING, vol. 2, pp. 263-291 (ISSN 1471-0684)
- Scheda ARCA: 10278/12586 |
| 2002 |
Articolo su rivista |
BOSSI A.; ETALLE S; ROSSI S Properties of Input-Consuming Derivations in THEORY AND PRACTICE OF LOGIC PROGRAMMING, vol. 2, pp. 125-154 (ISSN 1471-0684)
- URL correlato - Scheda ARCA: 10278/38885 |
| 2002 |
Articolo su rivista |
LE CHARLIER B; ROSSI S.; VAN HENTENRYCK P Sequence-based Abstract Interpretation of Prolog in THEORY AND PRACTICE OF LOGIC PROGRAMMING, vol. 2, pp. 25-84 (ISSN 1471-0684)
- URL correlato - Scheda ARCA: 10278/29432 |
| 2002 |
Articolo in Atti di convegno |
FOCARDI R.; SABINA ROSSI A Security Property for Processes in Dynamic Contexts , ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security WITS02, Convegno: ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security WITS02
- Scheda ARCA: 10278/6021 |
| 2002 |
Articolo in Atti di convegno |
FOCARDI R; ROSSI S. Information Flow Security in Dynamic Contexts , Computer Security Foundations Workshop, IEEE Computer Society, pp. 307-319, Convegno: CSFW'02, 24-26 June 2002 (ISBN 9780769516899)
- Scheda ARCA: 10278/16049 |
| 2002 |
Articolo in Atti di convegno |
FOCARDI R.; C. PIAZZA; S. ROSSI Proofs Methods for Bisimulation based Information Flow Security , Third International Workshop on Verification, Model Checking and Abstract Interpretation, vol. 2294, pp. 16-31, Convegno: VMCAI 2002 (ISBN 9783540436317) (ISSN 0302-9743)
- Scheda ARCA: 10278/11586 |
| 2002 |
Articolo in Atti di convegno |
BOSSI A.; FOCARDI R; PIAZZA C; ROSSI S Transforming processes to check and ensure Information Flow Security , Algebraic Methodology and Software Technology, vol. 2422 of LNCS, pp. 271-286, Convegno: AMAST 2002 (ISBN 3540441441) (ISSN 0302-9743)
- Scheda ARCA: 10278/32668 |
| 2001 |
Articolo su rivista |
CORTESI A; ROSSI S.; LE CHARLIER B Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 48, pp. 29-44 (ISSN 1571-0661)
DOI - URL correlato - Scheda ARCA: 10278/22307 |
| 2001 |
Articolo in Atti di convegno |
CORTESI A.; LE CHARLIER B.; ROSSI S. Reexecution-Based Analysis of Logic Programs with Delay Declarations. in Dines Bjørner, Manfred Broy, Alexandre V. Zamulin, Perspectives of System Informatics, Heidelberg, Springer Verlag, vol. 2244, pp. 395-405, Convegno: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, July 2-6, 2001 (ISBN 354043075X) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/11478 |
| 2001 |
Articolo in Atti di convegno |
BOSSI A.; ETALLE S; ROSSI S; SMAUS J.G Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling , Programming Languages and Systems, Berlin Heidelberg: Springer, vol. 2028, pp. 402-416, Convegno: 10th European Symposium on Programming, ESOP 2001 (ISBN 3540418628) (ISSN 0302-9743)
- Scheda ARCA: 10278/12645 |
| 2001 |
Articolo in Atti di convegno |
BOSSI A; COCCO N; ROSSI S. Termination of Well-Typed Logic Programs , Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, NY-USA, ACM, pp. 73-81, Convegno: 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (ISBN 158113388X)
DOI - Scheda ARCA: 10278/16050 |
| 2000 |
Articolo su rivista |
BOSSI A; ETALLE S; ROSSI S. Semantics of well-moded input-consuming logic programs in COMPUTER LANGUAGES, vol. 26, pp. 1-25 (ISSN 0096-0551)
- Scheda ARCA: 10278/39256 |
| 2000 |
Articolo in Atti di convegno |
BOSSI A; ETALLE S; ROSSI S. Semantics of input-consuming programs , Computational Logic, Berlin Heidelberg: Springer, vol. 1861, pp. 194-208, Convegno: First International Conference, CL 2000 (ISBN 3540677976) (ISSN 0302-9743)
- Scheda ARCA: 10278/13593 |
| 1999 |
Articolo su rivista |
LE CHARLIER B; LECLERE C; ROSSI S.; CORTESI A Automated Verification of Prolog Programs in JOURNAL OF LOGIC PROGRAMMING, vol. 39, pp. 3-42 (ISSN 0743-1066)
DOI - URL correlato - Scheda ARCA: 10278/39309 |
| 1999 |
Articolo su rivista |
BOSSI A; ETALLE S; ROSSI S. Properties of Input-Consuming Derivations in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 30, pp. 102-124 (ISSN 1571-0661)
DOI - URL correlato - Scheda ARCA: 10278/13594 |
| 1998 |
Articolo in Atti di convegno |
BOSSI A; ROSSI S. Call-Correct Specialisation of Logic Programs , Sixth Italian Conference on Theoretical Computer Science, World Scientific, pp. 335-346, Convegno: ICTCS'98, 9-11 NOVEMBER (ISBN 9789810236557)
- Scheda ARCA: 10278/8204 |
| 1998 |
Articolo in Atti di convegno |
BOSSI A; ROSSI S. Specialising Logic Programs with respect to Call/Post Specifications , Logic Programming Synthesis and Transformation, Berlin Heidelberg: Springer, vol. 1559, pp. 143-158, Convegno: 8th International Workshop, LOPSTR'98 (ISBN 3540657657) (ISSN 0302-9743)
- Scheda ARCA: 10278/13597 |
| 1997 |
Articolo in Atti di convegno |
LE CHARLIER B; LECLERE C; ROSSI S.; CORTESI A Automated Behavioural Verification of Prolog Programs , Joint Conference on Declarative Programming (APPIA-GULP-PRODE'97), pp. 189-200, Convegno: Joint Conference on Declarative Programming (APPIA-GULP-PRODE'97), 16-19 June
- Scheda ARCA: 10278/8252 |
| 1997 |
Articolo in Atti di convegno |
LE CHARLIER B; LECLERE C; ROSSI S.; CORTESI A Automated Verification of Behavioural Properties of Prolog Programs , Advances in Computing Science, Berlin Heidelberg: Springer, vol. 1345, pp. 225-238, Convegno: Third Asian Computing Science Conference, ASIAN'97, 9-11 December 1997 (ISBN 354063875X) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/13598 |
| 1996 |
Articolo in Atti di convegno |
LE CHARLIER B; ROSSI S.; CORTESI A Specification-based Automatic Verification of Prolog Programs , Logic Programming Synthesis and Transformation, Berlin Heidelberg: Springer, vol. 1207, pp. 38-57, Convegno: 6th International Workshop, LOPSTR'96 (ISBN 3540627189) (ISSN 0302-9743)
- Scheda ARCA: 10278/13791 |
| 1994 |
Articolo in Atti di convegno |
LE CHARLIER B; ROSSI S.; VAN HENTENRYCK P An Abstract Interpretation Framework for (almost) Full Prolog , Joint Conference on Declarative Programming (GULP-PRODE'94), pp. 92-106, Convegno: Joint Conference on Declarative Programming (GULP-PRODE'94), 19-22 September
- Scheda ARCA: 10278/8207 |
| 1994 |
Articolo in Atti di convegno |
LE CHARLIER B; ROSSI S.; VAN HENTENRYCK P An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut , Logic Programming, MIT Press, pp. 157-171, Convegno: International Logic Programming Symposium (ILPS'94), 13-17 November (ISBN 0262521911)
- Scheda ARCA: 10278/8205 |
| 1993 |
Articolo in Atti di convegno |
FILE' G; ROSSI S. Static Analysis of Prolog with Cut , 8th Italian Conference on Logic Programming (GULP'93), pp. 325-340, Convegno: 8th Italian Conference on Logic Programming (GULP'93), 15-18 June
- Scheda ARCA: 10278/8206 |
| 1993 |
Articolo in Atti di convegno |
FILE' G; ROSSI S. Static Analysis of Prolog with Cut , Logic Programming and Automated Reasoning, Berlin Heidelberg: Springer, vol. 698, pp. 134-145, Convegno: 4th International Conference, LPAR'93 (ISBN 3540569448) (ISSN 0302-9743)
- Scheda ARCA: 10278/13839 |
