| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi |
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks.  |
ASMTA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi |
A framework for throughput and energy efficiency in mobile ad hoc networks. |
Wireless Days |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabina Rossi |
Model Checking Adaptive Multilevel Service Compositions. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Gallina, Sabina Rossi |
A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Gallina, Sabina Rossi |
Sender- and receiver-centered interference in wireless ad hoc networks. |
Wireless Days |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Damiano Macedonio, Luca Pino, Sabina Rossi |
Compliance Preorders for Web Services. |
WS-FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabina Rossi, Damiano Macedonio |
Information flow security for service compositions. |
ICUMT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi |
PicNIc - Pi-calculus non-interference checker. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi |
A Theory of Adaptable Contract-Based Service Composition. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Carla Piazza, Sabina Rossi |
Compositional information flow security for concurrent programs. |
Journal of Computer Security |
2007 |
DBLP BibTeX RDF |
|
| 1 | Silvia Crafa, Sabina Rossi |
Controlling information release in the pi-calculus. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Damiano Macedonio, Sabina Rossi |
Static vs Dynamic Typing for Access Control in Pi-Calculus. |
ASIAN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Carla Piazza, Sabina Rossi |
Action Refinement in Process Algebra and Security Issues. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Sabina Rossi |
Information flow security in dynamic contexts. |
Journal of Computer Security |
2006 |
DBLP BibTeX RDF |
|
| 1 | Silvia Crafa, Sabina Rossi |
P-congruences as non-interference for the pi-calculus. |
FMSE |
2006 |
DBLP DOI BibTeX RDF |
process calculi, noninterference, downgrading |
| 1 | Michele Bugliesi, Sabina Rossi |
Non-interference proof techniques for the analysis of cryptographic protocols. |
Journal of Computer Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi |
Information flow in secure contexts. |
Journal of Computer Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Silvia Crafa, Sabina Rossi |
A Theory of Noninterference for the pi-Calculus. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld |
Bridging Language-Based and Process Calculi Security. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi |
Unwinding in Information Flow Security. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus |
Termination of simply moded logic programs with dynamic scheduling. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
simply moded, Logic programs, termination, dynamic scheduling |
| 1 | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
Verifying persistent security properties. |
Computer Languages, Systems & Structures |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla Piazza, Enrico Pivato, Sabina Rossi |
CoPS - Checker of Persistent Security. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Carla Piazza, Sabina Rossi |
Modelling Downgrading in Information Flow Security. |
CSFW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi |
Declarative Semantics of Input Consuming Logic Programs. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Carla Piazza, Sabina Rossi |
Unwinding Conditions for Security in Imperative Languages. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
Refinement Operators and Information Flow Security. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi |
Information Flow Security and Recursive Systems. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Ambra Ceccato, Sabina Rossi |
Context-Sensitive Equivalences for Non-interference Based Protocol Analysis. |
FCT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi |
Secure Contexts for Confidential Data. |
CSFW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
Bisimulation and Unwinding for Verifying Possibilistic Security Properties. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi |
On modular termination proofs of general logic programs. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck |
Sequence-based abstract interpretation of Prolog. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Sandro Etalle, Sabina Rossi |
Properties of input-consuming derivations. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
Transforming Processes to Check and Ensure Information Flow Security. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Sabina Rossi |
Information Flow Security in Dynamic Contexts. |
CSFW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
A Proof System for Information Flow Security. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Carla Piazza, Sabina Rossi |
Proofs Methods for Bisimulation Based Information Flow Security. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Cortesi, Sabina Rossi, Baudouin Le Charlier |
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Sandro Etalle, Sabina Rossi |
Properties of Input-Consuming Derivations |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus |
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi |
Reexecution-Based Analysis of Logic Programs with Delay Declarations. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco, Sabina Rossi |
Termination of Well-Typed Logic Programs. |
PPDP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus |
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck |
Sequence-Based Abstract Interpretation of Prolog |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi |
On Modular Termination Proofs of General Logic Programs |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Sandro Etalle, Sabina Rossi |
Semantics of well-moded input-consuming logic programs. |
Comput. Lang. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Sandro Etalle, Sabina Rossi |
Semantics of Input-Consuming Logic Programs. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
semantics, logic programming, dynamic scheduling |
| 1 | Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi |
Automated Verification of Prolog Programs. |
J. Log. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Sandro Etalle, Sabina Rossi |
Properties of Input-Consuming Derivations. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Sabina Rossi |
Specialising Logic Programs with Respect to Call?Post Specifications. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi |
Automated Behavioural Verification of Prolog Programs. |
APPIA-GULP-PRODE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi |
Automated Verification of Behavioural Properties of Prolog Programs. |
ASIAN |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi |
Specification-Based Automatic Verification of Prolog Programs. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Baudouin Le Charlier, Sabina Rossi |
Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions. |
LPE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck |
An Abstract Interpretation Framework for (almost) Full Prolog. |
GULP-PRODE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck |
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut. |
SLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Gilberto Filé, Sabina Rossi |
Static Analysis of Prolog with Cut. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilberto Filé, Sabina Rossi |
Static Analysis of Prolog with Cut. |
GULP |
1993 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")