HASLab

High-Assurance Software Laboratory

Overview


News

  • New Paper: J.N. Oliveira. Weighted automata as coalgebras in categories of matrices. IJFCS Vol. 24, No. 6 (2013) 709–728, WSP Company. DOI: 10.1142/S0129054113400145
  • New Paper: H.D. Macedo and J.N. Oliveira. Typing Linear Algebra: a Biproduct-oriented Approach. SCP 78:11, pp.2160-2191 (DOI 10.1016/j.scico.2012.07.012)
  • New Paper: J.C. Campos and J. Machado, A Specification Patterns System for Discrete Event Systems Analysis, Int. J. Adv. Robotic Systems, vol. 10, 2013, doi:110.5772/56412
  • Job Opportunities: We are opening five post-doctoral positions. tinynew.gif Details here
  • New Paper: Josť N. Oliveira, Miguel A. Ferreira, "Alloy Meets the Algebra of Programming: A Case Study," IEEE Transactions on Software Engineering, vol. 39, no. 3, pp. 305-326, March 2013, doi:10.1109/TSE.2012.15

                        (more...)

Statistics for DI/FMHAS Web

Month: Topic
views:
Topic
saves:
File
uploads:
Most popular
topic views:
Top contributors for
topic save and uploads:
Jan 2007 376 0 0 144 TfmSeminar?
 57 WebHome
 25 WebStatistics
 22 WebSearch
 22 WebChanges
 20 WebNotify
 19 WebIndex
  9 WebRss
  8 FlexibleSkinTopBar?
  8 FlexibleSkinStyleSheet?
  8 FlexibleSkinLeftBar?
 
Dec 2006 422 2 0 143 TfmSeminar?
 80 WebHome
 29 WebStatistics
 28 WebChanges
 22 WebSearch
 21 WebNotify
 18 WebIndex
 12 FlexibleSkinStyleSheet?
 10 FlexibleSkinTopicFooter?
  9 WebSearchAdvanced
  9 WebRss
  2 JoostVisser
Nov 2006 307 14 0  76 TfmSeminar?
 55 WebHome
 30 WebChanges
 27 Software?
 25 WebSearch
 25 WebNotify
 24 WebStatistics
 14 WebIndex
  5 FlexibleSkinLeftBar?
  4 WebSearchAdvanced
  4 WebRss
 14 JoostVisser
Oct 2006 255 0 0  85 TfmSeminar?
 38 WebHome
 17 WebStatistics
 14 WebPreferences
 14 WebChanges
 13 WebIndex
 13 WebNotify
 13 WebSearch
  7 WebTopicList
  7 FlexibleSkinTopBar?
  7 FlexibleSkinLeftBar?
 
Sep 2006 100 19 0  30 TfmSeminar?
 28 WebHome
  7 WebSearch
  6 FlexibleSkinLeftBar?
  5 FlexibleSkinStyleSheet?
  4 WebChanges
  3 WebIndex
  3 FlexibleSkinTopBar?
  3 WebPreferences
  1 FlexibleSkinTopicFooter?
  1 WebStatistics
 19 JoostVisser
Aug 2006 398 0 0  40 WebHome
 33 WebStatistics
 31 PUReNews?
 30 PUReSoftware?
 24 SpreadsheetUnderstanding?
 22 PUReCafe?
 18 PURePublications?
 17 UsingCVS?
 17 WebIndex
 16 Camila?
 11 2LT?
 
Jul 2006 5792 11 1 1475 CoddFish?
645 PUReCafe?
595 WebHome
404 PUReSoftware?
281 WebStatistics
206 PurePublications?
201 PUReNews?
190 SdfMetz?
185 2LT?
169 Camila?
138 HaGLR?
  6 JoostVisser
  5 JoseBacelarAlmeida
  1 LuisSoaresBarbosa
Jun 2006 907 0 0 140 PUReNews?
 91 PUReCafe?
 70 WebHome
 57 WebStatistics
 53 PurePublications?
 39 CoddFish?
 31 PUReSoftware?
 30 UsingCVS?
 28 Camila?
 25 CAMILA?
 24 WebRss
 
