SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "LAR1:uu "

Sökning: LAR1:uu

  • Resultat 1531-1540 av 272565
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1531.
  • Abdulla, Parosh Aziz, et al. (författare)
  • On the verification of timed ad hoc networks
  • 2011
  • Ingår i: Formal Modeling and Analysis of Timed Systems. - Berlin, Heidelberg : Springer Berlin/Heidelberg. - 9783642243097 ; , s. 256-270
  • Konferensbidrag (refereegranskat)
  •  
1532.
  • Abdulla, Parosh Aziz, et al. (författare)
  • Parameterized tree systems
  • 2008
  • Ingår i: Formal Techniques for Networked and Distributed Systems. - Berlin : Springer-Verlag. - 9783540688549 ; , s. 69-83
  • Konferensbidrag (refereegranskat)abstract
    • Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organized in a linear array. The aim of this paper is to extend these works by giving a simple and efficient method to prove safety properties for systems with tree-like architectures. A process in the system is a finite-state automaton and a transition is performed jointly by a process and its parent and children processes. The method derives an over-approximation of the induced transition system, which allows the use of finite trees as symbolic representations of infinite sets of configurations. Compared to traditional methods for parameterized verification of systems with tree topologies, our method does not require the manipulation of tree transducers, hence its simplicity and efficiency. We have implemented a prototype which works well on several nontrivial tree-based protocols.
  •  
1533.
  • Abdulla, Parosh A., et al. (författare)
  • Parameterized verification
  • 2016
  • Ingår i: International Journal on Software Tools for Technology Transfer. - : Springer Science and Business Media LLC. - 1433-2779 .- 1433-2787. ; 18:5, s. 469-473
  • Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
    • The goal of parameterized verification is to prove the correctness of a system specification regardless of the number of its components. The problem is of interest in several different areas: verification of hardware design, multithreaded programs, distributed systems, and communication protocols. The problem is undecidable in general. Solutions for restricted classes of systems and properties have been studied in areas like theorem proving, model checking, automata and logic, process algebra, and constraint solving. In this introduction to the special issue, dedicated to a selection of works from the Parameterized Verification workshop PV '14 and PV '15, we survey some of the works developed in this research area.
  •  
1534.
  • Abdulla, Parosh Aziz, et al. (författare)
  • Parameterized verification of time-sensitive models of ad hoc network protocols
  • 2016
  • Ingår i: Theoretical Computer Science. - : Elsevier BV. - 0304-3975 .- 1879-2294. ; 612, s. 1-22
  • Tidskriftsartikel (refereegranskat)abstract
    • We study decidability and undecidability results for parameterized verification of a formal model of timed Ad Hoc network protocols. The communication topology is defined by an undirected graph and the behaviour of each node is defined by a timed automaton communicating with its neighbours via broadcast messages. We consider parameterized verification problems formulated in terms of reachability. In particular we are interested in searching for an initial configuration from which an individual node can reach an error state. We study the problem for dense and discrete time and compare the results with those obtained for (fully connected) networks of timed automata.
  •  
1535.
  • Abdulla, Parosh Aziz, et al. (författare)
  • Parameterized verification through view abstraction
  • 2016
  • Ingår i: International Journal on Software Tools for Technology Transfer. - : Springer Science and Business Media LLC. - 1433-2779 .- 1433-2787. ; 18:5, s. 495-516
  • Tidskriftsartikel (refereegranskat)abstract
    • We present a simple and efficient framework for automatic verification of systems with a parametric number of communicating processes. The processes may be organized in various topologies such as words, multisets, rings, or trees. Our method needs to inspect only a small number of processes in order to show correctness of the whole system. It relies on an abstraction function that views the system from the perspective of a fixed number of processes. The abstraction is used during the verification procedure in order to dynamically detect cut-off points beyond which the search of the state space need not continue. We show that the method is complete for a large class of well quasi-ordered systems including Petri nets. Our experimentation on a variety of benchmarks demonstrate that the method is highly efficient and that it works well even for classes of systems with undecidable verification problems. In particular, the method handles the fine-grained and full version of Szymanski's mutual exclusion protocol, whose correctness, to the best of our knowledge, has not been proven automatically by any other existing methods.
  •  
