Online Publications

Most of the papers available from this document appear in print, and the corresponding copyright is held by the publisher. While the papers can be used for personal use, redistribution or reprinting for commercial purposes is prohibited.

Refereed Conference Papers

E. Bartocci, R. Grosu, A. Karmarkar, S.A. Smolka, S.D. Stoller, E. Zadok, and J. Seyster. Adaptive Runtime Verification. In Proc. of RV'12, the 3rd International Conference on Runtime Verification, Istambul, Turkey, September, 2012, Springer LNCS. Abstract. Full paper

A. Murthy, A. Islam, E. Bartocci, E. Cherry, F.H. Fenton, J. Glimm, S.A. Smolka, and R. Grosu. Approximate Bisimulations for Sodium-Channel Dynamics. In Proc. of CMSB'12, the 10th International Conference on Computational Methods in Systems Biology, London, UK, October, 2012, Springer LNCS/LNBI. Abstract. Full paper

A. Donze, O. Maler, E. Bartocci, D. Nickovic, R. Grosu, and S.A. Smolka. On Temporal Logic and Signal Processing. In Proc. of ATVA'12, the 10th International Symposium on Automated Technology for Verification and Analysis, Thiruvananthapuram, Kerala, October, 2012, Springer LNCS. Abstract. Full paper

S. Bogomolov, G. Frehse, R. Grosu, H. Ladan, A. Podelski, and M. Wehrle. A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. In Proc. of CAV'12, the 24th International Conference on Computer Aided Verification, Berkeley, California, USA, July, 2012, Springer LNCS. Abstract. Full paper

S.D. Stoller, E. Bartocci, J. Seyster, R. Grosu, K. Havelund, S.A. Smolka, and E. Zadok. Runtime Verification with State Estimation. In Proc. of RV'11, the 2nd International Conference on Runtime Verification, San Francisco, November, 2011, Springer LNCS. Best paper award. Abstract. Full paper

A. Murthy, E. Bartocci, F. Fenton, J. Glimm, R. Gray, S.A. Smolka, and R. Grosu. Curvature Analysis of Cardiac Excitation Wavefronts. In Proc. of CMSB'11, the 9th International Conference on Computational Methods in Systems Biology, Paris, France, September, 2011, ACM. Abstract. Full paper

E. Bartocci, E. Cherry, J. Glimm, R. Grosu, S.A. Smolka, and F. Fenton. Toward Real-time Simulation of Cardiac Dynamics. In Proc. of CMSB'11, the 9th International Conference on Computational Methods in Systems Biology, Paris, France, September, 2011, ACM. Abstract. Full paper

R. Grosu, G. Batt, F. Fenton, J. Glimm, C. Le Guernic, S.A. Smolka and E. Bartocci. From Cardiac Cells to Genetic Regulatory Networks. In Proc. of CAV'11, the 23rd International Conference on Computer Aided Verification, Cliff Lodge, Snowbird, Utah, USA, July, 2011, pp. 396-411, Springer LNCS 6806. Abstract. Full paper

Z. Li, R. Grosu, P. Sehgal, S.A. Smolka, S.D. Stoller, and E. Zadok. On the Energy Consumption and Performance of Systems Software. In Proc. of SYSTOR'11, the 4th Annual International Systems and Storage Conference, Haifa, Israel, June, 2011, ACM, ISBN 978-1-4503-0773-4. Abstract. Full paper

E. Bartocci, R. Grosu, P. Katsaros, C.R. Ramakrishnan and S.A. Smolka. Model Repair for Probabilistic Systems. In Proc. of TACAS'11, the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Saarbruecken, Germany, March, 2011, pp. 326-340, Springer, LNCS 6605. Abstract. Full paper

J. Seyster, K. Dixit, X. Huang, R. Grosu, K. Havelund, S.A. Smolka, S.D. Stoller and E. Zadok. Aspect-Oriented Instrumentation with GCC. In Proc. of RV'10, the 1st International Conference on Runtime Verification, Malta, November, 2010, pp. 405-420, Springer LNCS 6418. Abstract. Full paper

R. Grosu. The Cayley-Hamilton Theorem for Noncommutative Semirings. In Proc. of CIAA'10, the 15th International Conference on Implementation and Application of Automata, Winnipeg, Canada, August, 2010, Springer LNCS . Abstract. Full paper