May 2006 881 0 0 107 PUReCafe?
106 PUReNews?
 60 WebHome
 56 PurePublications?
 39 PUReSoftware?
 39 Camila?
 38 WebIndex
 36 WebStatistics
 31 UsingCVS?
 28 WebRss
 26 SdfMetz?
 
Apr 2006 4590 15 6 941 PUReCafe?
674 WebHome
360 PUReSoftware?
265 WebStatistics
237 SdfMetz?
167 Camila?
162 PUReNews?
139 VDMGrammarEvolution?
136 PurePublications?
122 HaGLR?
100 VooDooM?
  7 AlexandraSilva
  6 JoostVisser
  5 JoseBacelarAlmeida
  1 JorgeSousaPinto
  1 LuisSoaresBarbosa
  1 JoseVilaca
Mar 2006 7347 39 6 1224 PUReCafe?
873 WebHome
547 PUReSoftware?
500 WebStatistics
399 PUReNews?
281 PurePublications?
220 VooDooMFront?
206 SdfMetz?
205 Camila?
187 CoddFish?
178 PUReEvents?
 23 JoostVisser
 12 LuisSoaresBarbosa
  6 AlexandraSilva
  4 JorgeSousaPinto
Feb 2006 4464 5 0 893 PUReCafe?
448 WebHome
363 PUReSoftware?
194 WebStatistics
188 PUReNews?
183 SdfMetz?
169 PurePublications?
138 VDMGrammarEvolution?
136 VooDooM?
126 VooDooMFront?
121 Camila?
  4 JoostVisser
  1 JoseBacelarAlmeida
Jan 2006 704 0 0 143 PUReCafe?
105 WebHome
 64 PUReNews?
 58 UsingCVS?
 54 PUReSoftware?
 22 Camila?
 21 WebStatistics
 19 SdfMetz?
 18 WebIndex
 18 PurePublications?
 16 PUReEvents?
 
Dec 2005 9357 32 1 1567 PUReCafe?
1559 CAMILA?
673 PUReSoftware?
652 WebHome
463 VDMGrammarEvolution?
460 WebStatistics
301 PURePublications?
282 HaGLR?
267 PUReNews?
234 PUReEvents?
219 PurePublications?
 17 JoostVisser
 15 AlexandraSilva
  1 LuisSoaresBarbosa
Nov 2005 447 0 0 101 WebHome
 61 PUReCafe?
 33 PUReNews?
 31 UsingCVS?
 23 PUReSoftware?
 16 WebStatistics
 15 PurePublications?
 14 WebIndex
 14 PUReEvents?
 14 SdfMetz?
 13 Camila?
 
Oct 2005 5120 49 15 918 PUReCafe?
719 WebHome
405 SdfMetz?
360 PUReSoftware?
307 WebStatistics
231 PurePublications?
152 PUReEvents?
142 PUReNews?
140 SpreadsheetUnderstanding?
130 PURePublications?
118 Camila?
 33 JoostVisser
 14 JoseProenca
 12 TiagoAlves
  5 AlexandraSilva
Sep 2005 325 1 0  65 WebHome
 37 PUReCafe?
 26 PUReNews?
 24 PurePublications?
 20 WebStatistics
 15 WebIndex
 12 Camila?
 11 SdfMetz?
  8 PUReSoftware?
  7 UsingCVS?
  6 PURePublications?
  1 JoseProenca
Aug 2005 4502 40 9 814 PUReCafe?
643 SdfMetz?
359 WebHome
271 PUReSoftware?
214 SpreadsheetUnderstanding?
192 WebStatistics
183 PurePublications?
166 PUReNews?
132 VDMGrammarEvolution?
131 PUReEvents?
110 VooDooMFront?
 45 AlexandraSilva
  3 JoseProenca
  1 LuisSoaresBarbosa
Jul 2005 4194 82 5 830 PUReCafe?
425 WebHome
385 SdfMetz?
234 PUReSoftware?
191 SpreadsheetUnderstanding?
176 WebStatistics
163 VDMGrammarEvolution?
145 PurePublications?
144 PUReNews?
129 VooDooMFront?
124 Camila?
 71 AlexandraSilva
  7 JoostVisser
  5 TiagoAlves
  2 AlcinoCunha
  1 JorgeSousaPinto
  1 JoaoFernandes
