The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sebastián Uchitel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer, Michael Hu
    Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study. [Citation Graph (0, 0)][DBLP]
    IEEE SCC, 2005, pp:217-224 [Conf]
  2. Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
    Model-Based Analysis of Obligations in Web Service Choreography. [Citation Graph (0, 0)][DBLP]
    AICT/ICIW, 2006, pp:149- [Conf]
  3. Dan Hirsch, Sebastián Uchitel, Daniel Yankelevich
    Towards a Periodic Table of Connectors. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1999, pp:418- [Conf]
  4. Sebastián Uchitel, Daniel Yankelevich
    Enhancing Architectural Mismatch Detection with Assumptions. [Citation Graph (0, 0)][DBLP]
    ECBS, 2000, pp:138-0 [Conf]
  5. Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastián Uchitel
    Modes for Software Architectures. [Citation Graph (0, 0)][DBLP]
    EWSA, 2006, pp:113-126 [Conf]
  6. Paola Inverardi, Sebastián Uchitel
    Proving Deadlock Freedom in Component-Based Programming. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:60-75 [Conf]
  7. Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel
    Predictable Dynamic Plugin Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:129-143 [Conf]
  8. Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel
    Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:111-126 [Conf]
  9. Greg Brunet, Marsha Chechik, Sebastián Uchitel
    Properties of Behavioural Model Merging. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:98-114 [Conf]
  10. Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel
    Model-based Simulation of Web Applications for Usability Assessment. [Citation Graph (0, 0)][DBLP]
    ICSE Workshop on SE-HCI, 2003, pp:5-11 [Conf]
  11. Robert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee
    Fluent-based web animation: exploring goals for requirements validation. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:674-675 [Conf]
  12. Alexander Egyed, Martin Glinz, Ingolf Krüger, Tarja Systä, Sebastián Uchitel, Albert Zündorf
    Second Workshop on Scenarios and State Machines: Models, Algorithms, and Tools. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:783-784 [Conf]
  13. Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
    LTSA-WS: a tool for model-based verification of web service compositions and choreography. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:771-774 [Conf]
  14. Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel
    Monitoring and control in scenario-based requirements analysis. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:382-391 [Conf]
  15. Sebastián Uchitel, Jeff Kramer
    A Workbench for Synthesising Behaviour Models from Scenarios. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:188-197 [Conf]
  16. Sebastián Uchitel, Tarja Systä, Albert Zündorf
    Scenarios and state machines: models, algorithms, and tools. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:659-660 [Conf]
  17. Sebastián Uchitel, Greg Brunet, Marsha Chechik
    Behaviour Model Synthesis from Properties and Scenarios. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:34-43 [Conf]
  18. Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
    Compatibility Verification for Web Service Choreography. [Citation Graph (0, 0)][DBLP]
    ICWS, 2004, pp:738-741 [Conf]
  19. Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
    Tool Support for Model-Based Engineering of Web Service Compositions. [Citation Graph (0, 0)][DBLP]
    ICWS, 2005, pp:95-102 [Conf]
  20. Steve M. Easterbrook, Sebastián Uchitel
    Introduction to doctoral symposium. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:435- [Conf]
  21. Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
    Model-based Verification of Web Service Compositions. [Citation Graph (0, 0)][DBLP]
    ASE, 2003, pp:152-163 [Conf]
  22. Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel
    Model Extraction Using Context Information. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2006, pp:380-394 [Conf]
  23. Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
    Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation. [Citation Graph (0, 0)][DBLP]
    RE, 2004, pp:208-217 [Conf]
  24. Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel
    Inferring operational requirements from scenarios and goal models using inductive learning. [Citation Graph (0, 0)][DBLP]
    SCESM, 2006, pp:29-36 [Conf]
  25. Jeff Kramer, Jeff Magee, Sebastián Uchitel
    Software Architecture Modeling & Analysis: A Rigorous Approach. [Citation Graph (0, 0)][DBLP]
    SFM, 2003, pp:44-51 [Conf]
  26. Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel
    Fluent temporal logic for discrete-time event-based models. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:70-79 [Conf]
  27. Sebastián Uchitel, Marsha Chechik
    Merging partial behavioural models. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2004, pp:43-52 [Conf]
  28. Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
    System architecture: the context for scenario-based model synthesis. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2004, pp:33-42 [Conf]
  29. Sebastián Uchitel, Jeff Kramer, Jeff Magee
    Detecting implied scenarios in message sequence chart specifications. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:74-82 [Conf]
  30. Sebastián Uchitel, Jeff Kramer, Jeff Magee
    Negative scenarios for implied scenario elicitation. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:109-118 [Conf]
  31. Sebastián Uchitel, Jeff Kramer, Jeff Magee
    Behaviour model elaboration using partial labelled transition systems. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:19-27 [Conf]
  32. Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
    LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:597-601 [Conf]
  33. Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel
    Reliability Prediction in Model-Driven Development. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2005, pp:339-354 [Conf]
  34. Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel
    Visual methods for web application design. [Citation Graph (0, 0)][DBLP]
    HCC, 2003, pp:242-244 [Conf]
  35. Sebastián Uchitel, Jeff Kramer, Jeff Magee
    Implied Scenario Detection in the Presence of Behaviour Constraints. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:7, pp:- [Journal]
  36. Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
    Goal and scenario validation: a fluent combination. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2006, v:11, n:2, pp:123-137 [Journal]
  37. Sebastián Uchitel, Jeff Kramer, Jeff Magee
    Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2004, v:13, n:1, pp:37-85 [Journal]
  38. Sebastián Uchitel, Manfred Broy, Ingolf H. Krüger, Jon Whittle
    Guest Editorial: Special Section on Interaction and State-Based Modeling. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2005, v:31, n:12, pp:997-998 [Journal]
  39. Sebastián Uchitel, Jeff Kramer, Jeff Magee
    Synthesis of Behavioral Models from Scenarios. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:2, pp:99-115 [Journal]
  40. Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel
    Extracting Requirements from Scenarios with ILP. [Citation Graph (0, 0)][DBLP]
    ILP, 2006, pp:64-78 [Conf]
  41. Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David Rosenblum, Sebastián Uchitel
    Model checking service compositions under resource constraints. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:225-234 [Conf]

  42. Partial Behavioural Models for Requirements and Early Design. [Citation Graph (, )][DBLP]


  43. Towards Faithful Model Extraction Based on Contexts. [Citation Graph (, )][DBLP]


  44. Deriving Non-zeno Behavior Models from Goal Models Using ILP. [Citation Graph (, )][DBLP]


  45. Existential live sequence charts revisited. [Citation Graph (, )][DBLP]


  46. Learning operational requirements from goal models. [Citation Graph (, )][DBLP]


  47. Validation of contracts using enabledness preserving finite state abstractions. [Citation Graph (, )][DBLP]


  48. A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes. [Citation Graph (, )][DBLP]


  49. Towards Self-management in Service-Oriented Computing with Modes. [Citation Graph (, )][DBLP]


  50. Engage: Engineering Service Modes with WS-Engineer and Dino. [Citation Graph (, )][DBLP]


  51. A Sound Observational Semantics for Modal Transition Systems. [Citation Graph (, )][DBLP]


  52. A foundation for behavioural conformance in software product line architectures. [Citation Graph (, )][DBLP]


  53. MTSA: The Modal Transition System Analyser. [Citation Graph (, )][DBLP]


  54. Towards compositional synthesis of evolving systems. [Citation Graph (, )][DBLP]


  55. On correct and complete strong merging of partial behaviour models. [Citation Graph (, )][DBLP]


  56. Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models. [Citation Graph (, )][DBLP]


  57. Towards accurate probabilistic models using state refinement. [Citation Graph (, )][DBLP]


  58. Detecting Implied Scenarios from Execution Traces. [Citation Graph (, )][DBLP]


  59. Leveraging Eclipse for integrated model-based engineering of web service compositions. [Citation Graph (, )][DBLP]


  60. MTSA: Eclipse support for modal transition systems construction, analysis and elaboration. [Citation Graph (, )][DBLP]


  61. Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering. [Citation Graph (, )][DBLP]


  62. Guest Editors' Introduction. [Citation Graph (, )][DBLP]


  63. Deriving event-based transition systems from goal-oriented requirements models. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.009secs
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