R. Grosu. Finite Automata as Time-Invariant Linear Systems: Observability, Reachability and More. In Proc. of HSCC'09, the 12th International Conference on Hybrid Systems: Computation and Control, San Francisco, USA, April, 2009, pp. 194-208, Springer, LNCS 5469. Abstract. Full paper

Z. Yang, B. Al-Rawi, K. Sakallah, X. Huang, S.A. Smolka and R. Grosu. Dynamic Path Reduction for Software Model Checking. In Proc. of iFM'09, the 7th International Conference on Integrated Formal Methods, Duesseldorf, Germany, February 2009, pp. 322-336, Springer, LNCS 5423. Abstract. Full paper

O. Riganelli, R. Grosu, S. Das, C.R. Ramakrishnan and S.A. Smolka. Power Optimization in Fault-Tolerant MANETs. In Proc. of Hase'08, the 11th IEEE High Assurance Systems Engineering Symposium, Nanjing, China, December 2008, pp. 362-370, IEEE Computer Society, ISBN 978-0-7695-3482-4. Abstract. Full paper

P. Ye, R. Grosu, S.A. Smolka and E. Entcheva. Formal Analysis of Abnormal Excitation in Cardiac Tissue. In Proc. of CMSB'08, the 6th International Conference on Computational Methods in Systems Biology, Rostock, Germany, October, 2008, pp. 141-155, Springer, LNBI 5307. Abstract. Full paper

O. Riganelli, R. Grosu, S. Das, C.R. Ramakrishnan and S.A. Smolka. Power Optimization in Fault-Tolerant MANETs: Poster Paper. In Proc. of Mascots'08, the 16th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Baltimore, USA, September, 2008, IEEE Computer Society. Abstract. Poster paper

P. Ye, E. Entcheva, S.A. Smolka and R. Grosu. Symbolic Analysis of the Neuron. In Proc. of ICBBE'08, the 2nd International Conference on Bioinformatics and Biomedical Engineering, Shanghai, China, May, 2008, pp. 836-839, IEEE, ISBN: 978-1-4244-1747-6. Abstract. Full paper

R. Grosu, E. Bartocci, F. Corradini, E. Entcheva, S.A. Smolka and A. Wasilewska. Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. In Proc. of HSCC'08, the 11th International Conference on Hybrid Systems: Computation and Control, St. Louis, USA, April, 2008, pp. 229-243, Springer, LNCS 4981. To also appear in CACM, the Communications of the ACM, 2008. Abstract. Full paper

R. Grosu, S. Mitra, P. Ye, E. Entcheva, IV Ramakrishnan and S.A. Smolka. Learning Cycle-Linear Hybrid Automata for Excitable Cells. In Proc. of HSCC'07, the 10th International Conference on Hybrid Systems: Computation and Control, Pisa, Italy, April, 2007, pp. 245-258, Springer, LNCS 4416. Abstract. Full paper

P. Ye, E. Entcheva, S.A. Smolka, M.R. True and R. Grosu. A Cycle-Linear Approach to Modeling Action Potentials. In Proc. of EMBS'06, the 28th IEEE International Conference of the Engineering in Medicine and Biology Society, New York City, USA, August, 2006, pp. 3931-3934, IEEE Press, ISBN: 1-4244-0032-5. Abstract, Full paper

P. Ye, E. Entcheva, S.A. Smolka, M.R. True and R. Grosu. Hybrid Automata as a Unifying Framework for Modeling Cardiac Cells. In Proc. of EMBS'06, the 28th IEEE International Conference of the Engineering in Medicine and Biology Society, New York City, USA, August, 2006, pp. 4151-4154, IEEE Press, ISBN: 1-4244-0032-5. Abstract, Full paper

M.R. True, E. Entcheva, S.A. Smolka, P. Ye and R. Grosu. Efficient Event-Driven Simulation of Excitable Hybrid Automata. In Proc. of EMBS'06, the 28th IEEE International Conference of the Engineering in Medicine and Biology Society, New York City, USA, August, 2006, pp. 3150-3153, IEEE Press, ISBN: 1-4244-0032-5. Abstract, Full paper

R. Grosu and S.A. Smolka. Safety-Liveness Semantics for UML 2.0 Sequence Diagrams. In Proc. of ACSD'05, the 5th International Conference on Applications of Concurrency to System Design, Saint Malo, France, June, 2005, pp. 6-14, IEEE Press. Abstract, Full paper

