2009 | ||
---|---|---|
46 | EE | Radu Grosu: Finite Automata as Time-Inv Linear Systems Observability, Reachability and More. HSCC 2009: 194-208 |
45 | EE | Zijiang Yang, Bashar Al-Rawi, Karem Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu: Dynamic Path Reduction for Software Model Checking. IFM 2009: 322-336 |
44 | EE | Radu Grosu, Scott A. Smolka, Flavio Corradini, Anita Wasilewska, Emilia Entcheva, Ezio Bartocci: Learning and detecting emergent behavior in networks of cardiac myocytes. Commun. ACM 52(3): 97-105 (2009) |
2008 | ||
43 | EE | Pei Ye, Radu Grosu, Scott A. Smolka, Emilia Entcheva: Formal Analysis of Abnormal Excitation in Cardiac Tissue. CMSB 2008: 141-155 |
42 | EE | Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka: StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. Concurrency, Graphs and Models 2008: 493-502 |
41 | EE | Oliviero Riganelli, Radu Grosu, Samir R. Das, C. R. Ramakrishnan, Scott A. Smolka: Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks. HASE 2008: 362-370 |
40 | EE | Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska: Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. HSCC 2008: 229-243 |
39 | EE | Sean Callanan, David J. Dean, Michael Gorbovitski, Radu Grosu, Justin Seyster, Scott A. Smolka, Scott D. Stoller, Erez Zadok: Software monitoring with bounded overhead. IPDPS 2008: 1-8 |
38 | Oliviero Riganelli, Radu Grosu, Scott A. Smolka: Power Optimization in Fault-Tolerant MANETs. MASCOTS 2008: 379-380 | |
37 | EE | Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka: Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. Electr. Notes Theor. Comput. Sci. 194(3): 51-67 (2008) |
2007 | ||
36 | EE | Radu Grosu, S. Mitra, Pei Ye, Emilia Entcheva, I. V. Ramakrishnan, Scott A. Smolka: Learning Cycle-Linear Hybrid Automata for Excitable Cells. HSCC 2007: 245-258 |
35 | EE | Sean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, Erez Zadok: Model Predictive Control for Memory Profiling. IPDPS 2007: 1-7 |
2006 | ||
34 | EE | Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok: Compiler-assisted software verification using plug-ins. IPDPS 2006 |
33 | EE | Radu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis: Deep Random Search for Efficient Model Checking of Timed Automata. Monterey Workshop 2006: 111-124 |
32 | EE | Radu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Smolka: Open-Source Model Checking. Electr. Notes Theor. Comput. Sci. 144(3): 27-44 (2006) |
31 | EE | Radu Grosu, Scott A. Smolka: Monte Carlo Methods for Process Algebra. Electr. Notes Theor. Comput. Sci. 162: 203-207 (2006) |
30 | EE | Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok: Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. Electr. Notes Theor. Comput. Sci. 164(4): 41-52 (2006) |
29 | EE | Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky: Compositional modeling and refinement for hierarchical hybrid systems. J. Log. Algebr. Program. 68(1-2): 105-128 (2006) |
2005 | ||
28 | EE | Radu Grosu, Scott A. Smolka: Safety-Liveness Semantics for UML 2.0 Sequence Diagrams. ACSD 2005: 6-14 |
27 | EE | Radu Grosu, Scott A. Smolka: Monte Carlo Model Checking. TACAS 2005: 271-286 |
2004 | ||
26 | Radu Grosu, Scott A. Smolka: Quantitative Model checking. ISoLA (Preliminary proceedings) 2004: 165-174 | |
25 | EE | Rajeev Alur, Radu Grosu: Modular refinement of hierarchic reactive machines. ACM Trans. Program. Lang. Syst. 26(2): 339-369 (2004) |
2002 | ||
24 | EE | Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu: High-confidence operating systems. ACM SIGOPS European Workshop 2002: 205-208 |
23 | Radu Grosu, Thomas Stauner: Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts. Formal Methods in System Design 21(1): 5-38 (2002) | |
2001 | ||
22 | EE | Rajeev Alur, Radu Grosu: Shared Variables Interaction Diagrams. ASE 2001: 281-288 |
21 | EE | Radu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan: Automated Software Engineering Using Concurrent Class Machines. ASE 2001: 297- |
20 | EE | Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky: Compositional Refinement for Hierarchical Hybrid Systems. HSCC 2001: 33-48 |
19 | 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. ICSE 2001: 835-836 | |
18 | EE | Radu Grosu, Ketil Stølen: Stream-Based Specification of Mobile Systems. Formal Asp. Comput. 13(1): 1-31 (2001) |
2000 | ||
17 | Rajeev Alur, Radu Grosu, Michael McDougall: Efficient Reachability Analysis of Hierarchical Reactive Machines. CAV 2000: 280-295 | |
16 | EE | Rajeev Alur, Radu Grosu, Bow-Yaw Wang: Automated Refinement Checking for Asynchronous Processes. FMCAD 2000: 55-72 |
15 | EE | Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, Insup Lee: Modular Specification of Hybrid Systems in CHARON. HSCC 2000: 6-19 |
14 | EE | Radu Grosu, Ingolf Krüger, Thomas Stauner: Hybrid Sequence Charts. ISORC 2000: 104- |
13 | EE | Radu Grosu: And/Or Hierarchies and Round Abstraction. MFCS 2000: 52-63 |
12 | EE | Rajeev Alur, Radu Grosu: Modular Refinement of Hierarchic Reactive Machines. POPL 2000: 390-402 |
11 | EE | Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu: Mixed Relations as Enriched Semiringal Categories. J. UCS 6(1): 112-129 (2000) |
1999 | ||
10 | EE | Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy: Focusing on Mobility. HICSS 1999 |
1998 | ||
9 | EE | Radu Grosu, Gheorghe Stefanescu, Manfred Broy: Visual Formalisms Revisited. ACSD 1998: 41-51 |
8 | Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy: From MSCs to Statecharts. DIPES 1998: 61-72 | |
7 | EE | Radu Grosu, Thomas Stauner, Manfred Broy: A Modular Visual Model for Hybrid Systems. FTRTFT 1998: 75-91 |
1997 | ||
6 | EE | Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin: Towards a Precise Semantics for Object-Oriented Modeling Techniques. ECOOP Workshops 1997: 205-210 |
5 | Ruth Breu, Radu Grosu: Modeling the Dynamic Behavior of Objects on Events, Messages and Methods (Extended Abstract). Euro-Par 1997: 572-575 | |
4 | Manfred Broy, Radu Grosu, Cornel Klein: Reconciling Real-Time with Asynchronous Message Passing. FME 1997: 182-200 | |
3 | Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin: Systems, Views and Models of UML. UML Workshop 1997: 93-108 | |
1996 | ||
2 | Radu Grosu, Ketil Stølen: A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing. AMAST 1996: 504-519 | |
1993 | ||
1 | Radu Grosu, Franz Regensburger: The Semantics of SPECTRUM. HOA 1993: 124-145 |