The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Luciano Baresi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Luciano Baresi, Mauro Pezzè
    A Formal Definition of Stuctured Analysis with Programmable Graph Grammars. [Citation Graph (0, 0)][DBLP]
    AGTIVE, 1999, pp:193-208 [Conf]
  2. Luciano Baresi, Mauro Pezzè
    From Graph Transformation to Software Engineering and Back. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:24-37 [Conf]
  3. Luciano Baresi, Sara Comai, Schahram Dustdar, Harald Gall, Maristella Matera
    UMICS '03 Preface. [Citation Graph (0, 0)][DBLP]
    CAiSE Workshops, 2003, pp:- [Conf]
  4. Luciano Baresi, Manuele Di Paola, Antonio Gargiulo, Mauro Pezzè
    LEMMA: a language for easy medical models analysis. [Citation Graph (0, 0)][DBLP]
    CBMS, 1997, pp:244-249 [Conf]
  5. Luciano Baresi, Mauro Pezzè
    On Formalizing UML with High-Level Petri Nets. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:276-304 [Conf]
  6. Luciano Baresi, Carlo Ghezzi, Antonio Miele, Matteo Miraz, Andrea Naggi, Filippo Pacifici
    Hybrid service-oriented architectures: a case-study in the automotive domain. [Citation Graph (0, 0)][DBLP]
    SEM, 2005, pp:62-68 [Conf]
  7. Luciano Baresi, Franca Garzotto, Paolo Paolini
    From Web Sites to Web Applications: New Issues for Conceptual Modeling. [Citation Graph (0, 0)][DBLP]
    ER (Workshops), 2000, pp:89-100 [Conf]
  8. Luciano Baresi, Franca Garzotto, Luca Mainetti, Paolo Paolini
    Meta-modeling Techniques Meet Web Application Design Tools. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:294-307 [Conf]
  9. Luciano Baresi, Mauro Pezzè
    A Toolbox for Automating Visual Software Engineering. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:189-202 [Conf]
  10. Luciano Baresi, Carlo Ghezzi, Luca Mottola
    Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:131-135 [Conf]
  11. Luciano Baresi, Reiko Heckel
    Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. [Citation Graph (0, 0)][DBLP]
    ICGT, 2002, pp:402-429 [Conf]
  12. Luciano Baresi, Reiko Heckel
    Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. [Citation Graph (0, 0)][DBLP]
    ICGT, 2004, pp:431-433 [Conf]
  13. Luciano Baresi, Paola Spoletini
    On the Use of Alloy to Analyze Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:306-320 [Conf]
  14. Luciano Baresi, Franca Garzotto, Paolo Paolini
    Extending UML for Modeling Web Applications. [Citation Graph (0, 0)][DBLP]
    HICSS, 2001, pp:- [Conf]
  15. Franca Garzotto, Paolo Paolini, Luciano Baresi
    Supporting Reusable Web Design with HDM-Edit. [Citation Graph (0, 0)][DBLP]
    HICSS, 2001, pp:- [Conf]
  16. Luciano Baresi, Luca Mainetti
    W2000 meets J2ME for the Fast Prototyping of Mobile Web Applications. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering, 2006, pp:59-64 [Conf]
  17. Mauro Pezzè, Luciano Baresi
    Can Graph Grammars Make Formal Methods More Human? [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:387-394 [Conf]
  18. Luciano Baresi, Sam Guinea
    An Introduction to Self-Healing Web Services. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:4- [Conf]
  19. Luciano Baresi, Alessandro Orso, Mauro Pezzè
    Customizable notations for kernel formalisms. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:43-0 [Conf]
  20. Luciano Baresi, Sam Guinea
    Tutorial: towards dynamic web services. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:1067-1068 [Conf]
  21. Luciano Baresi, Alessandro Orso, Mauro Pezzè
    Introducing Formal Specification Methods in Industrial Practice. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:56-66 [Conf]
  22. Luciano Baresi, Carlo Ghezzi, Luca Mottola
    On Accurate Automatic Verification of Publish-Subscribe Architectures. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:199-208 [Conf]
  23. Luciano Baresi, Sam Guinea
    Towards Dynamic Monitoring of WS-BPEL Processes. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2005, pp:269-282 [Conf]
  24. Luciano Baresi, Sam Guinea
    Dynamo: Dynamic Monitoring of WS-BPEL Processes. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2005, pp:478-483 [Conf]
  25. Luciano Baresi, Carlo Ghezzi, Sam Guinea
    Smart monitors for composed services. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2004, pp:193-202 [Conf]
  26. Luciano Baresi, Matteo Miraz
    A Distributed Approach for the Federation of Heterogeneous Registries. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2006, pp:240-251 [Conf]
  27. Luciano Baresi, Piero Fraternali, Massimo Tisi, Sandro Morasca
    Towards Model-Driven Testing of a Web Application Generator. [Citation Graph (0, 0)][DBLP]
    ICWE, 2005, pp:75-86 [Conf]
  28. Luciano Baresi, Andrea Maurino, Stefano Modafferi
    Workflow Partitioning in Mobile Information Systems. [Citation Graph (0, 0)][DBLP]
    MOBIS, 2004, pp:93-106 [Conf]
  29. Sergio Bandinelli, Luciano Baresi, Alfonso Fuggetta, Luigi Lavazza
    Requirements and Early Experiences in the Implementation of the SPADE Repository using Object-Oriented Technology. [Citation Graph (0, 0)][DBLP]
    ISOTAS, 1993, pp:511-528 [Conf]
  30. Sergio Bandinelli, Luciano Baresi, Alfonso Fuggetta, Luigi Lavazza
    Requirements and Early Experiences in the Implementation of the SPADE Repository. [Citation Graph (0, 0)][DBLP]
    ISPW, 1993, pp:30-32 [Conf]
  31. Luciano Baresi, Sandro Morasca, Paolo Paolini
    Estimating the Design Effort of Web Applications. [Citation Graph (0, 0)][DBLP]
    IEEE METRICS, 2003, pp:62-72 [Conf]
  32. Luciano Baresi, Sebastiano Colazzo, Luca Mainetti
    First experiences on constraining consistency and adaptivity of W2000 models. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:1674-1678 [Conf]
  33. Luciano Baresi, Elisa Quintarelli
    Graph transformation to infer schemata from XML documents. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:642-646 [Conf]
  34. Luciano Baresi, Giovanni Denaro, Luca Mainetti, Paolo Paolini
    Assertions to better specify the amazon bug. [Citation Graph (0, 0)][DBLP]
    SEKE, 2002, pp:585-592 [Conf]
  35. Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró
    Modeling and validation of service-oriented architectures: application vs. style. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:68-77 [Conf]
  36. Luciano Baresi, Devis Bianchini, Valeria De Antonellis, Maria Grazia Fugini, Barbara Pernici, Pierluigi Plebani
    Context-Aware Composition of E-services. [Citation Graph (0, 0)][DBLP]
    TES, 2003, pp:28-41 [Conf]
  37. Luciano Baresi, Sam Guinea, Pierluigi Plebani
    WS-Policy for Service Monitoring. [Citation Graph (0, 0)][DBLP]
    TES, 2005, pp:72-83 [Conf]
  38. Luciano Baresi, Fabio Casati, Silvana Castano, Maria Grazia Fugini, Isabelle Mirbel, Barbara Pernici
    WIDE workflow development methodology. [Citation Graph (0, 0)][DBLP]
    WACC, 1999, pp:19-28 [Conf]
  39. Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró
    Style-Based Refinement of Dynamic Software Architectures. [Citation Graph (0, 0)][DBLP]
    WICSA, 2004, pp:155-166 [Conf]
  40. Luciano Baresi, Sandro Morasca, Paolo Paolini
    An Empirical Study on the Design Effort of Web Applications. [Citation Graph (0, 0)][DBLP]
    WISE, 2002, pp:345-354 [Conf]
  41. Luciano Baresi, Carlo Ghezzi
    Validation of Component and Service Federations in Automotive Software Applications. [Citation Graph (0, 0)][DBLP]
    ASWSD, 2004, pp:57-73 [Conf]
  42. Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi
    Towards Open-World Software: Issue and Challenges. [Citation Graph (0, 0)][DBLP]
    SEW, 2006, pp:249-252 [Conf]
  43. Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi
    Toward Open-World Software: Issue and Challenges. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:10, pp:36-43 [Journal]
  44. Luciano Baresi, Mauro Pezzè, Gabriele Taentzer
    Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:3, pp:- [Journal]
  45. Luciano Baresi, Michal Young
    Toward Translating Design Constraints to Run-Time Assertions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:73-84 [Journal]
  46. Luciano Baresi, Marco Mauri, Mauro Pezzè
    PLCTools: Graph Transformation Meets PLC Design. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:72, n:2, pp:- [Journal]
  47. Luciano Baresi, Mauro Pezzè
    Improving UML with Petri nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:4, pp:- [Journal]
  48. Luciano Baresi, Mauro Pezzè
    Petri Nets as Semantic Domain for Diagram Notations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:2, pp:29-44 [Journal]
  49. Luciano Baresi, Mauro Pezzè
    An Introduction to Software Testing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:148, n:1, pp:89-111 [Journal]
  50. Luciano Baresi, Schahram Dustdar, Harald Gall, Maristella Matera
    Special issue on ubiquitous mobile information and collaboration systems (UMICS). [Citation Graph (0, 0)][DBLP]
    Personal and Ubiquitous Computing, 2005, v:9, n:5, pp:261-261 [Journal]
  51. Sergio Bandinelli, Luciano Baresi, Alfonso Fuggetta, Luigi Lavazza
    Experiences in the Implementation of a Process-centered Software Engineering Environment Using Object-Oriented Technology. [Citation Graph (0, 0)][DBLP]
    TAPOS, 1995, v:1, n:2, pp:115-131 [Journal]
  52. Luciano Baresi, Mauro Pezzè
    Formal interpreters for diagram notations. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2005, v:14, n:1, pp:42-84 [Journal]
  53. Luciano Baresi, Mauro Pezzè
    Toward Formalizing Structured Analysis. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1998, v:7, n:1, pp:80-107 [Journal]
  54. Luciano Baresi, Sam Guinea, Pierluigi Plebani
    Policies and Aspects for the Supervision of BPEL Processes. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2007, pp:340-354 [Conf]
  55. Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini
    Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:247-262 [Conf]
  56. Luciano Baresi, Sam Guinea, Marco Plebani
    Business Process Monitoring for Dependability. [Citation Graph (0, 0)][DBLP]
    WADS, 2006, pp:337-361 [Conf]
  57. Luciano Baresi, Sam Guinea
    Dynamo and Self-Healing BPEL Compositions. [Citation Graph (0, 0)][DBLP]
    ICSE Companion, 2007, pp:69-70 [Conf]
  58. Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini
    A Timed Extension of WSCoL. [Citation Graph (0, 0)][DBLP]
    ICWS, 2007, pp:663-670 [Conf]
  59. Luciano Baresi, Andrea Maurino, Stefano Modafferi
    Distributed BPEL Processes. [Citation Graph (0, 0)][DBLP]
    SEKE, 2007, pp:692-697 [Conf]
  60. Luciano Baresi, Sandro Morasca
    Three empirical studies on estimating the design effort of Web applications. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2007, v:16, n:4, pp:- [Journal]

  61. Towards a Model-driven Approach to Develop Applications based on Physical Active Objects. [Citation Graph (, )][DBLP]


  62. A Flexible and Semantic-Aware Publication Infrastructure for Web Services. [Citation Graph (, )][DBLP]


  63. Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. [Citation Graph (, )][DBLP]


  64. TestFul: using a hybrid evolutionary algorithm for testing stateful systems. [Citation Graph (, )][DBLP]


  65. Multi-dimensional service compositions. [Citation Graph (, )][DBLP]


  66. TestFul: automatic unit-test generation for Java classes. [Citation Graph (, )][DBLP]


  67. Integrated and Composable Supervision of BPEL Processes. [Citation Graph (, )][DBLP]


  68. A Fault Taxonomy for Web Service Composition. [Citation Graph (, )][DBLP]


  69. Dynamo + Astro: An Integrated Approach for BPEL Monitoring. [Citation Graph (, )][DBLP]


  70. Adaptive Goals for Self-Adaptive Service Compositions. [Citation Graph (, )][DBLP]


  71. Towards a unified framework for the monitoring and recovery of BPEL processes. [Citation Graph (, )][DBLP]


  72. Service-Centric Systems and Requirements Engineering. [Citation Graph (, )][DBLP]


  73. Self-healing BPEL processes with Dynamo and the JBoss rule engine. [Citation Graph (, )][DBLP]


  74. Playing with time in publish-subscribe using a domain-specific model checker. [Citation Graph (, )][DBLP]


  75. A service-based infrastructure for advanced logistics. [Citation Graph (, )][DBLP]


  76. Loose Compositions for Autonomic Systems. [Citation Graph (, )][DBLP]


  77. Verification of Model Transformations: A Case Study with BPEL. [Citation Graph (, )][DBLP]


  78. TestFul: An Evolutionary Test Approach for Java. [Citation Graph (, )][DBLP]


  79. A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. [Citation Graph (, )][DBLP]


  80. An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations. [Citation Graph (, )][DBLP]


  81. A dynamic and reactive approach to the supervision of BPEL processes. [Citation Graph (, )][DBLP]


  82. An Efficient Solution for Model Checking Graph Transformation Systems. [Citation Graph (, )][DBLP]


Search in 0.249secs, Finished in 0.253secs
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