R. Grosu and S.A. Smolka. Monte Carlo Model Checking. In Proc. of TACAS'05, the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Edinburgh, UK, April 2005, pp. 271-286, Springer, LNCS 3440. Abstract, Full paper

R. Grosu and S.A. Smolka. Quantitative Model Checking. In Proc. of ISoLa'04, the 1st International Symposium on Leveraging Applications of Formal Methods, Paphos, Cyprus, November, 2004, pp. 165-174. Abstract, Full paper

R. Grosu, Y.A. Liu, S.A. Smolka, S.D. Stoller, J. Yan. Automated Software Engineering Using Concurrent Class Machines. In Proc. of ASE'01, the 16th IEEE International Conference on Automated Software Engineering, San Diego, USA, November, 2001, pp. 297-307, IEEE Press. Abstract, Full paper

R. Alur, R. Grosu. Shared Variables Interaction Diagrams. In Proc. of ASE'01, the 16th IEEE International Conference on Automated Software Engineering, San Diego, USA, November, 2001, pp. 281-288, IEEE Press. Abstract, Full paper

R. Alur, L. di Alfaro, R. Grosu, T. Henzinger, M. Kang, F. Mang, R. Majumdar, C. Meyer and B.-Y. Wang. jMocha: A Model Checking Tool that Exploits Design Structure. Proc. of ICSE'01, the 23rd International Conference on Software Engineering, Toronto, May, 2001, pp. 835-836, IEEE Press. Abstract, Full paper

R. Alur, R. Grosu, and B.-Y. Wang. Automated refinement checking for asynchronous processes. In Proc. of FMCAD'00, the 3rd International Conference on Formal Methods in Computer-Aided Design, Austin, Texas, November, 2000, pp. 55-72, Springer, LNCS 1954. Abstract, Full paper

R. Grosu. And/Or Hierarchies and Round Abstraction. In Proc. of MFCS'00, the 25th International Symposium on Mathematical Foundations of Computer Science, Bratislava, Slovak Republic, September, 2000, pp. 52-66, Springer, LNCS 1893. Abstract, Full paper

R. Alur, R. Grosu, M. McDougall. Efficient Reachability Analysis of Hierarchical Reactive Machines. In Proc. of CAV'00, the 12th International Conference on Computer Aided Verification, Chicago, IL, July, 2000, pp. 280-295, Springer, LNCS 1855. Abstract, Full paper

R. Alur, R. Grosu. Modular Refinement of Hierarchic Reactive Machines. In Proc. of POPL'00, the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, January, 2000, pp. 390-402, ACM Press. Abstract, Full paper

R. Grosu, I. Krueger, T. Stauner. Hybrid Sequence Charts. In Proc. of ISORC'00, the 3rd IEEE International Symposium on Object-oriented Real-time distributed Computing, Newport Beach, California, March, 2000, pp. 104-111, IEEE Press. Abstract, Full paper

R. Grosu, T. Stauner, M. Broy. A Modular Visual Model for Hybrid Systems. In Proc. of FTRTFT'98, the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lyngby, Denmark, September, 1998, pp. 75-91, Springer, LNCS 1486. Abstract, Full paper

R. Grosu, G. Stefanescu, M. Broy. Visual Formalisms Revisited. In Proc. of ACSD'98, the 1st International Conference on Application of Concurrency to System Design, Aizu-Wakamatsu, Japan, March, 1998, pp. 41-51, IEEE Press. Abstract, Full paper

K. Bergner, R. Grosu, A. Rausch, A. Schmidt, P. Scholz, M. Broy. Focusing on Mobility. In Proceedings of HICSS'99, the 32nd Annual Hawaii International Conference on System Sciences, Hawaii, January, 1999, pp. 8030-8039, IEEE Press. Abstract, Full paper

M. Broy, R. Grosu, C. Klein. Reconciling real-time with asynchronous message passing. In Proc. of the FME'97, the 4th International Symposium on Formal Methods Europe, Graz, September, 1997, pp. 182-200, Springer, LNCS 1313. Abstract, Full paper

R. Breu, R. Grosu. Modeling the dynamic behaviour of objects: On events, messages and methods (Extended Abstract). In Proc. Euro-Par'97, the 3rd International Euro-Par Conference, Passau, August, 1997, pp. 572-586, Springer, LNCS 1300. Abstract, Full paper

