SwePub
Tyck till om SwePub Sök här!
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Nylén Aletta) "

Sökning: WFRF:(Nylén Aletta)

  • Resultat 1-10 av 48
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  • Abdulla, Parosh Aziz, et al. (författare)
  • BQOs and Timed Petri Nets
  • 2000
  • Rapport (övrigt vetenskapligt/konstnärligt)abstract
    • In this paper, we use the theory of better quasi-orderings to define a methodology for inventing constraint systems which are both well quasi-ordered and compact. We apply our methodology by presenting new constraint systems for verification of systems with unboundedly many real-valued clocks, and use them for checking safety properties for lazy (non-urgent) timed Petri nets where each token is equipped with a real-valued clock.
  •  
3.
  •  
4.
  •  
5.
  • Abdulla, Parosh Aziz, et al. (författare)
  • Timed Petri Nets and BQOs
  • 2001
  • Ingår i: Proc. 22nd Int. Conf. on Application and Theory of Petri Nets 2001. - : Springer Verlag. ; , s. 53-70
  • Konferensbidrag (refereegranskat)
  •  
6.
  • Abdulla, Parosh Aziz, et al. (författare)
  • Unfoldings of Unbounded Petri Nets
  • 2000
  • Ingår i: Proc. 12tn Int. Conf. on Computer Aided Verification. - : Springer Verlag. ; , s. 495-507
  • Konferensbidrag (refereegranskat)
  •  
7.
  • Abdulla, Parosh Aziz, et al. (författare)
  • Using Forward Reachability Analysis for Verification of Timed Petri Nets
  • 2007
  • Ingår i: Nordic Journal of Computing. - 1236-6064. ; 14:1, s. 1-42
  • Tidskriftsartikel (refereegranskat)abstract
    • We consider verification of safety properties for concurrent real-timed systems modelled as timed Petri nets by performing symbolic forward reachability analysis. We introduce a formalism, called region generators, for representing sets of markings of timed Petri nets. Region generators characterize downward closed sets of regions and provide exact abstractions of sets of reachable states with respect to safety properties. We show that the standard operations needed for performing symbolic reachability analysis are computable for region generators. Since forward reachability analysis is necessarily incomplete, we introduce an acceleration technique to make the procedure terminate more often on practical examples. We have implemented a prototype for analyzing timed Petri nets and used it to verify a parameterized version of Fischer's protocol, Lynch and Shavit's mutual exclusion protocol and a producer-consumer protocol. We also used the tool to extract finite-state abstractions of these protocols.
  •  
8.
  •  
9.
  •  
10.
  • Aldmour, Ismat, et al. (författare)
  • Impact of cultural and language background on learning Computer Science concepts
  • 2014
  • Ingår i: Proc. 2nd International Conference on Learning and Teaching in Computing and Engineering. - Los Alamitos, CA : IEEE Computer Society. - 9781479935918 ; , s. 37-40
  • Konferensbidrag (refereegranskat)abstract
    • Computer science terminology is generally based on words that have a related original meaning in English and rooted in western tradition. Hence, students from other cultures and students that are not native English speakers, will not be helped by language and culture in understanding computer science concepts. In this work, the authors review the interrelationship between language, cultural background, and the learning of computer science. A comparative study is under preparation in which this relationship is to be examined. The study will compare the intuitive understanding of computer science concepts between Saudi student groups of different English language proficiency levels and of different maturity levels. A test has been designed in order to reveal differences in the perception of computer science concepts that can be attributed to such background differences. The study will serve as a starting point for further work on how computer science education can be enhanced for students that are non-native English speakers.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 48
Typ av publikation
konferensbidrag (37)
tidskriftsartikel (4)
rapport (3)
doktorsavhandling (2)
proceedings (redaktörskap) (1)
annan publikation (1)
visa fler...
visa färre...
Typ av innehåll
refereegranskat (42)
övrigt vetenskapligt/konstnärligt (6)
Författare/redaktör
Nylen, Aletta (46)
Abdulla, Parosh Aziz (7)
Daniels, Mats (7)
Pears, Arnold (7)
Isomöttönen, Ville (7)
McDermott, Roger (6)
visa fler...
Cajander, Åsa (5)
Kinnunen, Päivi (5)
Eckerdal, Anna (5)
Mahata, Pritha (4)
Deneux, Johann (4)
Pears, Arnold, 1964- (4)
Thota, Neena (4)
Abdulla, Parosh (3)
Iyer, Purushothaman (2)
Berglund, Anders (2)
Aldmour, Ismat (2)
Alghamdi, Fayiq (2)
Alghamdi, Fayiq, 198 ... (2)
Malmi, Lauri (2)
Pears, Arnold Nevill ... (2)
Daniels, Mats, 1956- (2)
Cassel, Sofia (2)
Shenify, Mohamed (2)
Pesonen, Erkki (1)
Cajander, Åsa, Profe ... (1)
Ahmad, Farooq (1)
Pears, Arnold Nevill ... (1)
Sutinen, Erkki, Prof ... (1)
Moll, Jonas (1)
Pears, Arnold, Profe ... (1)
Victor, Björn (1)
Zarb, Mark (1)
Clear, Tony (1)
Alghamdi, Bader (1)
Alghamdi, Khalid (1)
Alhabish, Ahmed (1)
Aljoufi, Abdullah (1)
Alzahrani, Eidah (1)
Alzahrani, Rami (1)
Athama, Areej (1)
AlSadoon, Hamada Shi ... (1)
Budiarto, Rahmat (1)
Hafeez, Abdul (1)
Daupota, Nadeem Hass ... (1)
Faiz, Dhafer (1)
Gabralla, Lubna Abde ... (1)
Gamar, Mohammad (1)
Hannan, Abdul (1)
Kerim, Bedine (1)
visa färre...
Lärosäte
Uppsala universitet (47)
Kungliga Tekniska Högskolan (6)
Örebro universitet (1)
Språk
Engelska (47)
Svenska (1)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (37)
Samhällsvetenskap (30)
Teknik (1)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy