2009 | ||
---|---|---|
121 | EE | Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli: Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers Springer 2009 |
2008 | ||
120 | Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro: Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures Springer 2008 | |
119 | Pierpaolo Degano, Rocco De Nicola, José Meseguer: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday Springer 2008 | |
118 | EE | Han Gao, Chiara Bodei, Pierpaolo Degano: A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. AMAST 2008: 167-183 |
117 | EE | Rocco De Nicola, Pierpaolo Degano, José Meseguer: Ugo Montanari in a Nutshell. Concurrency, Graphs and Models 2008: 1-8 |
116 | EE | Davide Chiarugi, Pierpaolo Degano, Jan Bert Van Klinken, Roberto Marangoni: Cells in Silico: A Holistic Approach. SFM 2008: 366-386 |
115 | EE | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Model Checking Usage Policies. TGC 2008: 19-35 |
114 | EE | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Semantics-Based Design for Secure Web Services. IEEE Trans. Software Eng. 34(1): 33-49 (2008) |
113 | EE | Pierpaolo Degano, Ralf Küsters, Luca Viganò, Steve Zdancewic: Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06). Inf. Comput. 206(2-4): 129 (2008) |
112 | EE | Pierpaolo Degano, Luca Viganò: Preface. Int. J. Inf. Sec. 7(1): 1 (2008) |
111 | EE | Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano: Synapses as stochastic concurrent systems. Theor. Comput. Sci. 408(1): 66-82 (2008) |
2007 | ||
110 | EE | Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson: A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. ASIAN 2007: 150-165 |
109 | EE | Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano: Expressive Models for Synaptic Plasticity. CMSB 2007: 152-167 |
108 | EE | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Secure Service Orchestration. FOSAD 2007: 24-74 |
107 | EE | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Types and Effects for Resource Usage Analysis. FoSSaCS 2007: 32-47 |
106 | EE | Linda Brodo, Pierpaolo Degano, Corrado Priami: A Stochastic Semantics for BioAmbients. PaCT 2007: 22-34 |
105 | EE | Chiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo: Detecting and Preventing Type flaws: a Control Flow Analysis with Tags. Electr. Notes Theor. Comput. Sci. 194(1): 3-22 (2007) |
2006 | ||
104 | EE | Davide Chiarugi, M. Chinellato, Pierpaolo Degano, G. Lo Brutto, Roberto Marangoni: Feedbacks and Oscillations in the Virtual Cell VICE. CMSB 2006: 93-107 |
103 | EE | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Types and Effects for Secure Service Orchestration. CSFW 2006: 57-69 |
102 | EE | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Security Issues in Service Composition. FMOODS 2006: 1-16 |
101 | EE | Roberto Zunino, Pierpaolo Degano: Handling exp, × (and Timestamps) in Protocol Analysis. FoSSaCS 2006: 413-427 |
100 | EE | Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia: Beta-binders for Biological Quantitative Experiments. Electr. Notes Theor. Comput. Sci. 164(3): 101-117 (2006) |
99 | EE | Pierpaolo Degano, Luca Viganò: Preface. Theor. Comput. Sci. 367(1-2): 1 (2006) |
2005 | ||
98 | EE | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Enforcing Secure Service Composition. CSFW 2005: 211-223 |
97 | EE | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: History-Based Access Control with Local Policies. FoSSaCS 2005: 316-332 |
96 | EE | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Checking Risky Events Is Enough for Local Policies. ICTCS 2005: 97-112 |
95 | EE | Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami: On Evaluating the Performance of Security Protocols. PaCT 2005: 1-15 |
94 | EE | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Policy framings for access control. WITS 2005: 5-11 |
93 | EE | Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami: Performance Evaluation of Security Protocols Specified in LySa. Electr. Notes Theor. Comput. Sci. 112: 167-189 (2005) |
92 | EE | Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami: A Quantitative Study of Two Attacks. Electr. Notes Theor. Comput. Sci. 121: 65-85 (2005) |
91 | EE | Pierpaolo Degano, Luca Viganò: Preface. Electr. Notes Theor. Comput. Sci. 135(1): 1-2 (2005) |
90 | EE | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Authentication primitives for secure protocol specifications. Future Generation Comp. Syst. 21(4): 645-653 (2005) |
89 | Chiara Bodei, Pierpaolo Degano, Corrado Priami: Checking security policies through an enhanced Control Flow Analysis. Journal of Computer Security 13(1): 49-85 (2005) | |
88 | EE | Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static validation of security protocols. Journal of Computer Security 13(3): 347-390 (2005) |
87 | EE | Roberto Zunino, Pierpaolo Degano: Weakening the perfect encryption assumption in Dolev-Yao adversaries. Theor. Comput. Sci. 340(1): 154-178 (2005) |
2004 | ||
86 | EE | Davide Chiarugi, Michele Curti, Pierpaolo Degano, Roberto Marangoni: VICE: A VIrtual CEll. CMSB 2004: 207-220 |
85 | EE | Roberto Zunino, Pierpaolo Degano: A Note on the Perfect Encryption Assumption in a Process Calculus. FoSSaCS 2004: 514-528 |
84 | EE | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Program Transformations under Dynamic Security Policies. Electr. Notes Theor. Comput. Sci. 99: 49-86 (2004) |
83 | EE | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Stack inspection and secure program transformations. Int. J. Inf. Sec. 2(3-4): 187-217 (2004) |
82 | EE | Pierpaolo Degano: Preface. Sci. Comput. Program. 50(1-3): 1 (2004) |
81 | EE | Michele Curti, Pierpaolo Degano, Corrado Priami, Cosima Tatiana Baldari: Modelling biochemical pathways through enhanced pi-calculus. Theor. Comput. Sci. 325(1): 111-140 (2004) |
2003 | ||
80 | Pierpaolo Degano: Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings Springer 2003 | |
79 | EE | Pierpaolo Degano, Corrado Priami: Enhanced Operational Semantics in Systems Biology. CMSB 2003: 178-181 |
78 | EE | Michele Curti, Pierpaolo Degano, Cosima Tatiana Baldari: Causal pi-Calculus for Biochemical Modelling. CMSB 2003: 21-33 |
77 | EE | Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Automatic Validation of Protocol Narration. CSFW 2003: 126-140 |
76 | EE | Pierpaolo Degano, Fabio Gadducci, Corrado Priami: Causality and Replication in Concurrent Processes. Ershov Memorial Conference 2003: 307-318 |
75 | EE | Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami: Performance Evaluation for Global Computation. Global Computing 2003: 229-253 |
74 | EE | Linda Brodo, Pierpaolo Degano, Corrado Priami: Reflecting Mobile Ambients into the p-Calculus. Global Computing 2003: 25-56 |
73 | EE | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Security-Aware Program Transformations. ICTCS 2003: 355-368 |
72 | EE | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Authentication Primitives for Protocol Specifications. PaCT 2003: 49-65 |
2002 | ||
71 | EE | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Flow logic for Dolev-Yao secrecy in cryptographic processes. Future Generation Comp. Syst. 18(6): 747-756 (2002) |
70 | EE | Pierpaolo Degano, Fabio Gadducci, Corrado Priami: A causal semantics for CCS via rewriting logic. Theor. Comput. Sci. 275(1-2): 259-282 (2002) |
69 | EE | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Primitives for authentication in process algebras. Theor. Comput. Sci. 283(2): 271-304 (2002) |
2001 | ||
68 | EE | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static Analysis for Secrecy and Non-interference in Networks of Processes. PaCT 2001: 27-41 |
67 | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Security Analysis Using Flow Logics. Current Trends in Theoretical Computer Science 2001: 525-542 | |
66 | EE | Pierpaolo Degano, Corrado Priami: Enhanced operational semantics. ACM Comput. Surv. 33(2): 135-176 (2001) |
65 | EE | Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Static Analysis for Stack Inspection. Electr. Notes Theor. Comput. Sci. 54: (2001) |
64 | EE | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Techniques for Security Checking: Non-Interference vs Control Flow Analysis. Electr. Notes Theor. Comput. Sci. 62: (2001) |
63 | EE | Chiara Nottegar, Corrado Priami, Pierpaolo Degano: Performance Evaluation of Mobile Processes via Abstract Machines. IEEE Trans. Software Eng. 27(10): 867-889 (2001) |
62 | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static Analysis for the pi-Calculus with Applications to Security. Inf. Comput. 168(1): 68-92 (2001) | |
61 | EE | Chiara Bodei, Pierpaolo Degano, Corrado Priami: Names of the -calculus agents handled locally. Theor. Comput. Sci. 253(2): 155-184 (2001) |
2000 | ||
60 | EE | Pierpaolo Degano, Francesca Levi, Chiara Bodei: Safe Ambients: Control Flow Analysis and Security. ASIAN 2000: 199-214 |
59 | Linda Brodo, Pierpaolo Degano, Corrado Priami: A tool for quantitative analysis of calculus processes. ICALP Satellite Workshops 2000: 535-550 | |
58 | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Security Analysis using Flow Logics. Bulletin of the EATCS 70: 112-130 (2000) | |
1999 | ||
57 | EE | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Authentication via Localized Names. CSFW 1999: 98-110 |
56 | Chiara Nottegar, Corrado Priami, Pierpaolo Degano: Semantic-Driven Performance Evaluation (Extended Abstract). FASE 1999: 204-218 | |
55 | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Static Analysis of Processes for No and Read-Up nad No Write-Down. FoSSaCS 1999: 120-134 | |
54 | EE | Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela, Peter Wegner: Computing Surveys' Electronic Symposium on the Theory of Computation. ACM Comput. Surv. 31(3): 223-226 (1999) |
53 | EE | Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen: Causality for Debugging Mobile Agents. Acta Inf. 36(5): 335-374 (1999) |
52 | EE | Pierpaolo Degano, Corrado Priami: Non-Interleaving Semantics for Mobile Processes. Theor. Comput. Sci. 216(1-2): 237-270 (1999) |
1998 | ||
51 | EE | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Control Flow Analysis for the pi-calculus. CONCUR 1998: 84-98 |
50 | EE | Chiara Bodei, Pierpaolo Degano, Corrado Priami: Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. SAS 1998: 168-183 |
49 | Pierpaolo Degano, Corrado Priami: LR Techniques for Handling Syntax Errors. Comput. Lang. 24(2): 73-98 (1998) | |
48 | EE | Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci: CCS semantics via proved transition systems and rewriting logic. Electr. Notes Theor. Comput. Sci. 15: (1998) |
1997 | ||
47 | Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela: Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings Springer 1997 | |
1996 | ||
46 | Chiara Bodei, Pierpaolo Degano, Corrado Priami: Mobile Processes with a Distributed Environment. ICALP 1996: 490-501 | |
45 | Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen: Logical and Operational Methods in the Analysis of Programs and Systems. LOMAPS 1996: 1-21 | |
44 | Pierpaolo Degano, Jean-Vincent Loddo, Corrado Priami: Mobile Processes with Local Clocks. LOMAPS 1996: 296-319 | |
43 | Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen: Analysis of Facile Programs: A Case Study. LOMAPS 1996: 345-369 | |
42 | Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen: Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. SAS 1996: 98-112 | |
41 | Pierpaolo Degano, Corrado Priami: Enhanced Operational Semantics. ACM Comput. Surv. 28(2): 352-354 (1996) | |
40 | Pierpaolo Degano, José Meseguer, Ugo Montanari: Axiomatizing the Algebra of Net Computations and Processes. Acta Inf. 33(7): 641-667 (1996) | |
1995 | ||
39 | Alan Mycroft, Pierpaolo Degano, Corrado Priami: Complexity as a Basis for Comparing Semantic Models of Concurrency. ASIAN 1995: 141-155 | |
38 | Pierpaolo Degano, Corrado Priami: A Transitional Semantics of Full Prolog. GULP-PRODE 1995: 511-520 | |
37 | Pierpaolo Degano, Corrado Priami: Causality for Mobile Processes. ICALP 1995: 660-671 | |
36 | Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami: An Efficient Verifier of Truly Concurrent Properties. PaCT 1995: 36-50 | |
35 | Pierpaolo Degano, Leonarda Raffoni: Fairness and Priority. Fundam. Inform. 22(3): 299-306 (1995) | |
34 | Pierpaolo Degano, Roberto Gorrieri: A Causal Operational Semantics of Action Refinement Inf. Comput. 122(1): 97-119 (1995) | |
33 | Pierpaolo Degano, Corrado Priami: Comparison of Syntactic Error Handling in LR Parsers. Softw., Pract. Exper. 25(6): 657-679 (1995) | |
1993 | ||
32 | Pierpaolo Degano, Roberto Gorrieri, Sebastiano Vigna: On Relating Some Models for Concurrency. TAPSOFT 1993: 15-30 | |
31 | EE | U. Bianchi, Pierpaolo Degano, Stefano Mannucci, Simone Martini, Bruno Mojana, Corrado Priami, E. Salvatori: Generating the analytic component parts of syntax-directed editors with efficient-error recovery. Journal of Systems and Software 23(1): 65-79 (1993) |
30 | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari: Universal Axioms for Bisimulations. Theor. Comput. Sci. 114(1): 63-91 (1993) | |
29 | Philippe Darondeau, Pierpaolo Degano: Refinement of Actions in Event Structures and Causal Trees. Theor. Comput. Sci. 118(1): 21-48 (1993) | |
1992 | ||
28 | Pierpaolo Degano, Corrado Priami: Proved Trees. ICALP 1992: 629-640 | |
27 | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari: Observation Trees. NAPAW 1992: 103-118 | |
26 | Pierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini: A Categorial View of Process Refinement. REX Workshop 1992: 138-153 | |
1991 | ||
25 | Pierpaolo Degano, Stefano Kasangian, Sebastiano Vigna: Applications of the Calculus of Trees to Process Description Languages. Category Theory and Computer Science 1991: 282-301 | |
24 | Pierpaolo Degano, Roberto Gorrieri: Atomic Refinement in Process Description Languages. MFCS 1991: 121-130 | |
23 | Philippe Darondeau, Pierpaolo Degano: About semantic action refinement. Fundam. Inform. 14(2): 221-234 (1991) | |
1990 | ||
22 | Philippe Darondeau, Pierpaolo Degano: Event Structures, Causal Trees, and Refinements. MFCS 1990: 239-245 | |
21 | Philippe Darondeau, Pierpaolo Degano: Causal Trees: Interleaving + Causality. Semantics of Systems of Concurrent Processes 1990: 239-255 | |
20 | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari: A Partial Ordering Semantics for CCS. Theor. Comput. Sci. 75(3): 223-262 (1990) | |
1989 | ||
19 | Philippe Darondeau, Pierpaolo Degano: Causal Trees. ICALP 1989: 234-248 | |
18 | Pierpaolo Degano, José Meseguer, Ugo Montanari: Axiomatizing Net Computations and Processes LICS 1989: 175-185 | |
17 | Pierpaolo Degano, Patrizia M. Gianni: A Normal Form for Restricted Exponential Functions. ITA 23(2): 217-231 (1989) | |
1988 | ||
16 | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari: On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract) LICS 1988: 133-141 | |
15 | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari: Partial orderings descriptions and observations of nondeterministic concurrent processes. REX Workshop 1988: 438-466 | |
14 | EE | Pierpaolo Degano, Stefano Mannucci, Bruno Mojana: Efficient Incremental LR Parsing for Syntax-Directed Editors. ACM Trans. Program. Lang. Syst. 10(3): 345-373 (1988) |
13 | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari: A Distributed Operational Semantics for CCS Based on Condition/Event Systems. Acta Inf. 26(1/2): 59-91 (1988) | |
1987 | ||
12 | Pierpaolo Degano, Roberto Gorrieri, Sergio Marchetti: An Exercise in Concurrency: a CSP Process as a Condition/ event System. European Workshop on Applications and Theory of Petri Nets 1987: 85-105 | |
11 | EE | Pierpaolo Degano, Ugo Montanari: A model for distributed systems based on graph rewriting. J. ACM 34(2): 411-449 (1987) |
10 | Pierpaolo Degano, Ugo Montanari: Concurrent Histories: A Basis for Observing Distributed Systems. J. Comput. Syst. Sci. 34(2/3): 422-461 (1987) | |
1986 | ||
9 | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari: CCS is an (Augmented) Contact Free C/E System. Mathematical Models for the Semantics of Parallelism 1986: 144-165 | |
1985 | ||
8 | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari: Partial ordering derivations for CCS. FCT 1985: 520-533 | |
7 | Pierpaolo Degano, Ugo Montanari: Specification Languages for Distributed Systems. TAPSOFT, Vol.1 1985: 29-51 | |
1984 | ||
6 | Pierpaolo Degano, Ugo Montanari: Liveness Properties as Convergence in Metric Spaces STOC 1984: 31-38 | |
5 | Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli: A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language. Implementations of Prolog 1984: 309-326 | |
1982 | ||
4 | Roberto Barbuti, Pierpaolo Degano, Giorgio Levi: Toward an Inductionless Technique for Proving Properties of Logic Programs. ICLP 1982: 175-181 | |
3 | Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli: Applicative communicating processes in first order logic. Symposium on Programming 1982: 1-14 | |
1980 | ||
2 | Pierpaolo Degano, A. Lomanto, Franco Sirovich: On Finding the Optimal Access Path to Resolve a Relational Data Base Query. MFCS 1980: 219-230 | |
1979 | ||
1 | Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini: A Flexible Environment for Program Development Based on a Symbolic Interpreter. ICSE 1979: 251-264 |