R. Grosu, K. Stoelen. A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing. In Proc. of AMAST'96, the 5th International Conference on Algebraic Methodology and Software Technology, München, July, 1996, pp. 504-519, Springer, LNCS 1101. Abstract, Full paper

R. Grosu, D. Nazareth. Towards a New Way of Parameterization. In Proc. MCSEAI'94, the 3rd Maghrebian Conference on Software Engineering and Artificial Intelligence, Rabat, Marocco, April, 1994, pp. 383-392. Abstract, Full paper

Refereed Workshop Papers

Z. Li, R. Grosu, K. Muppalla, S.A. Smolka, S.D. Stoller, and E. Zadok. Model Discovery for Energy-Aware Computing Systems: An Experimental Evaluation. In Proc. of ERSS'11, the 1st International Workshop on Energy Consumption and Reliability of Storage Systems, Orlando, FL, July, 2011. Abstract, Full paper

E. Bartocci, F. Corradini, M.R. Di Berardini, E. Entcheva, R. Grosu and S.A. Smolka. Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. In Proc. of FBTC'07, the International Workshop From Biology to Concurrency and Back, Lisbon, September, 2007. ENTCS vol. 194(3), pp. 51-67, 2007. Abstract, Full paper

S. Callanan, R. Grosu, A. Rai, S.A. Smolka, M.R. True and E. Zadok. Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. In Proc. of MBT'06, the 2nd International Workshop on Model Based Testing, Vienna, Austria, March, 2006. ENTCS vol. 164(4), pp. 41-52. Abstract, Full paper

R. Grosu, X. Huang, S. Jain and S.A. Smolka. Open Source Model Checking. In Proc. of SoftMC'05, the 3rd International Workshop on Software Model Checking, Edinburgh, UK, July, 2005. ENTCS vol. 144(3), pp. 27-44. Abstract, Full paper

Y. Pei, E. Entcheva, R. Grosu and S.A. Smolka. Efficient Modeling of Excitable Cells using Hybrid Automata. In Proc. of CMSB'05, the 3rd International Workshop on Computational Methods in Systems Biology, Edinburgh, UK, April, 2005, pp. 216-227. Abstract, Full paper

R. Grosu, X. Huang, S.A. Smolka and P. Yang. Monte Carlo Analysis of Security Protocols: Needham Schroeder Revisited. In Proc. of the DIMACS Workshop on Security Analysis of Protocols, Rutgers University, USA, June, 2004, pp. 1-10. Abstract, Full paper

R. Grosu, E. Zadok, S.A. Smolka, R. Cleaveland, Y.A. Liu. High-Confidence Operating Systems. In Proc. of EW'02, the 10th ACM SIGOPS European Workshop: Can we really depend on an OS?, Saint-Emilion, France, September, 2002, pp. 205-208, ACM Press. Abstract, Full paper

R. Alur, R. Grosu, I. Lee, O. Sokolsky. Compositional Refinement for Hierarchical Hybrid Systems. In Proc. of HSCC'01, the 4th International Workshop on Hybrid Systems: Computation and Control, Rome, Italy, March, 2001, pp. 33-49, Springer, LNCS 2034. As of Oct. 31 2006, it has 36 citations. Abstract, Full paper

R. Alur, R. Grosu, Y. Hur, V. Kumar, I. Lee. Modular Specification of Hybrid Systems in CHARON. In Proc. of HSCC'00, the 3rd International Workshop on Hybrid Systems: Computation and Control, Pittsburgh, PA, March 23-25, 2000, pp. 6-19, Springer, LNCS 1790. As of Oct. 31 2006, it has 89 citations. Abstract, Full paper

R. Grosu, M. Broy, B. Selic, G. Stefanescu. Towards a Calculus for UML-RT Specifications. In Proc. of the 7th OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, Vancouver, Canada, October, 1998, pp. 1-18, ACM Press. Abstract, Full paper

R. Grosu, T. Stauner. Visual Description of Hybrid Systems. In Proc. of WRTP'98, the 23nd IFAC/IFIP Workshop On Real Time Programming, Shantou, Guandong Province, P.R. China, June, 1998, pp. 1-6, Elsevier Science Ltd. Abstract, Full paper

