Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Heule, Stefan
23  Ergebnisse:
Personensuche X
?
1

SwitchV : automated SDN switch validation with P4 models:

, In: Proceedings of the ACM SIGCOMM 2022 Conference,
Albab, Kinan Dak ; DiLorenzo, Jonathan ; Heule, Stefan... - p. 365-379 , 2022
Link: https://dl.acm.org/doi/1..
 
?
2

Influence of Small-Scale Obstacles on Passenger Flows in Ra..:

, In: Springer Proceedings in Physics; Traffic and Granular Flow 2019,
Bosina, Ernst ; Thurau, Jasmin ; Oberholzer, Tobias. - p. 31-37 , 2020
Link: https://doi.org/10.1007/..
 
?
3

SpaceSearch: a library for building and verifying solver-ai..:

Weitz, Konstantin ; Lyubomirsky, Steven ; Heule, Stefan...
Proceedings of the ACM on Programming Languages.  1 (2017)  ICFP - p. 1-28 , 2017
Link: https://doi.org/10.1145/..
 
?
4

SpaceSearch: a library for building and verifying solver-ai..:

Weitz, Konstantin ; Lyubomirsky, Steven ; Heule, Stefan...
Proceedings of the ACM on Programming Languages.  1 (2017)  ICFP - p. 1-28 , 2017
Link: https://dl.acm.org/doi/1..
 
?
5

Stratified synthesis: automatically learning the x86-64 ins..:

Heule, Stefan ; Schkufza, Eric ; Sharma, Rahul.
ACM SIGPLAN Notices.  51 (2016)  6 - p. 237-250 , 2016
Link: https://doi.org/10.1145/..
 
?
6

Stratified synthesis: automatically learning the x86-64 ins..:

, In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Heule, Stefan ; Schkufza, Eric ; Sharma, Rahul. - p. 237-250 , 2016
Link: https://dl.acm.org/doi/1..
 
?
7

Mimic: computing models for opaque code:

, In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering,
Heule, Stefan ; Sridharan, Manu ; Chandra, Satish - p. 710-720 , 2015
Link: https://dl.acm.org/doi/1..
 
?
8

HyperLogLog in practice : algorithmic engineering of a s..:

, In: Proceedings of the 16th International Conference on Extending Database Technology,
Heule, Stefan ; Nunkesser, Marc ; Hall, Alexander - p. 683-692 , 2013
Link: https://dl.acm.org/doi/1..
 
?
9

Fractional permissions without the fractions:

, In: Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs,
Heule, Stefan ; Leino, K. Rustan M. ; Müller, Peter. - p. 1-6 , 2011
Link: https://dl.acm.org/doi/1..
 
?
10

IFC Inside: Retrofitting Languages with Dynamic Information..:

Heule, Stefan ; Stefan, Deian ; Yang, Edward Z..
http://arxiv.org/abs/1501.04132.  , 2015
Link: http://arxiv.org/abs/150..
 
?
11

Verification Condition Generation for Permission Logics wit..:

Heule, Stefan ; Kassios, Ioannis T ; Müller, Peter.
http://hdl.handle.net/20.500.11850/52629.  , 2012
Link: https://hdl.handle.net/2..
 
?
12

Verification condition generation for permission logics wit..:

Heule, Stefan ; Kassios, Ioannis T ; Müller, Peter.
http://hdl.handle.net/20.500.11850/58492.  , 2012
Link: https://hdl.handle.net/2..
 
?
13

Measurement of the Loss and Depolarization Probability of U..:

Brys, Tomas ; Daum, Manfred ; Fierlinger, Peter...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4849587/.  , 2005
Link: http://www.ncbi.nlm.nih...
 
?
14

Incorrect fat-suppression has a substantial impact on T2 va..:

Juras, Vladimir ; Szomolanyi, Pavol ; Toegel, Stefan...
Osteoarthritis and Cartilage.  32 (2024)  - p. S341-S342 , 2024
Link: https://doi.org/10.1016/..
 
?
15

No radioactive contamination from the Chernobyl disaster in..:

Büntgen, Ulf ; Jäggi, Maya ; Egli, Simon...
Environmental Pollution.  252 (2019)  - p. 1643-1647 , 2019
Link: https://doi.org/10.1016/..
 
1-15