1
0
0
(1 - 30 von 38
)
Science of Computer Programming | Vol 210, 1 October |...
www.sciencedirect.com
Combining state- and event-based semantics to verify highly available applications. Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter.
Annette Bieniusa - DBLPdblp.org › Persons
dblp.org
Annette Bieniusa: Consistency, isolation, and irrevocability in software transactional memory. University of Freiburg, ...
Search results for "Annette Bieniusa" – FacetedDBLP
dblp.l3s.uni-hannover.de
Found 20 publication records. Showing 20 according to the selection in the facets . Hits ? Authors Title Venue Year Link Author keywords; 1: Marek Zawirski, Carlos ...
dblp: Carlos Baquero
dblp.uni-trier.de
Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa: Practical Evaluation of the Lasp Programming Model at Large Scale - An Experience Report. CoRR abs (2017)
Annette Bieniusa - AG Softwaretechnik - TU Kaiserslauternsoftech.informatik.uni-kl.de › team › annettebieniusa
softech.informatik.uni-kl.de
· Prof. Dr. Annette Bieniusa ... I am interested in semantics of concurrent and distributed programming, with a focus on (geo-)replication, ...
Annette Bieniusa - uni-freiburg.de
freidok.uni-freiburg.de
: data.pers_id.value}} {{role.value| show_role_text:"person_project_role":this}} () ()
Department of Computer Science - Technical Reports
tr.informatik.uni-freiburg.de
Annette Bieniusa, Peter Thiemann, Stefan Wehr: The Relation of Version Control to Concurrent Programming Keywords: version control, concurrent programming, software transactional memory (Abstract) Report No.241, July (PostScript) T. Zitterell, C. Scholl: Improving Energy-Efficient Real-Time Scheduling by Exploiting Code Instrumentation
Programmanalyse, SS uni-freiburg.de
proglang.informatik.uni-freiburg.de
Annette Bieniusa: Time and Place: Di , Geb. 101, SR Important News. Information about the project are now available. On will be a regular lecture, on we have one hour of lecture and then one hour of practical session in the computer pool. ...
FB-Informatik: Akademische Jahresfeier 2012
www.informatik.uni-kl.de
Dr. Annette Bieniusa Ralf Grünwald Ausgeschieden sind: Prof. Rolf Wiehagen Dr. Reinhard Kircher Schlussworte. Prof
Institute of Theoretical Computer Science - TU Braunschweig
www.tcs.cs.tu-bs.de
Closing (Annette Bieniusa) News POPL Pointer Life Cycle Types for Lock-Free Data Structures with Memory Reclamation has been accepted. publications FSTTCS Complexity of Liveness in Parameterized Systems has been accepted. publications Best student paper @ NETYS 2019
Seminar Verteilte Systeme: System Support for Modern Web Technologies
www.ibr.cs.tu-bs.de
Albert van der Linde, Pedro Fouto, Jo ao Leit ao, Nuno Preguiça, Santiago Casti neira and Annette Bieniusa: Legion: Enriching Internet Services with Peer-to-Peer Interactions, in Proceedings of the 26th International Conference on World Wide Web, International World Wide Web Conferences Steering Committee, Seite , (van2017legion ...
Functional and Declarative Programming in Education (FDPE08)
www-ps.informatik.uni-kiel.de
Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr (Albert-Ludwigs-University Freiburg), Martin Gasbichler (Zühlke Engineering AG) ...
Abstract interpretation 1 Widening operatorsAlbert-Ludwigs-Universität Freiburg
proglang.informatik.uni-freiburg.de
paper to Annette Bieniusa, Geb. 079, Room • Late submissions will not be marked. • Do not forget to put your name on the exercise sheet.
Search results for "SRDS Workshops" – FacetedDBLP
dblp.l3s.de
... Annette Bieniusa, Sérgio Duarte, Valter Balegas, Carlos Baquero, Marc Shapiro: SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client ...
Software Engineering: Process Measurement Research Group: Seminar on...
wwwagse.informatik.uni-kl.de
Annette Bieniusa: Morteza Nokhodian: Annette Bieniusa: Yasaman Lesani: Max Steiner: Dmitry Kravchenko : Group B - Day 1: , 13: :15, Room : Name ...
EPTL - A Temporal Logic for Weakly Consistent Systems ...Archive ouverte HAL
hal.science
von M Weber · · Zitiert von: 2 — Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter. EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper). 37th International Conference ...
LNCS Formal Techniques for Distributed Objects, Components,...
ifip.hal.science
EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper) Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter, › IFIP-L...
Julian Haas - Software Technology Group - TU DarmstadtTU Darmstadt
www.stg.tu-darmstadt.de
I am a PhD student at the software technology group, supervised by Mira Mezini and co-supervised by Annette Bieniusa at TU Kaiserslautern.
Seminar: Type Systems - Programmiersprachenproglang.informatik.uni-freiburg.de › teaching › seminar
proglang.informatik.uni-freiburg.de
Stellen. Seminar: Type Systems. Leitung: Prof. Dr. Peter Thiemann. Mitwirkung: Annette Bieniusa. Zeit und Ort: Di, in Geb. 101, Raum Beschreibung.
[PDF] Dagstuhl-Consistency pdf - Hal-Inriainria.hal.science › hal › preview › Dagstuhl-Consistency-1...
inria.hal.science
Annette Bieniusa, Alexey Gotsman, Bettina Kemme, and Marc Shapiro Overview of Talks. Does your fault-tolerant distributed system tolerate faults ...
[PDF] Tagungsband zum 21. Kolloquium Programmiersprachen und ...macau.uni-kiel.de › macau_derivate_ › kcss_2021_07
macau.uni-kiel.de
Annette Bieniusa -kl.de. TU Kaiserslautern. Collaborative applications such Zeller, Peter, Annette Bieniusa, and Arnd Poetzsch-Heffter (2021) ...
FORTE - DisCoTec 2014: the 9th International Federated Conference on...
www.discotec2014.tu-berlin.de
... Model Checking in UML designs. Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter. Formal Specification and Verification of CRDTs : Social Dinner.
ICFP 2007: Local Organizers
www.icfpconference.org
Local Organizers. Peter Thiemann (local arrangements chair) Annette Bieniusa Berit Brauer Markus Degen Phillip Heidegger Stefan Wehr.
Bad Honnef 2010: Programm
www-ps.informatik.uni-kiel.de
Annette Bieniusa (Universität Freiburg) Twilight STM in Haskell ; Baltasar Trancon y Widemann (Universität Bayreuth) Praktisches totales funktionales Programmieren im Church-Stil
sortiert nach Relevanz / Datum