R. Breu, R. Grosu, C. Hofmann, F. Huber, I. Krüger, B. Rumpe, M. Schmidt, W. Schwerin. Exemplary and Complete Object Interaction Descriptions. In Proc. of the OOPSLA'97 Workshop on Object-oriented Behavioral Semantics, Vancouver, Canada, October, 1997, pp. 1-11. Abstract, Full paper

R. Breu, R. Grosu, F. Huber, B. Rumpe, W. Schwerin. Towards a Precise Semantics for Object-Oriented Modeling Techniques. In Object-Oriented Technology, ECOOP'97 Workshop Reader, June, 1997, pp. 205-211, Springer, LNCS 1357. As of Oct. 31 2006, it has 35 citations. Abstract, Full paper

R. Breu, R. Grosu, F. Huber, B. Rumpe, W. Schwerin. Towards a Precise Semantics for Object-Oriented Modeling Techniques. In Proc. of the ECOOP'97 Workshop on Precise Semantics for Object-Oriented Modeling Techniques, Jyvaeskylae, Finland, May, 1997, pp. 53--61, TU Munich. Longer version. Abstract, Full paper

R. Grosu, K. Stoelen. Specification of Dynamic Networks. In Proc. of NWPT'96, the 8th Nordic Workshop on Programming Theory, Oslo, Norway, December, 1996, pp. 67-76, University of Oslo. Abstract, Full paper

R. Grosu, F. Regensburger. The Semantics of SPECTRUM. In Proc. of HOA'93, the 1st International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Amsterdam, The Netherlands, September, 1993, pp. 124-145, Springer, LNCS 816. Abstract, Full paper

Refereed Journal Papers

A. Murthy, E. Bartocci, F. Fenton, J. Glimm, R.A. Gray, E.M. Cherry, S.A. Smolka, and R. Grosu. Curvature Analysis of Cardiac Excitation Wavefronts. To appear in IEEE Transactions on Computational Biology and Bioinformatics, 2012, IEEE. Abstract. Full paper. Extended abstract appeared in CMSB 2011.. Abstract. Full paper

J. Seyster, K. Dixit, X. Huang, R. Grosu, K. Havelund, S.A. Smolka, S.D. Stoller and E. Zadok. InterAspect: Aspect-Oriented Instrumentation with GCC. To appear in Formal Methods in System Design 2012. Abstract. Full paper. Extended abstract appeared in RV 2010.. Abstract. Full paper

E. Bartocci, R. Singh, F.B. von Stein, A. Amedome, A.J. Caceres, J. Castillo, E. Closser, G. Deards, A. Goltsev, R.S. Ines, C. Isbilir, J.K. Marc, D. Moore, D. Pardi, S. Sadhu, S. Sanchez, P. Sharma, A. Singh, J. Rogers, A. Wolinetz, T.G. Applewhite, K. Zhao, A.B. Filipski, R.F. Gilmour, R. Grosu, J. Glimm, S.A. Smolka, E. Cherry, E.M. Clarke, N. Griffeth and F. Fenton. Teaching cardiac electrophysiology modeling to undergraduate students: laboratory exercises and GPU programming for the study of arrhythmias and spiral wave dynamics. In Adv Physiol Educ 35: 1-11, 2011. Abstract. Full paper

X. Huang, J. Seyster, S. Callanan, K. Dixit, R. Grosu, S.A. Smolka, S.D. Stoller and E. Zadok. Software Monitoring with Controllable Overhead. In the International Journal on Software Tools for Technology Transfer (STTT), December, 2010, pp. 1-21, Springer, doi:10.1007/s10009-010-0184-4. Abstract. Full paper

E. Bartocci, F. Corradini, M.R. Di Berardini, E. Entcheva, S.A. Smolka and R. Grosu. Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata. In Theoretical Computer Science (TCS), vol. 410(33-34), pp. 3149-3165, August, 2009. Abstract. Full paper

R. Grosu, S.A. Smolka, F. Corradini, A. Wasilewska, E. Entcheva and E. Bartocci. Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. In CACM, the Communications of the ACM, vol. 52(3), pp. 97-105, March, 2009. Shorter version also in Proc. of HSCC'08, the 11th International Conference on Hybrid Systems: Computation and Control, St. Louis, USA, April, 2008, pp. 229-243, Springer, LNCS 4981. Abstract. Full paper

