Laboratory for Formal Languages And VERification (FLAVER)

Got a question?

Got a question or comment? Contact us at (515) 294-6168 or hridesh@cs.iastate.edu.

2008

Robert Dyer and Hridesh Rajan (2008) "Nu: a Dynamic Aspect-Oriented Intermediate Language Model and Virtual Machine for Flexible Runtime Adaptation," In the proceedings of the 7th International Conference on Aspect-oriented Software Development (AOSD), March 31 - April 4, 2008, Brussels, Belgium.

Youssef Hanna, Hridesh Rajan, and Wensheng Zhang (2008) "Slede: A Domain-Specific Verification Framework for Sensor Network Security Protocol Implementations," In the proceedings of ACM Conference on Wireless Network Security (WiSec), March 31 - April 2, 2008, Alexandria, Virginia, USA.

Roopak Sinha, Partha S. Roop and Samik Basu. A Module Checking Based Converter Synthesis Approach for SoCs. IEEE Conference on VLSI Design 2008.

2007

Mahantesh Hosamani, Harish Narayanappa, and Hridesh Rajan (2007) "How to Trust Web Services Monitor Executing in an Untrusted Environment?" In the proceeding of NWeSP '07: 3rd International Conference on Next Generation Web Services Practices, Seoul, Korea, Oct 2007.

Tyler Sondag, Viswanath Krishnamurthy, and Hridesh Rajan (2007) " Predictive Thread-to-Core Assignment on a Heterogeneous Multi-core Processor," In the proceedings of PLOS '07: ACM SIGOPS 4th Workshop on Programming Languages and Operating Systems, Skamania Lodge, Stevenson, Washington, USA, Oct 2007.

Hridesh Rajan (2007) " Design Patterns in Eos," In PLoP '07: Conference on Pattern Languages of Programs, Monticello, IL, Sep 5, 2007.

Mahantesh Hosamani, Harish Narayanappa, Hridesh Rajan (2007) " Monitoring the Monitor: An Approach Towards Trustworthiness in Service Oriented Architecture," In 2nd International Workshop on Service Oriented Software Engineering (IW-SOSWE 2007), in conjunction with ESEC/FSE 2007, Dubrovnik (Croatia) Sep 3, 2007. ]

Hridesh Rajan and Gary T. Leavens (2007) " Quantified, Typed Events for Improved Separation of Concerns," Technical Report 07-14, Computer Science, Iowa State University, July 16, 2007 (In submission).

Youssef Hanna and Hridesh Rajan (2007) " Verifying Fault-Tolerance of Sensor Network Applications Using Auto-generated Fault Injection Mechanisms," Technical Report 07-11, Computer Science, Iowa State University, June 22, 2007 (In submission). [PDF Format]

Hridesh Rajan (2007) " A Case for Explicit Join Point Models for Aspect- oriented Intermediate Languages," Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms (VMIL 2007), a workshop affiliated with AOSD 2007, Vancouver, Canada, March 13, 2007.

Samik Basu and Ratnesh Kumar. Quotient-based Control Synthesis for Partially Observed Non-deterministic Plants with Mu-Calculus. IEEE Conference on Decision and Control (CDC) 2007.

Saayan Mitra, Samik Basu and Ratnesh Kumar Local and On-the-fly Choreography-based Web Service Composition. IEEE/WIC/ACM International Conference on Web Intelligence (WI) 2007.

Jyotishman Pathak, Samik Basu and Vasant Honavar On Context-Specific Substitutability of Web Services. IEEE International Conference on Web Services (ICWS) 2007.

Saayan Mitra, Ratnesh Kumar and Samik Basu Choreography-based Web Service Composition Using I/O Automata. IEEE International Conference on Web Services (ICWS) 2007.

Samik Basu and Scott A. Smolka Model Checking the Java Meta-locking Algorithm. ACM Transactions on Software Engineering and Methodology (TOSEM)

Jyotishman Pathak, Samik Basu, Robyn Lutz and Vasant Honavar MoSCoE: An Approach for Composing Web Services Through Iterative Reformulation of Functional Specifications. International Journal on Artificial Intelligent Tools 2007.

Jyotishman Pathak, Samik Basu and Vasant Honavar Assembling Composite Web Services from Autonomous Components. Book Chapter in Emerging Artificial Intelligence Applications in Computer Engineering 2007.

