The SCEAS System
Navigation Menu

Search the dblp DataBase


Radu Grosu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Radu Grosu, Scott A. Smolka
    Safety-Liveness Semantics for UML 2.0 Sequence Diagrams. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:6-14 [Conf]
  2. Radu Grosu, Gheorghe Stefanescu, Manfred Broy
    Visual Formalisms Revisited. [Citation Graph (0, 0)][DBLP]
    ACSD, 1998, pp:41-51 [Conf]
  3. Radu Grosu, Ketil Stølen
    A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:504-519 [Conf]
  4. Rajeev Alur, Radu Grosu, Michael McDougall
    Efficient Reachability Analysis of Hierarchical Reactive Machines. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:280-295 [Conf]
  5. Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin
    Towards a Precise Semantics for Object-Oriented Modeling Techniques. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1997, pp:205-210 [Conf]
  6. Ruth Breu, Radu Grosu
    Modeling the Dynamic Behavior of Objects on Events, Messages and Methods (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1997, pp:572-575 [Conf]
  7. Manfred Broy, Radu Grosu, Cornel Klein
    Reconciling Real-Time with Asynchronous Message Passing. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:182-200 [Conf]
  8. Rajeev Alur, Radu Grosu, Bow-Yaw Wang
    Automated Refinement Checking for Asynchronous Processes. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2000, pp:55-72 [Conf]
  9. Radu Grosu, Thomas Stauner, Manfred Broy
    A Modular Visual Model for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:75-91 [Conf]
  10. Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy
    Focusing on Mobility. [Citation Graph (0, 0)][DBLP]
    HICSS, 1999, pp:- [Conf]
  11. Radu Grosu, Franz Regensburger
    The Semantics of SPECTRUM. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:124-145 [Conf]
  12. Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, Insup Lee
    Modular Specification of Hybrid Systems in CHARON. [Citation Graph (0, 0)][DBLP]
    HSCC, 2000, pp:6-19 [Conf]
  13. Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
    Compositional Refinement for Hierarchical Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:33-48 [Conf]
  14. Radu Grosu, S. Mitra, P. Ye, E. Entcheva, I. V. Ramakrishnan, Scott A. Smolka
    Learning Cycle-Linear Hybrid Automata for Excitable Cells. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:245-258 [Conf]
  15. Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang
    JMOCHA: A Model Checking Tool that Exploits Design Structure. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:835-836 [Conf]
  16. Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy
    From MSCs to Statecharts. [Citation Graph (0, 0)][DBLP]
    DIPES, 1998, pp:61-72 [Conf]
  17. Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok
    Compiler-assisted software verification using plug-ins. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  18. Radu Grosu, Ingolf Krüger, Thomas Stauner
    Hybrid Sequence Charts. [Citation Graph (0, 0)][DBLP]
    ISORC, 2000, pp:104-0 [Conf]
  19. Rajeev Alur, Radu Grosu
    Shared Variables Interaction Diagrams. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:281-288 [Conf]
  20. Radu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan
    Automated Software Engineering Using Concurrent Class Machines. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:297-0 [Conf]
  21. Radu Grosu
    And/Or Hierarchies and Round Abstraction. [Citation Graph (0, 0)][DBLP]
    MFCS, 2000, pp:52-63 [Conf]
  22. Rajeev Alur, Radu Grosu
    Modular Refinement of Hierarchic Reactive Machines. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:390-402 [Conf]
  23. Radu Grosu, Scott A. Smolka
    Monte Carlo Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:271-286 [Conf]
  24. Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin
    Systems, Views and Models of UML. [Citation Graph (0, 0)][DBLP]
    UML Workshop, 1997, pp:93-108 [Conf]
  25. Radu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Smolka
    Open-Source Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:27-44 [Journal]
  26. Radu Grosu, Scott A. Smolka
    Monte Carlo Methods for Process Algebra. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:203-207 [Journal]
  27. Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok
    Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:4, pp:41-52 [Journal]
  28. Radu Grosu, Ketil Stølen
    Stream-Based Specification of Mobile Systems. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2001, v:13, n:1, pp:1-31 [Journal]
  29. Radu Grosu, Thomas Stauner
    Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:21, n:1, pp:5-38 [Journal]
  30. Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
    Compositional modeling and refinement for hierarchical hybrid systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:68, n:1-2, pp:105-128 [Journal]
  31. Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu
    Mixed Relations as Enriched Semiringal Categories. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:1, pp:112-129 [Journal]
  32. Rajeev Alur, Radu Grosu
    Modular refinement of hierarchic reactive machines. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2004, v:26, n:2, pp:339-369 [Journal]
  33. Sean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, Erez Zadok
    Model Predictive Control for Memory Profiling. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2007, pp:1-7 [Conf]

  34. StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. [Citation Graph (, )][DBLP]

  35. Formal Analysis of Abnormal Excitation in Cardiac Tissue. [Citation Graph (, )][DBLP]

  36. Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks. [Citation Graph (, )][DBLP]

  37. Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. [Citation Graph (, )][DBLP]

  38. Finite Automata as Time-Inv Linear Systems Observability, Reachability and More. [Citation Graph (, )][DBLP]

  39. Dynamic Path Reduction for Software Model Checking. [Citation Graph (, )][DBLP]

  40. Software monitoring with bounded overhead. [Citation Graph (, )][DBLP]

  41. Quantitative Model checking. [Citation Graph (, )][DBLP]

  42. Power Optimization in Fault-Tolerant MANETs. [Citation Graph (, )][DBLP]

  43. High-confidence operating systems. [Citation Graph (, )][DBLP]

  44. Deep Random Search for Efficient Model Checking of Timed Automata. [Citation Graph (, )][DBLP]

  45. CellExcite: an efficient simulation environment for excitable cells. [Citation Graph (, )][DBLP]

  46. Learning and detecting emergent behavior in networks of cardiac myocytes. [Citation Graph (, )][DBLP]

  47. Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. [Citation Graph (, )][DBLP]

Search in 0.005secs, Finished in 0.007secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002