E. Bartocci, F. Corradini, E. Entcheva, R. Grosu and S.A. Smolka. CellExcite: An Efficient Simulation Environment for Excitable Cells. BMC Bioinformatics, vol. 9(Suppl 2), pp. 1--13, March, 2008. Abstract Full paper.

P. Ye, E. Entcheva, S.A. Smolka and R. Grosu. A Cycle-Linear Hybrid-Automata Model for Excitable Cells. IET Systems Biology (SYB), vol. 2(1), pp. 24-32, January, 2008. Abstract Full paper.

R. Alur, R. Grosu, I. Lee and O. Sokolsky. Compositional Modeling and Refinement for Hierarchical Hybrid Systems. Journal of Logic and Algebraic Programming (JLAP), vol. 68(1), pp. 105-128, Elsevier, 2006. As of Oct. 31 2006, Ranked 3rd Among the Hottest Top 25 Articles of JLAP by ScienceDirect. Abstract, Full paper.

R. Alur, R. Grosu. Modular Refinement of Hierarchic Reactive Machines. ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 26(2), pp. 339-360, March, 2004. Abstract, Fullpaper

R. Grosu, T. Stauner. Modular and Visual Specification of Hybrid Systems - An Introduction to HyCharts. Formal Methods in System Design (FMSD), vol. 21(1), pp. 5-38, Kluwer Academic Publishers, 2002. Abstract, Full paper

R. Grosu, K. Stoelen. Stream Based Specification of Mobile Systems. Formal Aspects of Computing (FAC), vol. 13(1), pp. 1-31, Springer, 2001. Abstract, Full paper

R. Grosu, D. Lucanu, G. Stefanescu. Mixed Relations as Enriched Semiringal Categories. Journal of Universal Computer Science (JUCS), vol. 6(1), pp. 112-129, Springer, 2000. Abstract Full paper

R. Breu, R. Grosu. Relating Events, Messages and Methods of Multiple-Threaded Objects. Journal of Object-Oriented Programming (JOOP), vol. 12(8), pp. 8-14, SIGS Publications, 2000. Abstract, Full paper

R. Breu, R. Grosu, C. Hofmann, F. Huber, I. Kr|ger, B. Rumpe, M.Schmidt, W. Schwerin. Exemplary and Complete Object Interaction Descriptions. Computer Standards and Interfaces (CSI), vol. 19(7), pp. 335-345, Elsevier, November, 1998. Abstract, Full paper

Invited Papers and Book Chapters

E. Bartocci, F. Corradini, R. Grosu, E. Merelli, O. Riganelli and S.A. Smolka. StonyCam: a Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. In Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, pp. 493-502, LNCS 5065, June, 2008. Abstract, Full paper

R. Grosu, X. Huang, S.A. Smolka, W. Tan and S. Tripakis. Deep Random Search for Efficient Model Checking of Timed Automata. In Revised Selected Papers of MW'06, the 7th Monterey Workshop on Composition of Embedded Systems, Paris, France, October, 2006, Springer LNCS 4888, pp. 111-124, 2008. Abstract, Full paper

S. Callanan, D.J. Dean, M. Gorbovitski, R. Grosu, J. Seyster, S.A. Smolka and E. Zadok. Software Monitoring with Bounded Overhead. In Proc. of NGS'08, the Next Generation Software Workshop at IPDPS, Miami, Florida, USA, April, 2008, pp. 1-8. Abstract, Full paper

S. Callanan, R. Grosu, J. Seyster, S.A. Smolka and E. Zadok. Model Predictive Control for Memory Profiling. In Proc. of NGS'07, the Next Generation Software Workshop at IPDPS, Long Beach, California, March, 2007, pp. 1-7, IEEE, ISBN: 1-4244-0910-1. Abstract, Full paper

S. Callanan, R. Grosu, X. Huang, S.A. Smolka and E. Zadok. Compiler-Assisted Software Verification Using Plug-Ins. In Proc. of NGS'06, the Next Generation Software Workshop at IPDPS, Rhodes Island, Greece, April, 2006, pp. 1-8, IEEE Press, ISBN: 1-4244-0054-6. Abstract, Full paper

R. Grosu and S.A. Smolka. Monte Carlo Methods for Process Algebra. In Proc. of the Int. Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond, Bertinoro, Italy, September, 2006, ENTCS vol. 162, pp. 203-207. Abstract, Full paper