1536.
  • Abdulla, Parosh Aziz, 1961-, et al. (författare)
  • Parameterized verification under TSO is PSPACE-complete
  • 2020
  • Ingår i: Proceedings of the ACM on Programming Languages. - New York, NY, USA : Association for Computing Machinery (ACM). - 2475-1421. ; 4:POPL, s. 26:1-26:29
  • Tidskriftsartikel (refereegranskat)abstract
    • We consider parameterized verification of concurrent programs under the Total Store Order (TSO) semantics. A program consists of a set of processes that share a set of variables on which they can perform read and write operations. We show that the reachability problem for a system consisting of an arbitrary number of identical processes is PSPACE-complete. We prove that the complexity is reduced to polynomial time if the processes are not allowed to read the initial values of the variables in the memory. When the processes are allowed to perform atomic read-modify-write operations, the reachability problem has a non-primitive recursive complexity.
  •  
1537.
  •  
1538.
  • Abdulla, Parosh Aziz, et al. (författare)
  • Precise and sound automatic fence insertion procedure under PSO
  • 2015
  • Ingår i: Networked Systems. - Cham : Springer. - 9783319268491 ; , s. 32-47
  • Konferensbidrag (refereegranskat)abstract
    • We give a sound and complete procedure for fence insertion for concurrent finite-state programs running under the PSO memory model. This model allows ''write to read'' and ''write-to-write'' relaxations corresponding to the addition of an unbounded store buffers between processors and the main memory. We introduce a novel machine model, called the Hierarchical Single-Buffer (HSB) semantics, and show that the reachability problem for a program under PSO can be reduced to the reachability problem under HSB. We present a simple and effective backward reachability analysis algorithm for the latter, and propose a counter-example guided fence insertion procedure. The procedure infers automatically a minimal set of fences that ensure correctness of the program. We have implemented a prototype and run it successfully on all standard benchmarks, together with several challenging examples.
  •  
1539.
  • Abdulla, Parosh Aziz, et al. (författare)
  • Priced timed Petri nets
  • 2013
  • Ingår i: Logical Methods in Computer Science. - 1860-5974 .- 1860-5974. ; 9:4, s. 10:1-51
  • Tidskriftsartikel (refereegranskat)
  •  
