The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mario Bravetti: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mario Bravetti, Marco Bernardo, Roberto Gorrieri
    Towards Performance Evaluation with General Distributions in Process Algebras. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:405-422 [Conf]
  2. Jos C. M. Baeten, Mario Bravetti
    A Ground-Complete Axiomatization of Finite State Processes in Process Algebra. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:248-262 [Conf]
  3. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2004, pp:55-70 [Conf]
  4. Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky
    Two Formal Approaches for Approximating Noninterference Properties. [Citation Graph (0, 0)][DBLP]
    FOSAD, 2002, pp:1-43 [Conf]
  5. Alessandro Aldini, Mario Bravetti
    An Asynchronous Calculus for Generative-Reactive Probalistic Systems. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:591-606 [Conf]
  6. Mario Bravetti, Roberto Gorrieri
    A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:744-755 [Conf]
  7. Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    Security Issues in the Tuple-Space Coordination Model. [Citation Graph (0, 0)][DBLP]
    Formal Aspects in Security and Trust, 2004, pp:1-12 [Conf]
  8. Marco Bernardo, Mario Bravetti
    Reward Based Congruences: Can We Aggregate More? [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:136-151 [Conf]
  9. Mario Bravetti
    An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:209-210 [Conf]
  10. Mario Bravetti, Alessandro Aldini
    Expressing Processes with Different Action Durations through Probabilities. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:168-183 [Conf]
  11. Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri
    Web Services for E-commerce: guaranteeing security access and quality of service. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:800-806 [Conf]
  12. Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
    Supporting e-commerce systems formalization with choreography languages. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:831-835 [Conf]
  13. Mario Bravetti
    Real Time and Stochastic Time. [Citation Graph (0, 0)][DBLP]
    SFM, 2004, pp:132-180 [Conf]
  14. Mario Bravetti, Pedro R. D'Argenio
    Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:44-88 [Conf]
  15. Mario Bravetti
    An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:5, pp:- [Journal]
  16. Mario Bravetti
    Revisiting Interactive Markov Chains. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:5, pp:- [Journal]
  17. Mario Bravetti, Alessandro Aldini
    Non-determinism in Probabilistic Timed Systems with General Distributions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:52, n:3, pp:- [Journal]
  18. Mario Bravetti, Marco Bernardo
    Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal]
  19. Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez
    From Theoretical e-barter Models to an Implementation Based on Web Services. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:241-264 [Journal]
  20. Mario Bravetti, Roberto Gorrieri
    Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:1-2 [Journal]
  21. Mario Bravetti, Roberto Gorrieri
    Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:27, n:, pp:- [Journal]
  22. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi
    A formal approach for checking security properties in SecSpaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:85, n:3, pp:- [Journal]
  23. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    Combining Partitions in SecSpaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:31-47 [Journal]
  24. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:5, pp:39-53 [Journal]
  25. Mario Bravetti, Gianluigi Zavattaro
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:105, n:, pp:1-4 [Journal]
  26. Jos C. M. Baeten, Mario Bravetti
    A Generic Process Algebra. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:65-71 [Journal]
  27. Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen
    YMCA: - Why Markov Chain Algebra? - . [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:107-112 [Journal]
  28. Mario Bravetti, Gianluigi Zavattaro
    Service Oriented Computing: A New Challenge for Process Algebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:121-125 [Journal]
  29. Mario Bravetti
    Stochastic and Real Time in Process Algebra: A Conceptual Overview. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:113-119 [Journal]
  30. Alessandro Aldini, Mario Bravetti, Roberto Gorrieri
    A process-algebraic approach for the analysis of probabilistic noninterference. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2004, v:12, n:2, pp:191-245 [Journal]
  31. Marco Bernardo, Mario Bravetti
    Performance measure sensitive congruences for Markovian process algebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:1, pp:117-160 [Journal]
  32. Mario Bravetti, Alessandro Aldini
    Discrete time generative-reactive probabilistic processes with different advancing speeds. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:1, pp:355-406 [Journal]
  33. Mario Bravetti, Roberto Gorrieri
    The theory of interactive generalized semi-Markov processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:282, n:1, pp:5-32 [Journal]
  34. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    Quantitative information in the tuple space coordination model. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:346, n:1, pp:28-57 [Journal]
  35. Mario Bravetti, Roberto Gorrieri
    Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2002, v:3, n:4, pp:465-520 [Journal]
  36. Mario Bravetti, Gianluigi Zavattaro
    A Theory for Strong Service Compliance. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2007, pp:96-112 [Conf]
  37. Mario Bravetti, Gianluigi Zavattaro
    Contract Based Multi-party Service Composition. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:207-222 [Conf]
  38. Mario Bravetti, Gianluigi Zavattaro
    Guest editor's introduction: Special issue on Web Services and Formal Methods. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:70, n:1, pp:1-2 [Journal]
  39. Mario Bravetti, Gianluigi Zavattaro
    Service oriented computing from a process algebraic perspective. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:70, n:1, pp:3-14 [Journal]
  40. Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon
    Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:70, n:2, pp:119-120 [Journal]
  41. Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon
    Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:72, n:1, pp:1-2 [Journal]

  42. Contract-Based Discovery and Composition of Web Services. [Citation Graph (, )][DBLP]


  43. Towards a Unifying Theory for Choreography Conformance and Contract Compliance. [Citation Graph (, )][DBLP]


  44. Replicating Web Services for Scalability. [Citation Graph (, )][DBLP]


  45. Contract-Driven Implementation of Choreographies. [Citation Graph (, )][DBLP]


  46. Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. [Citation Graph (, )][DBLP]


  47. Contract Compliance and Choreography Conformance in the Presence of Message Queues. [Citation Graph (, )][DBLP]


  48. On the Expressive Power of Process Interruption and Compensation. [Citation Graph (, )][DBLP]


  49. File Managing and Program Execution in Web Operating Systems [Citation Graph (, )][DBLP]


  50. Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems. [Citation Graph (, )][DBLP]


  51. Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time. [Citation Graph (, )][DBLP]


Search in 0.032secs, Finished in 0.036secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002