BibSonomy :: author  ::

bookmarks

publications

(8)

• A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications.
  Beata Sarna-Starosta and R. E. Kurt Stirewalt and Laura K. Dillon International Journal of Software Engineering and Knowledge Engineering 17 207-230 (2007)
  to dblp by dblp on 2008-07-09 00:00:00
  | URL | BibTeX  
• Compiling Constraint Handling Rules for Efficient Tabled Evaluation.
  Beata Sarna-Starosta and C. R. Ramakrishnan PADL 170-184 (2007)
  to dblp by dblp on 2007-05-08 00:00:00
  | URL | BibTeX  
• A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded Applications.
  Beata Sarna-Starosta and R. E. Kurt Stirewalt and Laura K. Dillon SEKE 120-125 (2006)
  to dblp by dblp on 2007-02-28 00:00:00
  | URL | BibTeX  
• Fuzzy logic controller for rate-adaptive heart pacemaker.
  Adam Wojtasik and Zbigniew Jaworski and Wieslaw Kuzmicz and Andrzej Wielgus and Andrzej Wakanis and Dariusz Sarna Appl. Soft Comput. 4 259-270 (2004)
  to dblp by dblp on 2006-01-09 00:00:00
  | URL | BibTeX  
• Constraint-Based Model Checking of Data-Independent Systems.
  Beata Sarna-Starosta and C. R. Ramakrishnan ICFEM 579-598 (2003)
  to dblp by dblp on 2004-01-07 00:00:00
  | URL | BibTeX  
• Vacuity Checking in the Modal Mu-Calculus.
  Yifei Dong and Beata Sarna-Starosta and C. R. Ramakrishnan and Scott A. Smolka AMAST 147-162 (2002)
  to dblp by dblp on 2002-09-04 00:00:00
  | URL | BibTeX  
• Laser Optical Document Management Systems and Their Capacity Planning Implications.
  David E. Y. Sarna Int. CMG Conference 591-595 (1987)
  to dblp by dblp on 2002-06-24 00:00:00
  | URL | BibTeX  
• Computer Installation Effectiveness Reviews.
  David E. Y. Sarna Int. CMG Conference 361-373 (1979)
  to dblp by dblp on 2002-06-14 00:00:00
  | URL | BibTeX