3 Pages

PortfolioRequirements2008

Course: CSP 2008, Fall 2008
School: Wisc River Falls
Rating:
 
 
 
 
 

Word Count: 2485

Document Preview

SCHOOL ASSESSING PSYCHOLOGY STUDENT PROGRESS: PROFESSIONAL PORTFOLIO REQUIREMENTS Each student in the UW-RF school psychology program will develop a portfolio designed to show evidence of acquisitions of skills and knowledge that ensure the ability to have a positive impact on children, families, schools, and other related entities. The portfolio will be associated with both the NASP Training Standards, and the...

Register Now

Unformatted Document Excerpt

Coursehero >> Wisconsin >> Wisc River Falls >> CSP 2008

Course Hero has millions of student submitted documents similar to the one
below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.

Course Hero has millions of student submitted documents similar to the one below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.
SCHOOL ASSESSING PSYCHOLOGY STUDENT PROGRESS: PROFESSIONAL PORTFOLIO REQUIREMENTS Each student in the UW-RF school psychology program will develop a portfolio designed to show evidence of acquisitions of skills and knowledge that ensure the ability to have a positive impact on children, families, schools, and other related entities. The portfolio will be associated with both the NASP Training Standards, and the Wisconsin DPI content guidelines for school psychology. Students will begin to acquire content for their portfolios during their first year, and continue developing materials throughout their training at UW-RF. One purpose of the portfolio is to help students engage in reflective practice, with the goal of engaging in such practice throughout their career as a school psychologist. The University of WisconsinRiver Falls utilizes an electronic portfolio system. Students must organize an electronic folder and file system that includes written statements of knowledge and skills, as well as sample artifacts that act as clear evidence of knowledge and skills. The full portfolio (i.e., NASP standards, WI DPI school psychology standards, and WI DPI pupil services standards) must be burned to a flash drive and submitted to program faculty at regular intervals. School psychology students are also encouraged to keep hard copies of all portfolio materials, as the Nationally-Certified School Psychologist (NCSP) application for non-approved programs requires the submission of FOUR hard copies of the portfolio. In the sections that follow, summaries of the three required portfolio folders are included. Within each of the three broad folders, a reviewer must be able to find the appropriate standards, each with its own folder. Each standard folder must then have a statement that includes three paragraphs: 1) the domain definition, 2) summary of knowledge/competency with each standard (list coursework), and 3) evidence of professional competency (artifacts that reflect any skill you say you have). It is imperative your portfolio includes clear EVIDENCE of your proficiency. Examples of good performance-based evidence artifacts include, but are not limited to: charted progress monitoring that reflects pupil intervention progress, performance-based observation rubrics of internship or practicum work, professional work characteristics ratings by faculty, and internship or practicum supervisor evaluation forms. Your goal is to show you have made a positive impact on children, families, and the schools in which you work. Complete portfolio samples are available for check out from the program director or for review from the program webpage: http://www.UW-RF.edu/csp/schoolpsychprogram.htm. FOLDER #1: NASP TRAINING DOMAINS 1) Data-Based Decision-Making and Accountability School psychologists have knowledge of varied models and methods of assessment that yield information useful in identifying strengths and needs, in understanding problems, and in measuring progress and accomplishments. School psychologists use such models and methods as part of a systematic process to collect data and other information, translate assessment results into empirically-based decisions about service delivery, and evaluate the outcomes of services. Databased decision-making permeates every aspect of professional practice. 2) Consultation and Collaboration School psychologists have knowledge of behavioral, mental health, collaborative, and/or other consultation models and methods and of their application to particular situations. School psychologists collaborate effectively with others in planning and decision-making processes at the individual, group, and system levels. 3) Effective Instruction and Development of Cognitive/Academic Skills School psychologists have knowledge of human learning processes, techniques to assess these processes, and direct and indirect services applicable to the development of cognitive and academic skills. School psychologists, in collaboration with others, develop appropriate cognitive and academic goals for students with different abilities, disabilities, strengths, and needs; implement interventions to achieve those goals; and evaluate the effectiveness of interventions. Such interventions include, but are not limited to, instructional interventions and consultation. 4) Socialization and Development of Life Competencies School psychologists have knowledge of human developmental processes, techniques to assess these processes, and direct and indirect services applicable to the development of behavioral, affective, adaptive, and social skills. School psychologists, in collaboration with others, develop appropriate behavioral, affective, adaptive, and social goals for students of varying abilities, disabilities, strengths, and needs; implement interventions to achieve those goals; and evaluate the effectiveness of interventions. Such interventions include, but are not limited to, consultation, behavioral assessment/intervention, and counseling. 5) Student Diversity in Development and Learning School psychologists have knowledge of individual differences, abilities, and disabilities and of the potential influence of biological, social, cultural, ethnic, experiential, socioeconomic, genderrelated, and linguistic factors in development and learning. School psychologists demonstrate the sensitivity and skills needed to work with individuals of diverse characteristics and to implement strategies selected and/or adapted based on individual characteristics, strengths, and needs. 6) School and Systems Organization, Policy Development and Climate School psychologists have knowledge of general education, special education, and other educational and related services. They understand schools and other settings as systems. School psychologists work with individuals and groups to facilitate policies and practices that create and maintain safe, supportive, and effective learning environments for children and others. 7) Prevention, Crisis Intervention, and Mental Health School psychologists have knowledge of human development and psychopathology and of associated biological, cultural, and social influences on human behavior. School psychologists provide or contribute to prevention and intervention programs that promote the mental health and physical well-being of students. 8) Home/School/Community Collaboration School psychologists have knowledge of family systems, including family strengths and influences on student development, learning, and behavior, and of methods to involve families in education and service delivery. School psychologists work effectively with families, educators, and others in the community to promote and provide comprehensive services to children and families. 9) Research and Program Evaluation School psychologists have knowledge of research, statistics, and evaluation methods. School psychologists evaluate research, translate research into practice, and understand research design and statistics in sufficient depth to plan and conduct investigations and program evaluations for improvement of services. 10) School Psychology Practice and Development School psychologists have knowledge of the history and foundations of their profession; of various service models and methods; of public policy development applicable to services to children and families; and of ethical, professional, and legal standards. School psychologists practice in ways that are consistent with applicable standards, are involved in their profession, and have the knowledge and skills needed to acquire career-long professional development. 11) Information Technology School psychologists have knowledge of information sources and technology relevant to their work. School psychologists access, evaluate, and utilize information sources and technology in ways that safeguard or enhance the quality of services. FOLDER #2: LICENSURE PROGRAM GUIDELINES FOR WISCONSIN INSTITUTIONS OF HIGHER EDUCATION: SCHOOL PSYCHOLOGY FOUNDATIONAL SKILLS Domain 1: Communication, Collaboration, and Leadership Skills Content knowledge and interpersonal skills necessary to effectively communicate, collaborate, and lead. Communicate in a supportive, fashion problem-solving using active listening, flexibility, and effective facilitation. Use empirically supported consultation methodologies to improve learning at the individual, group, and systems levels. Work effectively as change agents, offering leadership and professional development to staff, schools, districts, and systems. Understand the organization, development, management and content of collaborative and mutually supportive pupil services programs in schools. Domain 2: Competence in All Aspects of Diversity Recognize when, where, and how issues of diversity are manifest. Address diversity in service delivery. Recognize occasions when issues of diversity affect the manner and nature of interactions with other people and organizations and work to address those issues as necessary. Domain 3: Technological Competence Use technology and databases in evidence based practice, decision-making, program evaluation, assessment, and progress monitoring. Help students, parents, and teachers know how and where to access relevant technologies, as well as how to enhance learning with appropriate technologies. Domain 4: Legal/Ethical Practice, Public Policy, and Professional Development Understand and meet all relevant ethical, professional, and legal standards to ensure high quality services and protect the rights of all parties. Have a knowledge base of the history and foundations of their profession and engaging in ongoing professional development. Support policy development that creates safe and effective learning environments. Understand regular and special education legal requirements at both the state and federal level, and ensure compliance with these requirements. Have knowledge about relevant research, and directly and indirectly apply research to practices in schools. PROCESSES Domain 5: Assessment, Decision-Making, and Accountability Define and use a wide variety of effective assessment and evaluation methods at the individual, group, and system levels. Gather, analyze, and utilize data that aid in understanding strengths and needs, in choosing interventions, and in assessing outcomes as part of a decision-making process. Understand and use research, research methods, statistical analyses, and program evaluation techniques. Understand the implications and analysis of large-scale assessments, and use those data to help schools meet accountability requirements. Collect, analyze, and report data to stakeholders relating to the effectiveness of psychological services. Domain 6: Relationships Among and Between Systems Understand the influence of home, community, and school systems on student success, and develop evidence-based prevention and intervention programs consistent with this understanding. Promote safe and nurturing school environments, with positive climates and high expectations for all students. Perform needs-assessment to identify service requirements. OUTCOMES Domain 7: Effective Instruction and Development of Cognitive and Academic Skills Use and support others in the use of evidence-based prevention and intervention programming to develop competencies. Apply cognitive psychology and learning theory to improve instruction. Help to develop cognitive and academic goals for all students, adjust expectations for individual students, implement alternative methods, and monitor progress. Assist State and Local Education Agency personnel who design state and local accountability systems. Domain 8: Wellness, Mental Health and Development of Life Competencies Use knowledge about human development to design and implement prevention and intervention programs to promote wellness. Help schools develop behavioral, affective, and adaptive goals for all students. Prepare for and respond to a wide variety of crisis situations. Work as skilled mental health practitioners in the schools, performing accurate assessment of mental health disorders, implementing empirically-based interventions with individuals and groups, and closely monitoring outcomes. FOLDER #3: LICENSURE PROGRAM GUIDELINES FOR WISCONSIN INSTITUTIONS OF HIGHER EDUCATION: PUPIL SERVICES 1) The pupil services professional understands the Ten Teacher Standards (see below). 2) The pupil services professional understands the complexities of learning and knowledge of comprehensive, coordinated practice strategies that support pupil learning, health, safety and development. 3) The pupil services professional has the ability to use research, research methods and knowledge about issues and trends to improve practice in schools and classrooms. 4) The pupil services professional understands and represents professional ethics and social behaviors appropriate for school and community. 5) The pupil services professional understands the organization, development, management and content of collaborative and mutually supportive pupil services programs within educat...