Flavian Vasile and Samik Basu Cost-based Analysis of Multiple Counterexamples. International Conference on Software Engineering and Knowledge Engineering (SEKE) 2007.

Natalia Stakhanova, Samik Basu and Johnny Wong A Cost-Sensitive Model for Preemptive Intrusion Response Systems. International Conference on Advanced Information Networking and Applications (AINA) 2007 (Best Student Paper Award)

Natalia Stakhanova, Samik Basu, WenSheng Zhang, Xia Wang and Johnny Wong Specification Synthesis for Monitoring and Analysis of MANET Protocols. International Symposium on Frontiers in Networking with Applications (FINA) 2007

Roopak Sinha, Partha S. Roop and Samik Basu A Model Checking Approach to Protocol Conversion. Workshop on Model-driven High-level Programming of Embedded Systems 2007

2006

Hridesh Rajan (2006) "Type-Based Quantification of Aspect-Oriented Programs", Technical Report 06-32, Computer Science, Iowa State University, Sep 7, 2006.

Youssef Hanna, Hridesh Rajan, and Wensheng Zhang (2006) "SLEDE: Event-Based Specification of Sensor Network Protocols". Technical Report 06-31, Computer Science, Iowa State University, October 12, 2006, Revised Nov 14, 2006. [PDF Format]

Robert Dyer and Hridesh Rajan (2006) "Modular Compilation Strategies for Aspect-Oriented Constructs", Technical Report 06-30, Computer Science, Iowa State University, July 16, 2006. [PDF Format]

Juri Memmert, Hridesh Rajan, "Osiris: Generating Concern Models from Source Code", SIGSOFT Softw. Eng. Notes 31, 6 (Nov. 2006), 1-2. Also appeared as a short poster paper in the proceedings of Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006), Portland, OR, Nov 2006.

Youssef Hanna, Hridesh Rajan, "SLEDE: Event Based Specification of Sensor Network Protocols", SIGSOFT Softw. Eng. Notes 31, 6 (Nov. 2006), 1-2. Also, appeared as a short poster paper in the proceedings of Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006), Portland, OR, Nov 2006.

Robert Dyer, Harish Narayanappa, Hridesh Rajan, "Nu: Preserving Design Modularity in Object Code", SIGSOFT Softw. Eng. Notes 31, 6 (Nov. 2006), 1-2. Also, appeared as a short poster paper in the proceedings of Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006), Portland, OR, Nov 2006.

Jing Liu, Robyn Lutz and Hridesh Rajan, "The Role of Aspects in Modeling Product Line Variabilities", In Aspect-oriented Product Line Engineering (AOPLE' 06), A workshop associated with OOPSLA' 06: Conference on Object Oriented Programming Systems Languages and Applications, Oct 22, 2006, Portland, OR. [PDF Format]

Hridesh Rajan, Robert Dyer, Harish Narayanappa, Youssef Hanna, "Nu: Towards an Aspect-Oriented Invocation Mechanism", Technical Report #414, Department of Computer Science, Iowa State University, Mar 26, 2006. [PDF Format]

Hridesh Rajan, Robert Dyer, Youssef Hanna, Harish Narayanappa, "Preserving Separation of Concerns through Compilation", In Software Engineering Properties of Languages and Aspect Technologies (SPLAT 06), A workshop affiliated with AOSD 2006, March 21, 2006. Bonn, Germany. Previous version appeared as Technical Report #405, Dept. of Computer Sc., Iowa State University. [PDF Format]

William Griswold, Kevin Sullivan, Yuanyuan Song, Macneil Shonle, Nishit Tewari, Yuanfang Cai, Hridesh Rajan, "Modular Software Design with Crosscutting Interfaces", IEEE Software, Special Issue on Aspect-Oriented Programming, Jan/Feb 2006. [PDF Format]

Ping Yang, Samik Basu and C.R. Ramakrishnan Parameterized Verification of Pi-Calculus Systems. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2006

Samik Basu and C.R. Ramakrishnan Compositional Analysis for Verification of Parameterized Systems. Theoretical Computer Science (TCS) 2006

Samik Basu, Partha S. Roop and Roopak Sinha Local Module Checking for CTL specifications. Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA) 2006 (Best Paper Award)

