prahlad's Sampath:P [7 articles] Export Sort

Recent papers posted to prahlad's library by the author Sampath:P. You can also see everyone's Sampath:P.

Hide details

	Supervisory control for real-time systems based on conflict-tolerant controllers [My Copy] Automation Science and Engineering, 2009. CASE 2009. IEEE International Conference on (09 September 2009), pp. 555-560. by D. D'Souza, M. Gopinathan, S. Ramesh, P. Sampath posted to supervisory_control resolving_conflicts real_time_systems by prahlad on 2009-10-18 05:31:40 as
	Duality of Fix-Points for Distributive Lattices [My Copy] (21 Sep 2006) by Prahladavaradan Sampath posted to category-theory fix-points program-analysis by prahlad on 2009-04-26 05:57:17 as
	Composing Context Sensitive Analysis [My Copy] In SEFM '06: Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (2006), pp. 186-195. by Prahladavaradan Sampath, Shrawan Kumar posted to program-analysis by prahlad on 2009-04-26 05:54:38 as
	How to Test Program Generators? A Case Study using flex [My Copy] Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on In Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on (2007), pp. 80-92. by P. Sampath, A. C. Rajeev, K. C. Shashidhar, S. Ramesh posted to vcg by prahlad on 2009-04-26 05:51:29 as along with 1 person adenilso
	Testing Model-Processing Tools for Embedded Systems [My Copy] Real-Time and Embedded Technology and Applications Symposium, IEEE, Vol. 0 (2007), pp. 203-214. by Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar posted to vcg by prahlad on 2009-04-26 05:50:23 as
	Behaviour Directed Testing of Auto-code Generators [My Copy] Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on In Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on (2008), pp. 191-200. by P. Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar posted to vcg by prahlad on 2009-04-26 05:47:49 as along with 1 person swarup_mohalik
	Conflict-Tolerant Real-Time Features [My Copy] Quantitative Evaluation of Systems, 2008. QEST '08. Fifth International Conference on In Quantitative Evaluation of Systems, 2008. QEST '08. Fifth International Conference on (2008), pp. 274-283. by D. D'Souza, M. Gopinathan, S. Ramesh, P. Sampath posted to feature-interaction by prahlad on 2009-04-26 05:47:09 as

Note: You may cite this page as: http://www.citeulike.org/user/prahlad/author/Sampath:P

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

requirements-analysis	23
formal-methods	8
process-algebra	5
asm	4
refinement	3
category-theory	3
verification-tools	3
vcg	3
semantics	2
specexplorer	2
feature-interaction	2
theorem-provers	2
fom	2
program-analysis	2
automata	1
resolving_conflicts	1
model-checking	1
fix-points	1
flexray	1
haskell	1
statechart	1
assume-guarantee	1
b-method	1
test-case-generation	1
time-triggered-systems	1
concept-analysis	1
vector_spaces	1
calculus	1
supervisory_control	1
theorem-proving	1
message-sequence-chart	1
temporal-logic	1
real_time_systems	1

prahlad's Sampath:P [7 articles] Export Sort

prahlad's tags