Jun 2005 4776 7 1 961 PUReCafe?
527 WebHome
520 SdfMetz?
326 PUReSoftware?
192 WebStatistics
186 PurePublications?
170 PUReNews?
146 VooDooMFront?
142 Camila?
112 PUReEvents?
103 VooDooM?
  5 AlcinoCunha
  2 JoostVisser
  1 PauloSilva
May 2005 5080 25 0 896 PUReCafe?
550 WebHome
420 VooDooMFront?
370 SdfMetz?
363 PUReSoftware?
253 PurePublications?
239 PUReNews?
173 WebStatistics
153 PUReEvents?
137 VooDooM?
133 Camila?
 23 JoostVisser
  1 JoseProenca
  1 TiagoAlves
Apr 2005 4303 31 2 795 PUReCafe?
573 WebHome
360 VooDooMFront?
348 PUReSoftware?
212 WebStatistics
161 Camila?
149 PUReNews?
145 PurePublications?
144 SdfMetz?
114 PUReEvents?
109 HaGLR?
 24 JoostVisser
  5 JoseBacelarAlmeida
  2 TiagoAlves
  1 JoaoFernandes
  1 JoaoFerreira
Mar 2005 3754 49 2 847 PUReCafe?
609 WebHome
294 VooDooMFront?
255 PUReSoftware?
218 WebStatistics
153 PurePublications?
146 PUReNews?
115 PUReEvents?
 88 PureAnnouncements?
 77 SdfMetz?
 77 WebChanges
 38 JoostVisser
 11 JoaoFerreira
  2 AlcinoCunha
Feb 2005 3108 7 1 752 PUReCafe?
448 WebHome
279 VooDooMFront?
226 WebStatistics
196 PUReSoftware?
162 PurePublications?
103 PUReEvents?
 88 PUReNews?
 81 PureAnnouncements?
 77 HaGLR?
 66 SdfMetz?
  5 JoseProenca
  3 TiagoAlves
Jan 2005 2836 26 3 724 PUReCafe?
474 WebHome
187 PUReSoftware?
173 PurePublications?
161 VooDooMFront?
128 WebStatistics
112 PUReEvents?
 92 PUReNews?
 68 WebChanges
 65 PureAnnouncements?
 65 HaGLR?
  7 LuisSoaresBarbosa
  6 TiagoAlves
  5 JoseNunoOliveira
  3 JoostVisser
  3 JoaoSaraiva
  3 JorgeSousaPinto
  1 AlcinoCunha
  1 NunoRodrigues
Dec 2004 2590 21 3 533 PUReCafe?
387 WebHome
210 PUReSoftware?
131 PUReNews?
125 HaGLR?
114 PUReEvents?
113 PurePublications?
103 VooDooMFront?
102 WebStatistics
 79 PureAnnouncements?
 75 WebChanges
 13 JoostVisser
 10 TiagoAlves
  1 JoseBacelarAlmeida
Nov 2004 4628 11 2 1621 WebStatistics
944 PUReCafe?
506 WebHome
287 PUReSoftware?
180 PUReEvents?
117 PurePublications?
102 PUReNews?
 89 PureAnnouncements?
 87 WebIndex
 86 HaGLR?
 68 VooDooM?
  7 JoostVisser
  4 AlcinoCunha
  1 JoseNunoOliveira
  1 LuisSoaresBarbosa
Oct 2004 2382 13 2 425 WebHome
416 PUReCafe?
235 WebStatistics
226 PUReSoftware?
133 PurePublications?
127 PUReEvents?
 87 HaGLR?
 79 PUReNews?
 77 PureAnnouncements?
 76 ProjectSummary?
 70 ChopaChops?
  4 JorgeSousaPinto
  4 JoostVisser
  3 AlcinoCunha
  2 LuisSoaresBarbosa
  1 JoseBacelarAlmeida
  1 JoaoSaraiva
