Completing and adapting models of biological processes

IFIP International Federation for Information Processing

Volumn 216, Issue , 2006, Pages 43-54

  Margaria, Tiziana ^a   Hinchey, Michael G ^b   Harald, Raffelt ^c   Rash, James L ^b   Rouff, Christopher A ^d   Steffen, Bernhard ^c  

^a UNIVERSITY OF POTSDAM   (Germany)

^b NASA GODDARD SPACE FLIGHT CENTER   (United States)

^c TU DORTMUND UNIVERSITY   (Germany)

^d SCIENCE APPLICATIONS INTERNATIONAL CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SPACE RESEARCH;

AUTONOMIC SYSTEMS; BIOLOGICAL PROCESS; GENERATING MODELS; LEARNING-BASED METHODS; MODEL COMPLETIONS; MODEL EXTRAPOLATION; SPACE EXPLORATIONS; SYSTEM REQUIREMENTS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 37849185924     PISSN: 15715736     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-34733-2_5     Document Type: Article

References (32)

1. Michael G. Hinchey, James L. Rash, Christopher A. Rouff: A Formal Approach to Requirements-Based Programming, Proc. ECBS 2005, 12th IEEE Int. Conf. on the Engineering of Computer-Based Systems, Greenbelt (MD), 2005, IEEE, pp. 339-345.
2. S. A. Curtis, J. Mica, J. Nuth, G. Marr, M. L. Rilee, and M. K. Bhat. ANTS (Autonomous Nano-Technology Swarm): An artificial intelligence approach to Asteroid Belt resource exploration. In Proc. Int'l Astronautical Federation, 51st Congress, October 2000.
3. A. Hagerer, H. Hungar, O. Niese, and B. Steffen. Model Generation by Moderated Regular Extrapolation. Proc. of the 5th Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2002), LNCS 2306, pp. 80-95.
4. H. Hungar, T. Margaria, B. Steffen: Test-Based Model Generation for Legacy Systems, IEEE International Test Conference (ITC), Charlotte, NC, September 30 - October 2, 2003.
5. T. Margaria, H. Raffelt, B. Steffen: Analyzing Second-Order Effects Between Optimizations for System-Level Test-Based Model Generation, Proc. IEEE International Test Conference (ITC), Austin, TX (USA), November 8 - 10, 2005, IEEE Computer Society Press.
6. H. Raffelt, B. Steffen, T. Berg: LearnLib: A Library for Automata Learning and Experimentation, Proc. FMICS 2005, 10th ACM Workshop on Formal Methods for Industrial Critical Systems, Lisbon, Sept. 2005.
7. T. Berg, O. Grinchtein, B. Jonsson, M. Leucker, H. Raffelt, B. Steffen: On the Correspondence Between Conformance Testing and Regular Inference, Proc. FASE 2005, 8th Int. Conf. on Fundamental Approaches to Software Engineering, Edinburgh, UK, April 2005, LNCS N.3442, pp. 175-189, Springer Verlag, 2005.
8. M. Kaufmann and Panagiotis Manolios and J Strother Moore. Computer-Aided Reasoning: An Approach. Advances in Formal Methods Series. Kluwer Academic Publishers, Boston, 2000.
9. M. G. Hinchey and S. A. Jarvis. Concurrent Systems: Formal Development in CSP. International Series in Software Engineering. McGraw-Hill International, London, UK, 1995.
10. Failures-Divergences Refinement: User Manual and Tutorial. Formal Systems (Europe), Ltd., 1999.
11. M. J. Butler. csp2B: A Practical Approach To Combining CSP and B. Declarative Systems and Software Engineering Group, Department of Electronics and Computer Science, University of Southampton, Feb. 1999.
12. M. D. Ernst, A. Czeisler, W. G. Griswold, D. Notkin. Quickly detecting relevant program invariants In proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), 449-458, June 2000.
13. J. W. Nimmer, M. D. Ernst. Automatic generation of program specifications In Proceedings of the 2002 International Symposium on Software Testing and Analysis (ISSTA 2002), 232-242, July 2002
14. Y. Brun, M. D. Ernst. Finding latent code errors via machine learning over program executions Proc. 26th Int. Conf. on Software Engineering (ICSE'04), pp. 480-490, May 2004
15. J. E. Cook, A. L. Wolf Discovering Models of Software Processes from Event-Based Data ACM Trans. on Software Engineering and Methodology (TOSEM) pp. 215-249, 1998
16. L. Mariani, Mauro Pezzè. A technique for verifying component-based software Proceeding of the Int. Workshop on Test and Analysis of Component Based Systems, TACOS 2004, Barcelona, March 2004
17. T. Xie, D. Notkin Mutually Enhancing Test Generation and Specification Inference. In Proceedings of 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003), LNCS Vol. 2931, Springer, pp. 60-69, Oct. 2003.
18. D. Peled, M. Y. Vardi, M. Yannakakis Black Box Checking Formal Methods for Protocol Engineering and Distributed Systems, (FORTE/PSTV), pp. 225-240, 1999, Kluwer.
19. J. E. Cook, Z. Du, C. Liu, A. L. Wolf. Discovering Models of Behavior for Concurrent Systems Tech. rep. New Mexico State University, Dept. of Computer Science, Aug. 2002
20. B. Steffen and H. Hungar, Behavior-based model construction. In S. Mukhopadhyay and L. Zuck, editors, Proc. 4th Int. Conf. on Verification, Model Checking and Abstract Interpretation, LNCS 2575, Springer 2003.
21. T. Margaria, O. Niese, H. Raffelt, and B. Steffen Efficient Test-based Model Generationfor Legacy Reactive Systems. To appear in Proceedings of International High Level Design Validation and Test Workshop, 2004 Sonoma, California.
22. D. Angluin. Learning regular sets from queries and counterexamples. Information and Computation, 2(75):87-106, 1987.
23. D. E. Krane and M. L. Raymer. Fundamental Concepts of Bioinformatics. Benjamin Cummings, San Prancisco, 2003.
24. S. A. Krawetz and D. D. Womble. Introduction to Bioinformatics: Theoretical and Practical Approach. Humana Press, Totowa, New Jersey, 2003.
25. A. M. Lesk. Introduction to Bioinformatics. Oxford University Press, Oxford, UK, 2002.
26. J. Stajich and E. Birney. The Bioperl project: Motivation and usage. SIGBIO Newsl., 20(2):1314, 2000.
27. P. van Heusdan. Applying software validation techniques to Bioperl. In 2004 Bioinformatics Open Source Conference, Glasgow, UK, 2930 July 2004. Abstract.
28. Stajich JE, Block D, Boulez K, Brenner SE, Chervitz SA, Dagdigian C, Fuellen G, Gilbert JG, Korf I, Lapp H, Lehvaslaiho H, Matsalla C, Mungall CJ, Osborne BI, Pocock MR, Schattner P, Senger M, Stein LD, Stupka E, Wilkinson MD, and Birney E: The Bioperl toolkit: Perl modules for the life sciences. Genome Res 2002 Oct; 12(10) 1611-8. PubMed HubMed [bioperl2002]
29. J. Rash, M. Hinchey, D. Gracanin, C. Rouff: An Approach to Generating and Verifying Complex Scripts and Procedures, 4th lEEE-CS Computational Systems Bioinformatics, CSB Workshops, Stanford, Aug. 2005, pp. 305-313.
30. J. Cohen. Bioinformaticsan introduction for computer scientists. ACM Comput. Surv., 36(2);122158, 2004.
31. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice Hall International, Englewood Cliffs, NJ, 1985.
32. S. Schneider, J. Davies, D. M. Jackson, G. M. Reed, J. Reed, and A. W. Roscoe. Timed CSP: Theory and practice. In Proc. REX, Real-Time: Theory in Practice Workshop, volume 600 of LNCS, pages 640-675. Springer-Verlag, 3-7 June 1991.