The Research/Rescue web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. http://wiki.di.uminho.pt/twiki/bin/view/Research/Rescue Copyright 2020 by contributing authors 2013-07-16T15:53:38Z http://wiki.di.uminho.pt/twiki/bin/view/Research/Rescue/WebHome 2013-07-16T15:53:38Z

REliable and Safe Code execUtion for Embedded systems This project aims at providing innovative, efficient and expressive mechanisms for the secure implementation ... (last changed by JorgeSousaPinto)

JorgeSousaPinto http://wiki.di.uminho.pt/twiki/bin/view/Research/Rescue/RescuePublications 2011-07-26T16:49:26Z

Books José Carlos Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa. Rigorous Software Development, An Introduction to Program Verification ... (last changed by SimaoMeloDeSousa)

SimaoMeloDeSousa http://wiki.di.uminho.pt/twiki/bin/view/Research/Rescue/RescueTeam 2011-07-22T09:26:16Z

Universidade da Beira Interior Diogo Filipe Gomes Fialho Joel Silva Carvalho Nuno Miguel Pires Gaspar Simão Patrício Melo de Sousa (PI) Faculdade ... (last changed by SimaoSousa)

SimaoSousa http://wiki.di.uminho.pt/twiki/bin/view/Research/Rescue/WebPreferences 2011-07-21T16:25:14Z

Research/Rescue Web Preferences The following settings are web preferences of the Research/Rescue web. These preferences overwrite the site level preferences ... (last changed by SimaoSousa)

SimaoSousa http://wiki.di.uminho.pt/twiki/bin/view/Research/Rescue/RescueJobs 2009-10-15T23:04:32Z

Currently active RESCUE related research opportunities (at the undergraduate and post graduate levels) are announced here. PhD Opportunities Domain specific ... (last changed by NelmaMoreira)

NelmaMoreira http://wiki.di.uminho.pt/twiki/bin/view/Research/Rescue/RescuePartners 2008-06-25T18:41:21Z

FCUP/LIACC (principal contractor) http://www.isep.ipp.pt ISEP/ http://www.hurray.isep.ipp.pt/ http://cctc.uminho.pt http://www.di.ubi.pt ... (last changed by JoseBacelarAlmeida)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Research/Rescue/RescueDescription 2008-01-17T21:26:34Z

#ProjectSummary Project Summary This project aims at providing innovative, efficient and expressive mechanisms for the secure implementation and execution of code ... (last changed by SimaoMeloDeSousa)

SimaoMeloDeSousa http://wiki.di.uminho.pt/twiki/bin/view/Research/Rescue/RescueKickOff 2008-01-17T21:11:37Z

RESCUE kick off meeting (25/01/2008) Where: DI@UBI Covilhã When: Friday, January 25th, 2008 Preliminary Program: 10h45 Opening Session 11h00 ... (last changed by SimaoMeloDeSousa)

SimaoMeloDeSousa http://wiki.di.uminho.pt/twiki/bin/view/Research/Rescue/WebSideBar 2008-01-16T01:45:06Z

Overview Home Project Description Partners Rescue Team Research Team Job Opportunities Intranet Results Publications Tools Events ... (last changed by JoseBacelarAlmeida)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Research/Rescue/WebCss 2008-01-16T01:12:30Z

.natMiddle .natExternalLink:after { margin left:0px; margin right:0px; content:""; } .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs ... (last changed by JoseBacelarAlmeida)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Research/Rescue/RescueNews 2008-01-16T01:11:54Z

Jan.2008 Kick off meeting (25/01/2008) (last changed by JoseBacelarAlmeida)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Research/Rescue/WebStatistics 2008-01-16T00:55:32Z

Statistics for Research/Rescue Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ... (last changed by JoseBacelarAlmeida)

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Research/Rescue/WebTopicList 2006-11-15T19:43:52Z

(last changed by TWikiContributor)

TWikiContributor http://wiki.di.uminho.pt/twiki/bin/view/Research/Rescue/WebSearchAdvanced 2006-11-15T19:43:52Z

(last changed by TWikiContributor)

TWikiContributor http://wiki.di.uminho.pt/twiki/bin/view/Research/Rescue/WebTopicCreator 2006-11-15T19:43:52Z

(last changed by TWikiContributor)

TWikiContributor http://wiki.di.uminho.pt/twiki/bin/view/Research/Rescue/WebIndex 2006-11-15T19:43:52Z

(last changed by TWikiContributor)

TWikiContributor