Sep 2004 2720 24 7 516 WebHome
494 PUReCafe?
311 WebStatistics
190 PUReSoftware?
158 PUReEvents?
132 PUReNews?
109 PurePublications?
 77 VooDooM?
 73 PureAnnouncements?
 72 HaGLR?
 70 ChopaChops?
 17 LuisSoaresBarbosa
  9 JoostVisser
  5 TiagoAlves
Aug 2004 3525 23 8 822 WebStatistics
737 PUReCafe?
434 WebHome
196 PUReSoftware?
154 PUReNews?
137 PurePublications?
125 PUReEvents?
 87 PureAnnouncements?
 80 MenuTopics?
 72 WebIndex
 72 VooDooM?
 31 JoostVisser
Jul 2004 3537 12 1 909 PUReCafe?
662 WebStatistics
582 WebHome
197 PUReSoftware?
164 PurePublications?
139 PUReEvents?
126 PUReNews?
 78 MenuTopics?
 74 PureAnnouncements?
 68 HaskellCommunitiesAndActivities?
 65 VooDooM?
  6 JorgeSousaPinto
  3 LuisSoaresBarbosa
  2 JoostVisser
  1 NunoRodrigues
  1 JoseBacelarAlmeida
Jun 2004 2892 14 3 751 PUReCafe?
676 WebStatistics
582 WebHome
156 PUReSoftware?
110 PUReEvents?
 90 PUReNews?
 85 PurePublications?
 47 PureAnnouncements?
 45 ProjectSummary?
 44 VooDooM?
 43 WebChanges
  9 LuisSoaresBarbosa
  6 JoostVisser
  1 JoseNunoOliveira
  1 AlcinoCunha
May 2004 2389 12 1 671 WebStatistics
624 PUReCafe?
537 WebHome
128 PUReSoftware?
 78 PUReEvents?
 56 PurePublications?
 46 PUReNews?
 46 HaskellCommunitiesAndActivities?
 24 MenuTopics?
 20 WebPreferences
 19 VooDooM?
  5 JoseNunoOliveira
  3 JorgeSousaPinto
  3 JoaoSaraiva
  2 AlcinoCunha
Apr 2004 720 18 1 304 WebHome
 98 PUReCafe?
 54 PUReSoftware?
 37 WebStatistics
 32 PurePublications?
 30 VooDooM?
 23 PUReNews?
 22 PureAnnouncements?
 22 HaskellCommunitiesAndActivities?
 21 PUReEvents?
 13 WebChanges
  5 JorgeSousaPinto
  4 LuisSoaresBarbosa
  4 JoostVisser
  2 JoseBarros
  2 AlcinoCunha
  1 JoseNunoOliveira
  1 JoseBacelarAlmeida
Mar 2004 1076 51 2 494 WebHome
165 PUReCafe?
125 PUReSoftware?
 55 PurePublications?
 37 WebChanges
 34 PureAnnouncements?
 32 WebStatistics
 32 PUReNews?
 28 PUReEvents?
 18 ProjectSummary?
 14 VooDooM?
 27 JoostVisser
 17 AlcinoCunha
  5 JorgeSousaPinto
  2 JoseNunoOliveira
  1 JoseBacelarAlmeida
  1 JoaoSaraiva
Feb 2004 890 100 12 430 WebHome
134 PUReCafe?
 83 PurePublications?
 34 PUReEvents?
 33 PUReNews?
 32 WebChanges
 30 WebStatistics
 30 MenuTopics?
 26 PureAnnouncements?
 16 ProjectSummary?
  7 WebPreferences
 56 AlcinoCunha
 17 JoseNunoOliveira
 17 JorgeSousaPinto
  8 JoseBarros
  7 LuisSoaresBarbosa
  6 JoostVisser
  1 DavidCosta

Notes:

  • Do not edit this topic, it is updated automatically. (You can also force an update)
  • TWikiDocumentation tells you how to enable the automatic updates of the statistics.
  • Suggestion: You could archive this topic once a year and delete the previous year's statistics from the table.

r1056 - 28 Jun 2007 - 11:45:15 - JoseBacelarAlmeida
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM