Sökning: "Björn Victor"

Visar resultat 1 - 5 av 14 avhandlingar innehållade orden Björn Victor.

1. 1. The Fusion Calculus : Expressiveness and Symmetry in Mobile Processes

   Författare :Björn Victor; Joachim Parrow; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

   Sammanfattning : The fusion calculus is presented as a significant step towards a canonical calculus of concurrency. It simplifies and extends the π-calculus of Milner, Parrow and Walker.The fusion calculus contains the polyadic π-calculus as a proper subcalculus and thus inherits all its expressive power. LÄS MER

3. 2. Autonomous Vehicle Maneuvering at the Limit of Friction

   Författare :Victor Fors; Lars Nielsen; Björn Olofsson; Jan Åslund; Christian Gerdes; Linköpings universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : Without a driver to fall back on, a fully self-driving car needs to be able to handle any situation it can encounter. With the perspective of future safety systems, this research studies autonomous maneuvering at the tire-road friction limit. In these situations, the dynamics is highly nonlinear, and the tire-road parameters are uncertain. LÄS MER

4. 3. Optimal Braking Patterns and Forces in Autonomous Safety-Critical Maneuvers

   Författare :Victor Fors; Lars Nielsen; Björn Olofsson; Jan Åslund; Mathias Lidberg; Linköpings universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : The trend of more advanced driver-assistance features and the development toward autonomous vehicles enable new possibilities in the area of active safety. With more information available in the vehicle about the surrounding traffic and the road ahead, there is the possibility of improved active-safety systems that make use of this information for stability control in safety-critical maneuvers. LÄS MER

5. 4. Equivalences and Calculi for Formal Verification of Cryptographic Protocols

   Författare :Johannes Borgström; Uwe Nestmann; Thomas A Henzinger; Martin Odersky; Andrew D Gordon; Viktor Kuncak; Björn Victor; EPFL; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : Security protocols are essential to the proper functioning of any distributed system running over an insecure network but often have flaws that can be exploited even without breaking the cryptography. Formal cryptography, the assumption that the cryptographic primitives are flawless, facilitates the construction of formal models and verification tools. LÄS MER

7. 5. Protocol, mobility and adversary models for the verification of security

   Författare :Volkan Cambazoglu; Christian Rohner; Björn Victor; Sonja Buchegger; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Datavetenskap med inriktning mot datorkommunikation; Computer Science with specialization in Computer Communication;

   Sammanfattning : The increasing heterogeneity of communicating devices, ranging from resource constrained battery driven sensor nodes to multi-core processor computers, challenges protocol design. We examine security and privacy protocols with respect to exterior factors such as users, adversaries, and computing and communication resources; and also interior factors such as the operations, the interactions and the parameters of a protocol. LÄS MER