1540.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1531-1540 av 272565
Typ av publikation
tidskriftsartikel (153855)
doktorsavhandling (27080)
bokkapitel (24245)
konferensbidrag (24200)
annan publikation (10552)
recension (8792)
visa fler...
rapport (7055)
bok (6254)
forskningsöversikt (4485)
samlingsverk (redaktörskap) (3749)
licentiatavhandling (1410)
proceedings (redaktörskap) (554)
patent (304)
konstnärligt arbete (192)
visa färre...
Typ av innehåll
refereegranskat (161503)
övrigt vetenskapligt/konstnärligt (95714)
populärvet., debatt m.m. (15111)
Författare/redaktör
Ekelöf, Tord (1166)
Brenner, Richard (1126)
Ellert, Mattias (1111)
Larsson, Anders (1078)
Strandberg, Jonas (1055)
Zwalinski, L. (1025)
visa fler...
Bohm, Christian (906)
Abbott, B. (806)
Aad, G (774)
Silverstein, Samuel ... (756)
Kupsc, Andrzej (753)
Janson, Christer (735)
Lund-Jensen, Bengt (719)
Moa, Torbjörn (706)
Hellman, Sten (678)
Wolke, Magnus (666)
Zhu, J. (647)
Peters, K. (632)
Clement, Christophe (626)
Liu, Y. (620)
Sjölin, Jörgen (620)
Meyer, J. (613)
Zhou, B. (613)
Fox, H. (611)
Evans, H. (609)
Gutierrez, P. (608)
Brandt, A. (607)
Brock, R. (607)
Burdin, S. (607)
Kupco, A. (607)
Pleier, M. -A. (607)
Qian, J. (607)
Quadt, A. (607)
Sawyer, L. (607)
Stark, J. (607)
Borissov, G. (606)
Cooke, M. (606)
Kehoe, R. (606)
Lokajicek, M. (606)
Schwienhorst, R. (606)
Snyder, S. (606)
Watts, G. (606)
Khanov, A. (605)
Severini, H. (605)
Shabalina, E. (605)
Rizatdinova, F. (604)
Strauss, M. (604)
Fiedler, F. (603)
Hohlfeld, M. (603)
Tsybychev, D. (603)
visa färre...
Lärosäte
Uppsala universitet (272565)
Karolinska Institutet (17574)
Lunds universitet (6916)
Stockholms universitet (6549)
Kungliga Tekniska Högskolan (6292)
Umeå universitet (5290)
visa fler...
Göteborgs universitet (4912)
Linköpings universitet (4661)
Örebro universitet (2874)
Sveriges Lantbruksuniversitet (2237)
Högskolan Dalarna (1662)
Södertörns högskola (1380)
Linnéuniversitetet (1367)
Mälardalens universitet (1357)
Högskolan i Gävle (1185)
Chalmers tekniska högskola (1041)
Mittuniversitetet (848)
Karlstads universitet (848)
Luleå tekniska universitet (599)
Jönköping University (567)
RISE (450)
Malmö universitet (423)
Marie Cederschiöld högskola (375)
Högskolan i Skövde (283)
Försvarshögskolan (236)
Naturhistoriska riksmuseet (202)
Handelshögskolan i Stockholm (196)
Högskolan i Borås (172)
Nordiska Afrikainstitutet (165)
Högskolan i Halmstad (144)
Sophiahemmet Högskola (135)
Högskolan Kristianstad (133)
Gymnastik- och idrottshögskolan (131)
Röda Korsets Högskola (124)
Enskilda Högskolan Stockholm (117)
Institutet för språk och folkminnen (114)
Högskolan Väst (54)
Riksantikvarieämbetet (47)
Blekinge Tekniska Högskola (37)
VTI - Statens väg- och transportforskningsinstitut (25)
Kungl. Musikhögskolan (18)
Naturvårdsverket (11)
IVL Svenska Miljöinstitutet (11)
Konstfack (9)
Nationalmuseum (3)
Stockholms konstnärliga högskola (1)
Havs- och vattenmyndigheten (1)
visa färre...
Språk
Engelska (213422)
Svenska (39123)
Latin (11968)
Odefinierat språk (3147)
Tyska (1443)
Franska (896)
visa fler...
Spanska (324)
Ryska (303)
Norska (265)
Danska (261)
Polska (169)
Italienska (147)
Finska (136)
Nederländska (128)
Estniska (116)
Isländska (88)
Grekiska, klassisk (81)
Turkiska (61)
Japanska (47)
Esperanto (46)
Kinesiska (43)
Ungerska (40)
Persiska (39)
Portugisiska (38)
Hindi (29)
Lettiska (24)
Bulgariska (20)
Nygrekiska (14)
Arabiska (13)
Tjeckiska (13)
Kroatiska (12)
Nynorsk (12)
Koreanska (11)
Iriska (10)
Serbiska (8)
Albanska (8)
Ukrainska (7)
Baluchi (7)
Katalanska (6)
Flera språk (5)
Hebreiska (5)
Rumänska (5)
Kurdiska (5)
Slovakiska (5)
Bokmål (5)
Vietnamesiska (3)
Slovenska (1)
Färöiska (1)
Makedonska (1)
Swahili (1)
Mongoliskt språk (1)
Indonesiska (1)
Frisiska (1)
visa färre...
Forskningsämne (UKÄ/SCB)
Naturvetenskap (59444)
Medicin och hälsovetenskap (44640)
Humaniora (43192)
Samhällsvetenskap (37836)
Teknik (11375)
Lantbruksvetenskap (1866)

Å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