Samik Basu and Ratnesh Kumar Quotient-based Control Synthesis for Non-Deterministic Plants with Mu-Calculus Specifications. IEEE Conference on Decision and Control 2006

Ratnesh Kumar, Changyan Zhou and Samik Basu Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata with Variables. American Control Conference (ACC) 2006

Natalia Stakhanova, Samik Basu and Johnny Wong Taxonomy of Intrusion Response Systems . International Journal of Information and Computer Security 2006

Natalia Stakhanova, Samik Basu, Robyn R. Lutz and Johnny S. Wong Automated Caching of Behavioral Patterns for Efficient Run-time Monitoring . IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC) 2006

Jyotishman Pathak, Samik Basu, and Vasant Honavar Modeling Web Services by Iterative Reformulation of Functional and Non-Functional Requirements. 4th International Conference on Service Oriented Computing 2006

Jyotishman Pathak, Samik Basu, Robyn Lutz and Vasant Honavar Parallel Web Service Composition in MoSCOE: A Choreography-based Approach . 4th IEEE European Conference on Web Services 2006

Jyotishman Pathak, Samik Basu, Robyn Lutz and Vasant Honavar Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications . IEEE International Conference on Tools with Artificial Intelligence 2006

Jyotishman Pathak, Samik Basu and Vasant Honavar Modeling Web Service Composition using Symbolic Transition Systems . AAAI Workshop on AI-Driven Technologies for Services-Oriented Computing 2006

Jyotishman Pathak, Samik Basu, Robyn Lutz and Vasant Honavar MoSCoE: A Framework for Modeling Web Service Composition and Execution . Workshop at IEEE International Conference on Data Engineering 2006

2005

Kevin Sullivan, William Griswold, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari, Hridesh Rajan, "Information Hiding Interfaces for Aspect-Oriented Design", In the proceedings of the Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2005), 5-9 Sept 2005, Lisbon, Portugal.

Hridesh Rajan and Kevin Sullivan, "Classpects: Unifying Aspect- and Object-Oriented Language Design", In the proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA [PDF Format].

Hridesh Rajan and Kevin Sullivan, "Aspect Language Features for Concern Coverage Profiling", In the proceedings of the Fourth International Conference on Aspect-Oriented Software Development (AOSD 2005), 14-18 March, 2005, Chicago, IL, USA [PDF Format].

Curtis W. Keller, Diptikalyan Saha, Samik Basu and Scott A. Smolka FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2005

Natalia Stakhanova, Samik Basu, Johnny Wong and Oleg Stakhanov Trust Framework for P2P Networks using Peer-Profile Based Anomaly Technique. International Workshop on Security in Distributed Computing Systems 2005

2004 and before.

Jia Xu, Hridesh Rajan and Kevin Sullivan, "Understanding Aspects via Implicit Invocation", In the proceedings of 19th IEEE International Conference on Automated Software Engineering, Linz, Austria, Sept 2004. [PDF Format]

Hridesh Rajan, "One More Step in the Direction of Modularized Integration Concerns", In the proceedings of the Doctoral Symposium, 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, UK.

Hridesh Rajan and Kevin Sullivan, " Eos: Instance-Level Aspects for Integrated System Design ", In the proceedings of the 2003 Joint European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2003), Helsinki, Finland, September 2003.

Hridesh Rajan, "Effects of Applying Mobility Localization to Source Routing Algorithms in Mobile Ad Hoc Networks", In the proceedings of IEEE Symposium on Computers and Communication (ISCC) 2003, July 2003, Kemer, Antalya, Turkey.

Hridesh Rajan, "Distributed Mobile Servers: Vehicle to Increase Effective Bandwidth and End to End Connectivity in an Ad Hoc Mobile Network", In the proceedings of SCI 2001/ISAS 2001, Volume XII, July, 2001, Orlando, USA.

Hridesh Rajan, "Last Entered Algorithm for Mutual Exclusion in a Distributed System", Accepted for the proceedings of 15th ACM Symposium on Applied Computing (SAC 2001), March 2001, Alexis Park Resort, Las Vegas, Nevada, USA

S.C.Gupta and Hridesh Rajan, "DOC@HOME: A Health Care System", IEEE ACE-2000 December2000, Mumbai, India.