Textbooks related to the document above:
Find millions of documents on Course Hero - Study Guides, Lecture Notes, Reference Materials, Practice Exams and more. Course Hero has millions of course specific materials providing students with the best way to expand their education.

Below is a small sample set of documents:

Wisc River Falls - CAREER - 1364
SELF MANAGED BY: _This credential file cover officially verifies that candidates from the University of WisconsinRiver Falls manage their own credential files< Click here to type your full name >EDUCATION CREDENTIALSCertification / Licensure Ar
Wisc River Falls - CAREER - 1364
SELF MANAGED BY: _This credential file cover officially verifies that candidates from the University of WisconsinRiver Falls manage their own credential filesEDUCATION CREDENTIALSCertification / Licensure Area(s):University of Wisconsin-River F
Wisc River Falls - CAREER - 601
.ecivres siht rof deriuqer era seef on secivreS reeraC ot tseuqer liame ro nettirw a timbus ot deen ylno uoy ,tnuocca gniR ssarB ruoy etavitcaer oT .raey eht tuohguorht nepo emoceb taht snoitisop gnihcaet rof stcirtsid loohcs ot derrefer eb ot segap
Wisc River Falls - CHAPTER - 3
Wisc River Falls - CHAPTER - 3
Wisc River Falls - CHAPTER - 5
University of wisconsin-river fallsDistress signals in Marriage anD FaMily relationships Feelingsoflonelinessorisolation.sharingand togetherness no longer exist. Linesofcommunicationarebrokendown.nothingto
Wisc River Falls - UWS - 2008
Implementing an Organic First Curriculum: The First CourseRoss Jilk, Michael Kahlow, Barb Nielsen, Karl Peterson, David Rusterholz Chemistry Department, University of Wisconsin River FallsAbstractWe have received funding from the NSF-CCLI program
Wisc River Falls - CSTA - 0809
UNIVERSITY THEATRE 2008 -2009 SEASON TICKET ORDER FORM CIRCLE DESIRED SHOW (S) SOMETHINGS AFOOT: 10/23, 10/24, 10/25, 10/30, 10/31, 11/1 TELLING TALES: 12/4, 12/5, 12/6, 12/11, 12/12, 12/13 TWELVE DREAMS (Masquers Production): 2/26, 2/27, 2/28, 3/5,
Wisc River Falls - POLS - 114
Review Report to the General Education Committee Concerning Political Science 114: American National State and Local Government November 1, 2006 1. Indicate how the goals of the course relate to the General Education goals for the specific designator
La Salle - EDC - 470
La Salle - PSYCH - 500
La Salle University Psychology 500 Introduction to Counseling and Psychotherapy: Theories and Interventions Time: Professor: Office: 4:15 PM - 6:45 PM Tuesdays Dr. Lynn Collins Holroyd 117BFall 1999Place: Holroyd 009 Phone: 951-5046 E-mail: colli
La Salle - PSYCH - 610
La Salle UniversityFall 2000 Psychology 610 B Cognitive-Behavioral Approaches in Counseling and Psychotherapy Place: Holroyd Phone: 951-5046 E-mail: collins@lasalle.eduTime: Professor: Office:7:30 PM - 10:00 PM Tuesdays Dr. Lynn Collins Holroyd
La Salle - PSYCH - 704
La Salle University Adult Psychopathology Psych 704 Time: Professor: Office: Faculty web page: Psychology web page: 7:30 PM - 10:00 PM Wednesdays Dr. Lynn Collins Holroyd 117 http:/www.lasalle.edu/~collins http:/www.lasalle.edu/~collins/psychSpring
La Salle - PSYCH - 707
La Salle University Psychopathology II: Child and Adolescent Psychopathology Psych 707 Time: Professor: Office: Faculty web page: Psychology web page: 4:30 PM 7:00 PM Wednesdays Dr. Lynn Collins Holroyd 117 http:/www.lasalle.edu/~collins http:/www.l
La Salle - PSYCH - 730
Personality Assessment II: Personality & Behavior La Salle University Psychology 730 Professor: Lynn H. Collins, Ph.D. Classroom: Holroyd 13 Phone: 215-951-5046 Office: Holroyd 117B Email: collins@lasalle.edu Class time: Wednesday, 7:3010:00 PM Facu
UPenn - DOLPHIN - 08
Nominations & Elections CommitteeApplication for Mis-represented and Under-represented Undergraduate RepresentationUniversity Council, 2008 - 2009 [Page2 ] ABOUT UNIVERSITY COUNCILThe University Council of the University of Pennsylvania i
UPenn - RESOLUTION - 06
Summary of 2006-2007 University Council Resolutions and Recommendations and Administrative Actions Taken on Them Resolutions from the 2006-2007 Academic Year 1. During the February 2007 meeting, Judy Shea, Interim Chair of the Committee on Pluralism,
UPenn - PSYC - 270
Preliminary Syllabus for BFS Psychology 278-301, Fall, 2008 Constraints on Family Size M. Frank Norman (norman@psych.upenn.edu), 9/2/2008Decisions to have children are influenced by cultural norms and economic constraints. Cultural and economic con
UPenn - PSYC - 278
Preliminary Syllabus for BFS Psychology 278-301, Fall, 2008 Constraints on Family Size M. Frank Norman (norman@psych.upenn.edu), 9/2/2008Decisions to have children are influenced by cultural norms and economic constraints. Cultural and economic con
UPenn - SAS - 2000
Psalm 7:5 and Ancient near Eastern Treaties Jeffrey H. Tigay Journal of Biblical Literature, Vol. 89, No. 2. (Jun., 1970), pp. 178-186.Stable URL: http:/links.jstor.org/sici?sici=0021-9231%28197006%2989%3A2%3C178%3AP7AANE%3E2.0.CO%3B2-C Journal of B
UPenn - SAS - 2000
UPenn - SAS - 2000
Toward the Recovery of *Po#ar, "Company," in Biblical Hebrew Jeffrey H. Tigay Journal of Biblical Literature, Vol. 92, No. 4. (Dec., 1973), pp. 517-522.Stable URL: http:/links.jstor.org/sici?sici=0021-9231%28197312%2992%3A4%3C517%3ATTRO*%22%3E2.0.CO
UPenn - SAS - 2000
UPenn - SAS - 2000
On Some Aspects of Prayer in the Bible Jeffrey H. Tigay AJS Review, Vol. 1. (1976), pp. 363-379.Stable URL: http:/links.jstor.org/sici?sici=0364-0094%281976%291%3C363%3AOSAOPI%3E2.0.CO%3B2-J AJS Review is currently published by Cambridge University
UPenn - SAS - 2000
UPenn - SAS - 2000
UPenn - SAS - 2000
UPenn - SAS - 2000
University of Pennsylvania Libraries NOTICE WARNING CONCERNING COPYRIGHT RESTRICTIONS The copyright law of the United States (title 17, United States Code) governs the making of photocopies or other reproductions of copyrighted material. Under certai
UPenn - SAS - 2000
"Heavy of Mouth" and "Heavy of Tongue" on Moses' Speech Difficulty Jeffry H. Tigay Bulletin of the American Schools of Oriental Research, No. 231. (Oct., 1978), pp. 57-67.Stable URL: http:/links.jstor.org/sici?sici=0003-097X%28197810%290%3A231%3C57%
UPenn - SAS - 2000
Lifn haabb# and 'a#ar haabb#t = "On the Day before the Sabbath" and "On the Day after the Sabbath" (Nehemiah XIII 19) Jeffrey H. Tigay Vetus Testamentum, Vol. 28, Fasc. 3. (Jul., 1978), pp. 362-365.Stable URL: http:/links.jstor.org/sici?sici=0042-49
UPenn - SAS - 2000
On the Term Phylacteries (Matt 23:5) Jeffrey H. Tigay The Harvard Theological Review, Vol. 72, No. 1/2. (Jan. - Apr., 1979), pp. 45-53.Stable URL: http:/links.jstor.org/sici?sici=0017-8160%28197901%2F04%2972%3A1%2F2%3C45%3AOTTP%282%3E2.0.CO%3B2-6 Th
UPenn - SAS - 2000
On the Meaning of #(W)#PT Jeffrey H. Tigay Journal of Biblical Literature, Vol. 101, No. 3. (Sep., 1982), pp. 321-331.Stable URL: http:/links.jstor.org/sici?sici=0021-9231%28198209%29101%3A3%3C321%3AOTMOT%3E2.0.CO%3B2-A Journal of Biblical Literatur
UPenn - SAS - 2000
University of Pennsylvania Libraries NOTICE WARNING CONCERNING COPYRIGHT RESTRICTIONS The copyright law of the United States (title 17, United States Code) governs the making of photocopies or other reproductions of copyrighted material. Under certai
UPenn - SAS - 2000
UPenn - SAS - 2000
UPenn - SAS - 2000
A Second Temple Parallel to the Blessings from Kuntillet 'AjrudJEFFREY H. TIGAYUniversity of PennsylvaniaIN discussing the inscriptions from Kuntillet 'Ajrud, Z. Meshel and others have held that in the blessings 'by YHWH of Samaria/Teman and His/
UPenn - SAS - 2000
UPenn - SAS - 2000
University of Pennsylvania Libraries NOTICE WARNING CONCERNING COPYRIGHT RESTRICTIONS The copyright law of the United States (title 17, United States Code) governs the making of photocopies or other reproductions of copyrighted material. Under certai
UPenn - SAS - 2000
University of Pennsylvania Libraries NOTICE WARNING CONCERNING COPYRIGHT RESTRICTIONS The copyright law of the United States (title 17, United States Code) governs the making of photocopies or other reproductions of copyrighted material. Under certai
UPenn - SAS - 2000
UPenn - SAS - 2000
(20061943) ' ( ' ) , " 31 , 2006 . 62 . , , 31 , , , , , , . , , , , , , . , , : , ,
UPenn - SAS - 2000
tThe Priestly Reminder Stones and Ancient Near Eastern Votive Practices*JEFFREY H. TIGAYAccording to Exod 28:912, Aaron is to carry the names of the twelve sons of Israel (Jacob) on his shoulders and over his heart when he enters the sanctuary. T
UPenn - SAS - 2000
Review: [Untitled] Reviewed Work(s): Lamentations by Delbert R. Hillers Jeffrey H. Tigay Journal of Near Eastern Studies, Vol. 35, No. 2. (Apr., 1976), pp. 140-143.Stable URL: http:/links.jstor.org/sici?sici=0022-2968%28197604%2935%3A2%3C140%3AL%3E2
UPenn - SAS - 2000
Review: [Untitled] Reviewed Work(s): Ezekiel 1-20: A New Translation with Introduction and Commentary by Moshe Greenberg Jeffrey H. Tigay Journal of the American Academy of Religion, Vol. 52, No. 4. (Dec., 1984), p. 761.Stable URL: http:/links.jstor
UPenn - SAS - 2000
UPenn - BE - 2008
BioengineeringPhDProgram CoursePlanningGuideName:_ Email:_Course NumberCourseTitleTerm/Yr CU2StatisticsorMathIntensiveCoursese.g.ENM510,511,5022BiomedicalScienceCoursese.g.cellbiology,physiology,anatomy 3BioengineeringFundamentalsCoursese.
UPenn - ESE - 313
ESE 313Spring 2008 (Pilot Version) Robotics and Bioinspired SystemsCourse DescriptionD. E. Koditschek, Lecturer Joel Weingarten, Lab Instructor Sam Russem Lab TA SEAS Engineering Information and Communication Program StaffCourse DescriptionThi
UPenn - ESE - 313
ESE 313Spring 2008 (Pilot Version) Robotics and Bioinspired SystemsCourse PhilosophyD. E. Koditschek, Lecturer J. D. Weingarten, Lab Instructor S. Russem, Lab TALifelong Learning and Critical Thinking for Twenty-First Century EngineersIt is ge
UPenn - ESE - 112
ESE 112 Lab Report GuidelinesImportant: All lab reports must be done individually. Lab Report Structure Title page Introduction o One paragraph to summarize the aim and procedure of the lab o Not a copy of the lab manual bullet list Procedure & Resu
UPenn - CIS - 08
Report on NSF Workshop on Symbolic Computation for Constraint SatisfactionNovember 14, 2008Alex Aiken, Stanford University Rajeev Alur, University of Pennsylvania Clark Barrett, New York University Martine Ceberio, University of Texas at El Paso W
UPenn - CIS - 08
SAT and QBF: Trick or TreatSharad Malik Princeton UniversityNSF Workshop November 14, 2008The T i k Th TrickThe daunting NP completeness NP-completeness[GJ79]The T t Th TreatLarge and vibrant SAT communitySAT Portal www.satlive.org Satlib
UPenn - CIS - 08
Satisability Modulo Theories Successes and ChallengesClark Barrettbarrett@cs.nyu.eduNew York UniversityNSF, November 14, 2008 p. 1/44MotivationAutomatic analysis of computer hardware and software requires engines capable of reasoning efcien
UPenn - CIS - 08
Rewriting Needs Constraints and Constraints Need RewritingJos Meseguer eDepartment of Computer Science, UIUCNSF Workshop on Symbolic Computation and Constraints 14 November 2008Jos Meseguer (UIUC) eNSF Workshop on Symbolic Computation and Con
UPenn - CIS - 08
Symbolic-Numeric Algorithms for Constraint Solving:Overview, Challenges, Applications, FutureMartine Ceberio University of Texas at El PasoNSF Workshop on Symbolic Computation for Constraint Satisfaction Problems, 14 November 2008 p. 1/30Outli
UPenn - CIS - 08
Symbolic Computations in Hybrid Systems VericationWhy symbolic computations are required for hybrid systems analysisAndr Platzer eEdmund M. ClarkeCarnegie Mellon University, Computer Science Department, Pittsburgh, PANSF Workshop on Symbolic
UPenn - CIS - 08
'$Slides for NSF Panel on Constraint Solving&%'$Research Challenges in Constraint SolvingN. Shankarshankar@csl.sri.com URL: http:/www.csl.sri.com/shankar/Computer Science Laboratory SRI International Menlo Park, CA&%1'Const
UPenn - CIS - 01
Shared Variables Interaction DiagramsRajeev Alur Department of Computer and Information Science University of Pennsylvania alur@cis.upenn.edu Radu Grosu Department of Computer Science State University of New York at Stony Brook grosu@cs.sunysb.edu
UPenn - CIS - 00
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. XX, NO. Y, YEAR100Inference of Message Sequence ChartsRajeev Alur, Kousha Etessami, Mihalis YannakakisAbstract Software designers draw Message Sequence Charts for early modeling of the individual
UPenn - CIS - 96
An Analyzer for Message Sequence Charts1510] T.H. Cormen, C.E. Leiserson, R.L. Rivest. Introduction to Algorithms, MIT press, 1990. 11] S. Warshall. A theorem on boolean matrices. Journal of the ACM , 9 (1962), pp. 11-12.14Alur, Holzmann, Pel
UPenn - CIS - 670
Determining Bounds on Execution TimesReinhard Wilhelm Informatik, Universit t des Saarlandes a Saarbr cken, Germany u email: wilhelm@cs.uni-sb.de Phone: +49 681 302 34342 Keywords: RealTime Systems, WCET, Schedulability Analysis, Timing Analysis,
UPenn - CIS - 07
CheckFence: Checking Consistency of Concurrent Data Types on Relaxed Memory Models Sebastian BurckhardtUniversity of Pennsylvania sburckha@cis.upenn.eduRajeev AlurUniversity of Pennsylvania alur@cis.upenn.eduMilo M. K. MartinUniversity of Pen