The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jürgen Dingel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jürgen Dingel
    A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:231-247 [Conf]
  2. Jürgen Dingel, Thomas Filkorn
    Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving. [Citation Graph (0, 0)][DBLP]
    CAV, 1995, pp:54-69 [Conf]
  3. Jürgen Dingel
    Modular Verification for Shared-Variable Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:703-718 [Conf]
  4. Jürgen Dingel
    Approximating UNITY. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1997, pp:320-337 [Conf]
  5. Jürgen Dingel, David Garlan, Craig Damon
    Bridging the HLA: Problems and Solutions. [Citation Graph (0, 0)][DBLP]
    DS-RT, 2002, pp:33-42 [Conf]
  6. Jürgen Dingel
    Computer-Assisted Assume/Guarantee Reasoning with VeriSoft. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:138-148 [Conf]
  7. Jürgen Dingel
    Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs. [Citation Graph (0, 0)][DBLP]
    IFM, 2000, pp:214-234 [Conf]
  8. Zinovy Diskin, Jürgen Dingel
    Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2006, pp:230-244 [Conf]
  9. Alanna Zito, Zinovy Diskin, Jürgen Dingel
    Package Merge in UML 2: Practice vs. Theory? [Citation Graph (0, 0)][DBLP]
    MoDELS, 2006, pp:185-199 [Conf]
  10. Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic
    2nd UML 2 Semantics Symposium: Formal Semantics for UML. [Citation Graph (0, 0)][DBLP]
    MoDELS Workshops, 2006, pp:318-323 [Conf]
  11. Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel
    An empirical framework for comparing effectiveness of testing and property-based formal analysis. [Citation Graph (0, 0)][DBLP]
    PASTE, 2005, pp:2-5 [Conf]
  12. Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel
    Implementation and Verification of Implicit-Invocation Systems Using Source Transformation. [Citation Graph (0, 0)][DBLP]
    SCAM, 2005, pp:87-96 [Conf]
  13. Hongzhi Liang, Jürgen Dingel, Zinovy Diskin
    A comparative survey of scenario-based to state-based model synthesis approaches. [Citation Graph (0, 0)][DBLP]
    SCESM, 2006, pp:5-12 [Conf]
  14. Jeremy S. Bradbury, Jürgen Dingel
    Evaluating and improving the automatic analysis of implicit invocation systems. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:78-87 [Conf]
  15. Jürgen Dingel, Hongzhi Liang
    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2004, pp:13-22 [Conf]
  16. Michael Baldamus, Jürgen Dingel
    Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:285-296 [Conf]
  17. Michelle L. Crane, Jürgen Dingel
    UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2005, pp:97-112 [Conf]
  18. Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel, Michel Wermelinger
    A survey of self-management in dynamic software architecture specifications. [Citation Graph (0, 0)][DBLP]
    WOSS, 2004, pp:28-33 [Conf]
  19. Jürgen Dingel
    Compositional Analysis of C/C++ Programs with VeriSoft. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2006, v:43, n:1, pp:45-71 [Journal]
  20. Timothy Cassidy, James R. Cordy, Thomas R. Dean, Jürgen Dingel
    Source Transformation for Concurrency Analysis. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:4, pp:57-75 [Journal]
  21. Michelle L. Crane, Jürgen Dingel
    Runtime Conformance Checking of Objects Using Alloy. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
  22. Jürgen Dingel
    A Refinement Calculus for Shared-Variable Parallel and Distributed Programming. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:14, n:2, pp:123-197 [Journal]
  23. Jürgen Dingel, David Garlan, Somesh Jha, David Notkin
    Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:3, pp:193-213 [Journal]
  24. Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel
    Using source transformation to test and model check implicit-invocation systems. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:62, n:3, pp:209-227 [Journal]
  25. L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Dingel
    Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:44-58 [Conf]
  26. Jesse McGeachie, Jürgen Dingel
    Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:1, pp:3-18 [Journal]

  27. Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities. [Citation Graph (, )][DBLP]


  28. Theory and Implementation of a Real-Time Extension to the pi-Calculus. [Citation Graph (, )][DBLP]


  29. Experience applying the SPIN model checker to an industrial telecommunications system. [Citation Graph (, )][DBLP]


  30. Run-time conformance checking of mobile and distributed systems using executable models. [Citation Graph (, )][DBLP]


  31. A General Approach for Scenario Integration. [Citation Graph (, )][DBLP]


  32. Towards a Formal Account of a Foundational Subset for Executable UML Models. [Citation Graph (, )][DBLP]


  33. The Doctoral Symposium at MODELS 2009. [Citation Graph (, )][DBLP]


  34. Generation of concurrency control code using discrete-event systems theory. [Citation Graph (, )][DBLP]


  35. Engineering Associations: From Models to Code and Back through Semantics. [Citation Graph (, )][DBLP]


  36. Bridging the gap: Discrete-Event Systems for software engineering (short position paper). [Citation Graph (, )][DBLP]


  37. A Survey of Using Model-Based Testing to Improve Quality Attributes in Distributed Systems. [Citation Graph (, )][DBLP]


  38. A Practical Evaluation of Using TXL for Model Transformation. [Citation Graph (, )][DBLP]


Search in 0.015secs, Finished in 0.017secs
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