I. Krüger, R. Grosu, P. Scholz, M. Broy. From MSCs to Statecharts. Distributed and Parallel Embedded Systems, pp. 61-71, Kluwer Academic Publishers, 1999. As of Oct. 31 2006, it has 97 citations. Abstract, Full paper

R. Grosu, M. Broy, B. Selic, G. Stefanescu. What is Behind UML-RT? Behavioral specifications of businesses and systems, pp. 73-88, Kluwer Academic Publishers, 1999. Abstract, Full paper

R. Breu, R. Grosu, F. Huber, B. Rumpe, W. Schwerin. Systems, Views and Models of UML. The Unified Modeling Language, Technical Aspects and Applications, pp. 93-109, Physica Verlag, Heidelberg, 1998. As of Oct. 31 2006, it has 23 citations. Abstract, Full paper

Patents

M. Broy, R. Grosu, I. Krüger. Automatically Generating A Program. US Patent No.: 06405361, June, 2002. Abstract, Full paper

PhD Thesis

R. Grosu. A Formal Foundation for Concurrent Object Oriented Programming. Technische Universität München, TUM-I9444, January, 1995, pp. 1-177. Abstract, Full paper

Technical Reports

R. Grosu, I. Krueger, T. Stauner. Hybrid Sequence Charts. Technical Report TUM-I9914, Technische Universität München, July, 1999, pp. 1-25. Abstract, Full paper

R. Grosu, T. Stauner. Modular and Visual Specification of Hybrid Systems - An Introduction to HyCharts. (Extended version of the FTRTFT'98 paper). Technical Report TUM-I9801, Technische Universität München, December, 1998, pp. 1-46. Abstract, Full paper

R. Breu, R. Grosu. Modeling the dynamic behaviour of objects: On events, messages and methods. Technical Report TUM-I9804, Technische Universität München, February, 1998, pp. 1-15 Abstract, Full paper

R. Grosu, K. Stølen. Compositional Specification of Mobile Systems. Technical Report TUM-I9748, Technische Universität München, November, 1997, pp. 1-37. Abstract, Full paper

R. Grosu, K. Stølen, M. Broy. A Denotational Model for Mobile Point-to-Point Data-flow Networks with Channel Sharing. Technical Report SFB-342/17/97A, Technische Universität München, May, 1997, pp. 1-36. Abstract, Full paper

R. Grosu, C. Klein, B. Rumpe. Enhancing the SysLab System Model with State. Technical Report TUM-I9631, Technische Universität München, July, 1996, pp. 1-46. Abstract, Full paper

R. Grosu, C. Klein, B. Rumpe, M. Broy. State Transition Diagrams. Technical Report TUM-I9630, Technische Universität München, July, 1996, pp. 1-27. As of Oct. 31 2006, it has 25 citations. Abstract, Full paper

R. Grosu, K. Stølen. A Denotational Model for Mobile Many-to-Many Dataflow Networks. Technical Report TUM-I9622, Technische Universität München, May, 1996, pp. 1-36. Abstract, Full paper

R. Grosu, B. Rumpe. Concurrent Timed Port Automata. Technical Report TUM-I9533, Technische Universität München, October, 1995, pp. 1-34. Abstract, Full paper

R. Grosu, K. Stølen. A Denotational Model for Mobile Point-to-Point Dataflow Networks. Technical Report TUM-I9527, Technische Universität München, October, 1995, pp. 1-48. Abstract, Full paper

R. Grosu, D. Nazareth. The Specification Language Spectrum - Core Language Report V1.0. Technical Report TUM-I9429, Technische Universität München, August, 1994, pp. 1-32. Abstract, Full paper

R. Grosu, F. Regensburger. The Logical Framework of SPECTRUM. Technical Report TUM-I9402, Technische Universität München, March, 1994, pp. 1-39. Abstract, Full paper

M Broy,. C. Facchi, R. Grosu, R. Hettler, H. Hußmann, D. Nazareth, F. Regensburger, O. Slotosch, K. Stølen. The Requirement and Design Specification Language SPECTRUM. An Informal Introduction (V 1.0). Technical Report TUM-I9311/TUM-I9312, Technische Universität München, May, 1993, pp. 1-98. As of Oct. 31 2006, it has 72 citations. Abstract, Full paper

Updated 8/22/08 by Radu Grosu