The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Matteo Pradella: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Matteo Pradella, Marco Colombetti
    A Formal Description of a Practical Agent for E-Commerce. [Citation Graph (0, 0)][DBLP]
    AMEC, 2000, pp:84-95 [Conf]
  2. Myla Archer, Elizabeth I. Leonard, Matteo Pradella
    Modeling Security-Enhanced Linux Policy Specifications for Analysis. [Citation Graph (0, 0)][DBLP]
    DISCEX (2), 2003, pp:164-169 [Conf]
  3. Stefano Crespi-Reghizzi, Matteo Pradella
    Tile Rewriting Grammars. [Citation Graph (0, 0)][DBLP]
    Developments in Language Theory, 2003, pp:206-217 [Conf]
  4. Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini
    Model-Checking TRIO Specifications in SPIN. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:542-561 [Conf]
  5. Matteo Pradella, Matteo Rossi, Dino Mandrioli
    ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:381-395 [Conf]
  6. Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro
    A Finite-Domain Semantics for Testing Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:41-54 [Conf]
  7. Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini
    A formal approach for designing CORBA based applications. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:188-197 [Conf]
  8. Angelo Morzenti, Matteo Pradella, Matteo Rossi, Stefano Russo, Antonio Sergio
    A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications. [Citation Graph (0, 0)][DBLP]
    PDSE, 1999, pp:217-223 [Conf]
  9. Myla Archer, Elizabeth I. Leonard, Matteo Pradella
    Analyzing Security-Enhanced Linux Policy Specifications. [Citation Graph (0, 0)][DBLP]
    POLICY, 2003, pp:158-0 [Conf]
  10. Pietro Colombo, Matteo Pradella, Matteo Rossi
    A UML 2-compatible language and tool for formal modeling real-time system architectures. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1785-1790 [Conf]
  11. Matteo Pradella, Matteo Rossi, Dino Mandrioli
    A UML-Compatible Formal Language for System Architecture Description. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2005, pp:234-246 [Conf]
  12. Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro
    Associative definition of programming languages. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 2000, v:26, n:2-4, pp:105-123 [Journal]
  13. Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro
    Picture languages: Tiling systems versus tile rewriting grammars. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:356, n:1-2, pp:90-103 [Journal]
  14. Stefano Crespi-Reghizzi, Matteo Pradella
    Tile rewriting grammars and picture languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:340, n:1, pp:257-272 [Journal]
  15. Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli
    A formal approach for designing CORBA-based applications. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:2, pp:107-151 [Journal]
  16. Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo Rossi
    Comments on "An Interval Logic for Real-Time System Specification'. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:6, pp:424-427 [Journal]
  17. Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini
    Trio2Promela: A Model Checker for Temporal Metric Specifications. [Citation Graph (0, 0)][DBLP]
    ICSE Companion, 2007, pp:61-62 [Conf]
  18. Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
    The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:312-320 [Conf]
  19. Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro
    Model Checking Temporal Metric Specifications with Trio2Promela. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:388-395 [Conf]
  20. Matteo Pradella, Stefano Crespi-Reghizzi
    A SAT-based parser and completer for pictures specified by tiling. [Citation Graph (0, 0)][DBLP]
    Pattern Recognition, 2008, v:41, n:2, pp:555-566 [Journal]

  21. Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. [Citation Graph (, )][DBLP]


  22. A Metric Encoding for Bounded Model Checking. [Citation Graph (, )][DBLP]


  23. Practical Automated Partial Verification of Multi-paradigm Real-Time Models. [Citation Graph (, )][DBLP]


  24. An Automatic Approach to Enable Replacement of Conversational Services. [Citation Graph (, )][DBLP]


  25. Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. [Citation Graph (, )][DBLP]


  26. Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking. [Citation Graph (, )][DBLP]


  27. Regional Languages and Tiling: A Unifying Approach to Picture Grammars. [Citation Graph (, )][DBLP]


  28. Snake-Deterministic Tiling Systems. [Citation Graph (, )][DBLP]


  29. Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. [Citation Graph (, )][DBLP]


  30. Picture Recognizability with Automata Based on Wang Tiles. [Citation Graph (, )][DBLP]


  31. Picture Languages: From Wang Tiles to 2D Grammars. [Citation Graph (, )][DBLP]


  32. Practical Automated Partial Verification of Multi-Paradigm Real-Time Models [Citation Graph (, )][DBLP]


  33. A Metric Encoding for Bounded Model Checking (extended version) [Citation Graph (, )][DBLP]


  34. Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms [Citation Graph (, )][DBLP]


  35. A unifying approach to picture grammars [Citation Graph (, )][DBLP]


  36. A User's Guide to Zot [Citation Graph (, )][DBLP]


  37. Bounded Reachability for Temporal Logic over Constraint Systems [Citation Graph (, )][DBLP]


  38. SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability [Citation Graph (, )][DBLP]


  39. Comments on temporal logics for real-time system specification. [Citation Graph (, )][DBLP]


Search in 0.011secs, Finished in 0.014secs
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