Sandro Etalle - RankMe

170 papers A* 2A 7B 14C 18Misc 7Journal 46Unranked 66

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Demonstration of new attacks on three healthcare network protocols in a lab environment. J. Comput. Virol. Hacking Tech. Guillaume Dupont, Daniel Ricardo dos Santos, Stanislav Dashevskyi, Sangavi Vijayakumar, Sashaank P. Murali, Elisa Costante, Jerry den Hartog, Sandro Etalle
2022	—	`conf`	You Can't Protect What You Don't Understand: Characterizing an Operational Gas SCADA Network. SP (Workshops) Xi Qin, Martin Rosso, Alvaro A. Cárdenas, Sandro Etalle, Jerry den Hartog, Emmanuele Zambon
2021	—	`conf`	Similarity-Based Clustering For IoT Device Classification. COINS Guillaume Dupont, Cristoffer Leite, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle
2020	Misc	`conf`	A Matter of Life and Death: Analyzing the Security of Healthcare Networks. SEC Guillaume Dupont, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle
2020	J	`jnl`	Challenges in Designing Exploit Mitigations for Deeply Embedded Systems. CoRR Ali Abbasi, Jos Wetzels, Thorsten Holz, Sandro Etalle
2019	—	`conf`	A Survey of Network Intrusion Detection Systems for Controller Area Network. ICVES Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis
2019	A	`conf`	Challenges in Designing Exploit Mitigations for Deeply Embedded Systems. EuroS&P Ali Abbasi, Jos Wetzels, Thorsten Holz, Sandro Etalle
2019	—	`conf`	Evaluation Framework for Network Intrusion Detection Systems for In-Vehicle CAN. ICCVE Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis
2019	—	`conf`	Network Monitoring of Industrial Control Systems: The Lessons of SecurityMatters. CPS-SPC@CCS Sandro Etalle
2019	J	`jnl`	Network intrusion detection systems for in-vehicle network - Technical report. CoRR Guillaume Dupont, Jerry den Hartog, Sandro Etalle, Alexios Lekidis
2019	B	`conf`	Role Inference + Anomaly Detection = Situational Awareness in BACnet Networks. DIMVA Davide Fauri, Michail Kapsalakis, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle
2018	Misc	`conf`	Behavior analysis in the medical sector: theory and practice. SAC Mahdi Alizadeh, Sander Peters, Sandro Etalle, Nicola Zannone
2018	C	`conf`	Eventpad: Rapid Malware Analysis and Reverse Engineering using Visual Analytics. VizSEC Bram C. M. Cappers, Paulus N. Meessen, Sandro Etalle, Jarke J. van Wijk
2018	C	`conf`	Leveraging Semantics for Actionable Intrusion Detection in Building Automation Systems. CRITIS Davide Fauri, Michail Kapsalakis, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle
2018	J	`jnl`	Towards Realistic Threat Modeling: Attack Commodification, Irrelevant Vulnerabilities, and Unrealistic Assumptions. CoRR Luca Allodi, Sandro Etalle
2017	J	`jnl`	A white-box anomaly-based framework for database leakage detection. J. Inf. Secur. Appl. Elisa Costante, Jerry den Hartog, Milan Petkovic, Sandro Etalle, Mykola Pechenizkiy
2017	A	`conf`	ECFI: Asynchronous Control Flow Integrity for Programmable Logic Controllers. ACSAC Ali Abbasi, Thorsten Holz, Emmanuele Zambon, Sandro Etalle
2017	—	`conf`	Encryption in ICS networks: A blessing or a curse? SmartGridComm Davide Fauri, Bart de Wijs, Jerry den Hartog, Elisa Costante, Emmanuele Zambon, Sandro Etalle
2017	—	`conf`	From Intrusion Detection to Software Design. ESORICS (1) Sandro Etalle
2017	—	`conf`	From System Specification to Anomaly Detection (and back). CPS-SPC@CCS Davide Fauri, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle, Stefano Tonetta
2017	—	`conf`	Towards Realistic Threat Modeling: Attack Commodification, Irrelevant Vulnerabilities, and Unrealistic Assumptions. SafeConfig@CCS Luca Allodi, Sandro Etalle
2017	B	`conf`	\mu Shield - Configurable Code-Reuse Attacks Mitigation For Embedded Systems. NSS Ali Abbasi, Jos Wetzels, Wouter Bokslag, Emmanuele Zambon, Sandro Etalle
2016	—	`conf`	A Hybrid Framework for Data Loss Prevention and Detection. IEEE Symposium on Security and Privacy Workshops Elisa Costante, Davide Fauri, Sandro Etalle, Jerry den Hartog, Nicola Zannone
2016	Misc	`conf`	Reading between the fields: practical, effective intrusion detection for industrial control systems. SAC Ömer Yüksel, Jerry den Hartog, Sandro Etalle
2016	C	`conf`	Stealth Low-Level Manipulation of Programmable Logic Controllers I/O by Pin Control Exploitation. CRITIS Ali Abbasi, Majid Hashemi, Emmanuele Zambon, Sandro Etalle
2016	Misc	`conf`	Towards Useful Anomaly Detection for Back Office Networks. ICISS Ömer Yüksel, Jerry den Hartog, Sandro Etalle
2015	B	`conf`	Experimental Validation of a Risk Assessment Method. REFSQ Eelco Vriezekolk, Sandro Etalle, Roel J. Wieringa
2015	—	`conf`	Validating the Raster Risk Assessment Method in Practice. ISCRAM Eelco Vriezekolk, Sandro Etalle, Roel J. Wieringa
2014	J	`jnl`	GEM: A distributed goal evaluation algorithm for trust management. Theory Pract. Log. Program. Daniel Trivellato, Nicola Zannone, Sandro Etalle
2014	B	`conf`	Hunting the Unknown - White-Box Database Leakage Detection. DBSec Elisa Costante, Jerry den Hartog, Milan Petkovic, Sandro Etalle, Mykola Pechenizkiy
2014	A	`conf`	On Emulation-Based Network Intrusion Detection Systems. RAID Ali Abbasi, Jos Wetzels, Wouter Bokslag, Emmanuele Zambon, Sandro Etalle
2014	J	`jnl`	Understanding Computer Security. Frontiers ICT Sandro Etalle, Nicola Zannone
2013	J	`jnl`	A Semantic Security Framework for Systems of Systems. Int. J. Cooperative Inf. Syst. Daniel Trivellato, Nicola Zannone, Maurice Glaundrup, Jacek Skowronek, Sandro Etalle
2013	C	`conf`	Database Anomalous Activities - Detection and Quantification. SECRYPT Elisa Costante, Sokratis Vavilis, Sandro Etalle, Jerry den Hartog, Milan Petkovic, Nicola Zannone
2013	J	`jnl`	Hybrid Static-Runtime Information Flow and Declassification Enforcement. IEEE Trans. Inf. Forensics Secur. Bruno P. S. Rocha, Mauro Conti, Sandro Etalle, Bruno Crispo
2013	—	`ch.`	The POLIPO Security Framework. Situation Awareness with Systems of Systems Daniel Trivellato, Sandro Etalle, Erik Luit, Nicola Zannone
2012	J	`jnl`	A Int. J. Netw. Manag. Emmanuele Zambon, Sandro Etalle, Roel J. Wieringa
2012	—	`conf`	Challenges and opportunities in securing industrial control systems. COMPENG Dina Hadziosmanovic, Damiano Bolzoni, Sandro Etalle, Pieter H. Hartel
2012	—	`conf`	Design and initial validation ofthe Rastermethod for telecom service availability risk assessment. ISCRAM Eelco Vriezekolk, Roel J. Wieringa, Sandro Etalle
2012	—	`ed.`	Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers Formal Aspects in Security and Trust Gilles Barthe, Anupam Datta, Sandro Etalle
2012	J	`jnl`	GEM: a Distributed Goal Evaluation Algorithm for Trust Management CoRR Daniel Trivellato, Nicola Zannone, Sandro Etalle
2012	—	`conf`	Linking Unlinkability. TGC Mayla Brusò, Konstantinos Chatzikokolakis, Sandro Etalle, Jerry den Hartog
2012	A	`conf`	N-Gram against the Machine: On the Feasibility of the N-Gram Network Analysis for Binary Protocols. RAID Dina Hadziosmanovic, Lorenzo Simionato, Damiano Bolzoni, Emmanuele Zambon, Sandro Etalle
2012	—	`conf`	Policy Administration in Tag-Based Authorization. FPS Sandro Etalle, Timothy L. Hinrichs, Adam J. Lee, Daniel Trivellato, Nicola Zannone
2011	—	`conf`	A Cuckoo's Egg in the Malware Nest: On-the-fly Signature-less Malware Analysis, Detection, and Containment for Large Networks. LISA Damiano Bolzoni, Christiaan Schade, Sandro Etalle
2011	—	`conf`	A Security Framework for Systems of Systems. POLICY Daniel Trivellato, Nicola Zannone, Sandro Etalle
2011	—	`conf`	A new method to assess telecom service availability risks. ISCRAM Eelco Vriezekolk, Roel J. Wieringa, Sandro Etalle
2011	—	`ed.`	Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers Formal Aspects in Security and Trust Pierpaolo Degano, Sandro Etalle, Joshua D. Guttman
2011	—	`conf`	MELISSA: Towards Automated Detection of Undesirable User Actions in Critical Infrastructures. EC2ND Dina Hadziosmanovic, Damiano Bolzoni, Pieter H. Hartel, Sandro Etalle
2011	J	`jnl`	Model-based qualitative risk assessment for availability of IT infrastructures. Softw. Syst. Model. Emmanuele Zambon, Sandro Etalle, Roel J. Wieringa, Pieter H. Hartel
2011	A*	`conf`	Poster: protecting information in systems of systems. CCS Daniel Trivellato, Nicola Zannone, Sandro Etalle
2011	J	`jnl`	Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning". J. Autom. Reason. Lujo Bauer, Sandro Etalle, Jerry den Hartog, Luca Viganò
2011	—	`conf`	Risk and Business Goal Based Security Requirement and Countermeasure Prioritization. BIR Workshops Andrea Herrmann, Ayse Morali, Sandro Etalle, Roel J. Wieringa
2010	—	`conf`	10141 Abstracts Collection - Distributed Usage Control. Distributed Usage Control Sandro Etalle, Alexander Pretschner, Ravi S. Sandhu, Marianne Winslett
2010	—	`conf`	10141 Summary - Distributed Usage Control. Distributed Usage Control Sandro Etalle, Alexander Pretschner, Ravi S. Sandhu, Marianne Winslett
2010	J	`jnl`	A Flexible Architecture for Privacy-Aware Trust Management. J. Theor. Appl. Electron. Commer. Res. Klemens Böhm, Sandro Etalle, Jerry den Hartog, Christian Hütter, Slim Trabelsi, Daniel Trivellato, Nicola Zannone
2010	B	`conf`	CRAC: Confidentiality risk assessment and IT-infrastructure comparison. CNSM Ayse Morali, Emmanuele Zambon, Sandro Etalle, Roel J. Wieringa
2010	—	`ed.`	Distributed Usage Control, 06.04. - 09.04.2010 Distributed Usage Control Sandro Etalle, Alexander Pretschner, Ravi S. Sandhu, Marianne Winslett
2010	C	`conf`	Towards Data Protection Compliance. SECRYPT Nicola Zannone, Milan Petkovic, Sandro Etalle
2010	A*	`conf`	Towards Static Flow-Based Declassification for Legacy and Untrusted Programs. IEEE Symposium on Security and Privacy Bruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Hartog, William H. Winsborough, Sandro Etalle
2009	—	`conf`	Extended eTVRA vs. security checklist: Experiences in a value-web. ICSE Companion Ayse Morali, Emmanuele Zambon, Siv Hilde Houmb, Karin Sallhammar, Sandro Etalle
2009	C	`conf`	LP with Flexible Grouping and Aggregates Using Modes. LOPSTR Marcin Czenko, Sandro Etalle
2009	J	`jnl`	Maintaining control while delegating trust: Integrity constraints in trust management. ACM Trans. Inf. Syst. Secur. Sandro Etalle, William H. Winsborough
2009	—	`conf`	POLIPO: Policies & OntoLogies for Interoperability, Portability, and autOnomy. POLICY Daniel Trivellato, Fred Spiessens, Nicola Zannone, Sandro Etalle
2009	A	`conf`	Panacea: Automating Attack Classification for Anomaly-Based Network Intrusion Detection Systems. RAID Damiano Bolzoni, Sandro Etalle, Pieter H. Hartel
2009	—	`conf`	Reputation-Based Ontology Alignment for Autonomy and Interoperability in Distributed Access Control. CSE (3) Daniel Trivellato, Fred Spiessens, Nicola Zannone, Sandro Etalle
2008	—	`conf`	Boosting Web Intrusion Detection Systems by Inferring Positive Signatures. OTM Conferences (2) Damiano Bolzoni, Sandro Etalle
2008	—	`conf`	IT confidentiality risk assessment for an architecture-based approach. BDIM Ayse Morali, Emmanuele Zambon, Sandro Etalle, Paul L. O. Re
2008	—	`conf`	Know What You Trust. Formal Aspects in Security and Trust Fred Spiessens, Jerry den Hartog, Sandro Etalle
2008	C	`conf`	RBAC administration in distributed systems. SACMAT M. A. C. Dekker, Jason Crampton, Sandro Etalle
2008	—	`conf`	Trust Management in P2P Systems Using Standard TuLiP. IFIPTM Marcin Czenko, Jeroen Doumen, Sandro Etalle
2007	C	`conf`	A posteriori compliance control. SACMAT Sandro Etalle, William H. Winsborough
2007	—	`conf`	ATLANTIDES: An Architecture for Alert Verification in Network Intrusion Detection Systems. LISA Damiano Bolzoni, Bruno Crispo, Sandro Etalle
2007	—	`conf`	An Introduction to the Role Based Trust Management Framework RT. FOSAD Marcin Czenko, Sandro Etalle, Dongyi Li, William H. Winsborough
2007	J	`jnl`	Audit-based compliance control. Int. J. Inf. Sec. J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini
2007	B	`conf`	Core TuLiP Logic Programming for Trust Management. ICLP Marcin Czenko, Sandro Etalle
2007	A	`conf`	Extended privilege inheritance in RBAC. AsiaCCS M. A. C. Dekker, J. G. Cederquist, Jason Crampton, Sandro Etalle
2007	—	`conf`	Model-Based Mitigation of Availability Risks. BDIM Emmanuele Zambon, Damiano Bolzoni, Sandro Etalle, Marco Salvato
2007	—	`ch.`	Privacy Policies. Security, Privacy, and Trust in Modern Data Management Marnix Dekker, Sandro Etalle, Jerry den Hartog
2007	—	`ed.`	Proceedings of the Second International Workshop on Security and Trust Management, STM 2006, Hamburg, Germany, September 20-21, 2006 STM Sandro Etalle, Pierangela Samarati
2007	—	`conf`	Refinement for Administrative Policies. Secure Data Management M. A. C. Dekker, Sandro Etalle
2007	B	`conf`	The Meaning of Logs. TrustBus Sandro Etalle, Fabio Massacci, Artsiom Yautsiukhin
2007	J	`jnl`	Timed analysis of security protocols. J. Comput. Secur. Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader
2007	—	`ed.`	Trust Management - Proceedings of IFIPTM 2007: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30- August 2, 2007, Moncton, New Brunswick, Canada IFIPTM Sandro Etalle, Stephen Marsh
2007	—	`conf`	Trust and punishment. Autonomics Sandro Etalle, Jerry den Hartog, Stephen Marsh
2006	—	`conf`	A Logic for Constraint-based Security Protocol Analysis. S&P Ricardo Corin, Sandro Etalle, Ari Saptawijaya
2006	J	`jnl`	APHRODITE: an Anomaly-based Architecture for False Positive Reduction CoRR Damiano Bolzoni, Sandro Etalle
2006	—	`conf`	Audit-Based Access Control for Electronic Health Records. VODCA@FOSAD M. A. C. Dekker, Sandro Etalle
2006	J	`jnl`	Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. Theory Pract. Log. Program. Giorgio Delzanno, Sandro Etalle, Maurizio Gabbrielli
2006	J	`jnl`	LicenseScript: a logical language for digital rights management. Ann. des Télécommunications Cheun Ngen Chong, Ricardo Corin, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Yee Wei Law, Andrew Tokmakoff
2006	B	`ed.`	Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings ICLP Sandro Etalle, Miroslaw Truszczynski
2006	—	`conf`	POSEIDON: a 2-tier Anomaly-based Network Intrusion Detection System. IWIA Damiano Bolzoni, Sandro Etalle, Pieter H. Hartel, Emmanuele Zambon
2006	—	`conf`	Preface. STM Sandro Etalle, Pierangela Samarati
2005	—	`conf`	A Formal Security Analysis of an OSA/Parlay Authentication Interface. FMOODS Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso
2005	J	`jnl`	An Audit Logic for Accountability CoRR J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog
2005	—	`conf`	An Audit Logic for Accountability. POLICY J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog
2005	J	`jnl`	Integrity Constraints in Trust Management CoRR Sandro Etalle, William H. Winsborough
2005	C	`conf`	Integrity constraints in trust management. SACMAT Sandro Etalle, William H. Winsborough
2005	C	`ed.`	Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers LOPSTR Sandro Etalle
2005	J	`jnl`	Nonmonotonic Trust Management for P2P Applications CoRR Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Jerry den Hartog
2005	—	`conf`	Nonmonotonic Trust Management for P2P Applications. STM Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Jerry den Hartog
2005	B	`conf`	PS-LTL for Constraint-Based Security Protocol Analysis. ICLP Ricardo Corin, Ari Saptawijaya, Sandro Etalle
2005	J	`jnl`	Poseidon: a 2-tier Anomaly-based Intrusion Detection System CoRR Damiano Bolzoni, Emmanuele Zambon, Sandro Etalle, Pieter H. Hartel
2005	—	`ed.`	Proceedings of the International Workshop on Software Verification and Validation, SVV@ICLP 2003, Mumbai, India, December 14, 2003 SVV@ICLP Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury
2005	—	`conf`	Service Brokerage in Prolog. ICEIS (3) Cheun Ngen Chong, Sandro Etalle, Pieter H. Hartel, Rieks Joosten, Geert Kleinhuis
2005	Misc	`conf`	StreamTo: Streaming Content using a Tamper-Resistant Token. SEC Jieyin Cheng, Cheun Ngen Chong, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Stefan Nikolaus
2005	J	`jnl`	Timed Analysis of Security Protocols CoRR Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader
2004	—	`conf`	A Logic for Auditing Accountability in Decentralized Systems. Formal Aspects in Security and Trust Ricardo Corin, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini, I. Staicu
2004	J	`jnl`	A Trace Logic for Local Security Properties CoRR Ricardo Corin, Antonio Durante, Sandro Etalle, Pieter H. Hartel
2004	—	`conf`	Analysing Password Protocol Security Against Off-line Dictionary Attacks. WISP@ICATPN Ricardo Corin, Jeroen Doumen, Sandro Etalle
2004	—	`ch.`	Declarative Semantics of Input Consuming Logic Programs. Program Development in Computational Logic Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi
2004	Misc	`conf`	License Protection with a Tamper-Resistant Token. WISA Cheun Ngen Chong, Bin Ren, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Ricardo Corin
2004	—	`conf`	Modelling Mobility Aspects of Security Policies. CASSIS Pieter H. Hartel, Pascal van Eck, Sandro Etalle, Roel J. Wieringa
2004	J	`jnl`	Termination of simply moded logic programs with dynamic scheduling. ACM Trans. Comput. Log. Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
2004	—	`conf`	Timed model checking of security protocols. FMSE Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader
2003	—	`conf`	A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. PWC Yee Wei Law, Ricardo Corin, Sandro Etalle, Pieter H. Hartel
2003	—	`conf`	A Trace Logic for Local Security Properties. SVV@ICLP Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Antonio Durante
2003	—	`conf`	Approximating Fair Use in LicenseScript. ICADL Cheun Ngen Chong, Sandro Etalle, Pieter H. Hartel, Yee Wei Law
2003	Misc	`conf`	Assessing Security in Energy-Efficient Sensor Networks. SEC Yee Wei Law, Sandro Etalle, Pieter H. Hartel
2003	—	`conf`	Comparing Logic-Based and XML-Based Rights Expression Languages. OTM Workshops Cheun Ngen Chong, Sandro Etalle, Pieter H. Hartel
2003	—	`conf`	EYES - Energy Efficient Sensor Networks. PWC Paul J. M. Havinga, Sandro Etalle, Holger Karl, Chiara Petrioli, Michele Zorzi, Harry Kip, Thomas Lentsch
2003	—	`conf`	LKHW: A Directed Diffusion-Based Secure Multicast Scheme for Wireless Sensor Networks. ICPP Workshops Roberto Di Pietro, Luigi V. Mancini, Yee Wei Law, Sandro Etalle, Paul J. M. Havinga
2003	—	`conf`	LicenseScript: a novel digital rights language and its semantics. WEDELMUSIC Cheun Ngen Chong, Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Willem Jonker, Yee Wei Law
2003	—	`conf`	Preface. SVV@ICLP Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury
2002	B	`conf`	An Improved Constraint-Based System for the Verification of Security Protocols. SAS Ricardo Corin, Sandro Etalle
2002	J	`jnl`	On modular termination proofs of general logic programs. Theory Pract. Log. Program. Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi
2002	J	`jnl`	Properties of input-consuming derivations. Theory Pract. Log. Program. Annalisa Bossi, Sandro Etalle, Sabina Rossi
2002	—	`conf`	Transformation Systems and Nondeclarative Properties. Computational Logic: Logic Programming and Beyond Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
2001	C	`conf`	Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. LOPSTR Giorgio Delzanno, Sandro Etalle
2001	J	`jnl`	Properties of Input-Consuming Derivations CoRR Annalisa Bossi, Sandro Etalle, Sabina Rossi
2001	J	`jnl`	Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling CoRR Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
2001	A	`conf`	Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. ESOP Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
2001	J	`jnl`	Transformations of CCP programs CoRR Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
2001	J	`jnl`	Transformations of CCP programs. ACM Trans. Program. Lang. Syst. Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
2000	J	`jnl`	On Modular Termination Proofs of General Logic Programs CoRR Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi
2000	—	`conf`	Semantics of Input-Consuming Logic Programs. Computational Logic Annalisa Bossi, Sandro Etalle, Sabina Rossi
2000	J	`jnl`	Semantics of well-moded input-consuming logic programs. Comput. Lang. Annalisa Bossi, Sandro Etalle, Sabina Rossi
2000	J	`jnl`	The (Lazy) Functional Side of Logic Programming CoRR Sandro Etalle, Jon Mountjoy
2000	C	`conf`	The lazy functional side of logic programming. LOPSTR Sandro Etalle, Jon Mountjoy
1999	J	`jnl`	Declarative solutions to partitioned-grid problems. Softw. Pract. Exp. Sandro Etalle, Pieter H. Hartel, Willem G. Vree
1999	J	`jnl`	Layered Modes. J. Log. Program. Sandro Etalle, Maurizio Gabbrielli
1999	B	`conf`	Logic Programming with Requests. ICLP Sandro Etalle, Femke van Raamsdonk
1999	—	`conf`	Preface - Workshop on Verification of Logic Programs. Verification of Logic Programs@ICLP Sandro Etalle, Jan-Georg Smaus
1999	—	`conf`	Properties of Input-Consuming Derivations. Verification of Logic Programs@ICLP Annalisa Bossi, Sandro Etalle, Sabina Rossi
1999	J	`jnl`	Termination of Well-Moded Programs. J. Log. Program. Sandro Etalle, Annalisa Bossi, Nicoletta Cocco
1999	—	`conf`	The Replacement Operation for CCP Programs. APPIA-GULP-PRODE Marco Bertolino, Sandro Etalle, Catuscia Palamidessi
1999	C	`conf`	The Replacement Operation for CCP Programs. LOPSTR Marco Bertolino, Sandro Etalle, Catuscia Palamidessi
1999	C	`conf`	Transformation of Left Terminating Programs. LOPSTR Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
1999	—	`ed.`	Workshop on Verification of Logic Programs 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999 Verification of Logic Programs@ICLP Sandro Etalle, Jan-Georg Smaus
1998	J	`jnl`	A Semantics for Modular General Logic Programs. Theor. Comput. Sci. Sandro Etalle
1998	—	`conf`	Beyond Success and Failure. IJCSLP Sandro Etalle, Femke van Raamsdonk
1998	J	`jnl`	Partial Evaluation of Concurrent Constraint Languages. ACM Comput. Surv. Sandro Etalle, Maurizio Gabbrielli
1998	B	`conf`	Unfold/Fold Transformations of CCP Programs. CONCUR Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
1997	C	`conf`	A Transformation System for CLP with Dynamic Scheduling and CCP. PEPM Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori
1996	—	`conf`	A Compositional Semantics for Normal Open Programs. JICSLP Sandro Etalle, Frank Teusink
1996	—	`conf`	Layered Modes. APPIA-GULP-PRODE Sandro Etalle, Maurizio Gabbrielli
1996	J	`jnl`	On the Correctness of the Replacement Operation for CLP Modules. J. Funct. Log. Program. Sandro Etalle, Maurizio Gabbrielli
1996	J	`jnl`	Simultaneous Replacement in Normal Programs. J. Log. Comput. Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
1996	J	`jnl`	Transformations of CLP Modules. Theor. Comput. Sci. Sandro Etalle, Maurizio Gabbrielli
1996	J	`jnl`	Unification-free Prolog programs revisited. J. Program. Lang. Sandro Etalle
1995	B	`conf`	A Transformation System for Modular CLP Programs. ICLP Sandro Etalle, Maurizio Gabbrielli
1995	C	`conf`	The Replacement Operation for CLP Modules. PEPM Sandro Etalle, Maurizio Gabbrielli
1995	C	`conf`	Transformation of Left Terminating Programs: the Reordering Problem. LOPSTR Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
1994	—	`conf`	Modular Transformations of CLP Programs. GULP-PRODE (1) Sandro Etalle, Maurizio Gabbrielli
1994	—	`conf`	Modular Transformations of CLP Programs. ILPS Workshop: Constraints and Databases Sandro Etalle, Maurizio Gabbrielli
1994	C	`conf`	More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics. META Annalisa Bossi, Sandro Etalle
1994	J	`jnl`	Transforming Acyclic Programs. ACM Trans. Program. Lang. Syst. Annalisa Bossi, Sandro Etalle
1993	B	`conf`	On the Unification Free Prolog Programs. MFCS Krzysztof R. Apt, Sandro Etalle
1992	—	`conf`	On Safe Folding. PLILP Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
1992	—	`conf`	Transforming Normal Programs by Replacement. META Annalisa Bossi, Nicoletta Cocco, Sandro Etalle