Skip to main content

Items where Author, Editor or other role is "Lange, Julien"

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: B | D | L | P
Number of items: 18.

B

Bravetti, Mario, Carbone, Marco, Lange, Julien, Yoshida, Nobuko, Zavattaro, Gianluigi (2019) A Sound Algorithm for Asynchronous Session Subtyping. In: Fokkink, Wan and van Glabbeek, Rob, eds. Leibniz International Proceedings in Informatics. 140. LIPICS ISBN 978-3-95977-121-4. (doi:10.4230/LIPIcs.CONCUR.2019.34) (KAR id:75503)
[thumbnail of main.pdf]
Preview

Bartoletti, M., Lange, Julien, Scalas, A., Zunino, R. (2014) Choreographies in the wild. Science of Computer Programming, 109 . pp. 36-60. ISSN 0167-6423. (doi:10.1016/j.scico.2014.11.015) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:62256)

Bocchi, L., Lange, Julien, Tuosto, E. (2012) Three algorithms and a methodology for amending contracts for choreographies. Scientific Annals of Computer Science, 22 (1). pp. 61-104. ISSN 1843-8121. (doi:10.7561/SACS.2012.1.61) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:62259)

Bocchi, Laura, Lange, Julien, Tuosto, E. (2011) Amending Contracts for Choreographies. In: Electronic Proceedings in Theoretical Computer Science. Proceedings Fourth Interaction and Concurrency Experience. 59. pp. 111-129. (doi:10.4204/EPTCS.59.10) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:62260)

Blommestijn, R., Lange, Julien, Taylor, C., Winton, A. (2009) Proximity-1: Simulating the CCSDS Proximity-1 Protocol for ExoMars. In: Ouwehand, L., ed. DAta Systems In Aerospace (DASIA). Proceedings of DASIA 2009 Data Systems in Aerospace. ESA Special Publication . ISBN 978-92-9221-233-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:62262)

D

Dilley, Nicolas, Lange, Julien (2020) Bounded verification of message-passing concurrency in Go using Promela and Spin. In: PLACES 2020. . EPTCS (In press) (KAR id:80588)
[thumbnail of main.pdf]
Preview

Dilley, Nicolas, Lange, Julien (2019) An Empirical Study of Messaging Passing Concurrency in Go Projects. In: Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering. . IEEE ISBN 978-1-72810-591-8. (doi:10.1109/SANER.2019.8668036) (KAR id:71491)
[thumbnail of main.pdf]
Preview

L

Lange, Julien, Yoshida, Nobuko (2019) Verifying Asynchronous Interactions via Communicating Session Automata. In: 31st International Conference on Computer-Aided Verification (CAV 2019). Lecture Notes in Computer Science (11561). pp. 97-117. Springer ISBN 978-3-030-25539-8. E-ISBN 978-3-030-25540-4. (doi:10.1007/978-3-030-25540-4_6) (KAR id:74012)
[thumbnail of main.pdf] [thumbnail of main.pdf]
Preview

Lange, Julien, Ng, Nicholas, Toninho, Bernardo, Yoshida, Nobuko (2018) A Static Verification Framework for Message Passing in Go using Behavioural Types. In: Proceedings of the 40th International Conference on Software Engineering: Software Engineering Education and Training. ICSE International Conference on Software Engineering . pp. 1137-1148. ACM, New York, USA ISBN 978-1-4503-5660-2. (doi:10.1145/3180155.3180157) (KAR id:65587)
[thumbnail of p1137-lange.pdf]
Preview
[thumbnail of draft.pdf]

Lange, Julien and Tuosto, Emilio and Yoshida, Nobuko (2017) A Tool for Choreography-Based Analysis of Message-Passing Software. In: Behavioural Types: from Theory to Tools. River Publishers. ISBN 978-87-93519-82-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:62371)

Lange, Julien, Yoshida, N. (2017) On the undecidability of asynchronous session subtyping. In: Esparza, J. and Murawski, A., eds. Lecture Notes in Computer Science. Foundations of Software Science and Computation Structures. FoSSaCS 2017. Lecture Notes in Computer Science , 10203 (10203). pp. 441-457. Springer, Berlin, Germany ISBN 978-3-662-54457-0. E-ISBN 978-3-662-54458-7. (doi:10.1007/978-3-662-54458-7_26) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:62265)

Lange, Julien, Ng, Nicholas, Toninho, Bernardo, Yoshida, Nobuko (2017) Fencing off go: liveness and safety for channel-based programming. In: Castagna, Giuseppe and Gordon, Andrew D., eds. Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . pp. 748-761. ACM, New York, USA ISBN 978-1-4503-4660-3. (doi:10.1145/3009837.3009847) (KAR id:62218)
[thumbnail of popl2017.pdf]
Preview

Lange, Julien, Yoshida, Nobuko (2016) Characteristic formulae for session types. In: Chechik, M. and Raskin, J.F., eds. Lecture Notes in Computer Science. Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2016. 9636. pp. 833-850. Springer ISBN 978-3-662-49673-2. (doi:10.1007/978-3-662-49674-9_52) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:62253)

Lange, Julien, Tuosto, E., Yoshida, N. (2015) From Communicating Machines to Graphical Choreographies. In: ACM SIGPLAN NOTICES. POPL 2015 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 50 (1). pp. 221-232. ACM ISBN 978-1-4503-3300-9. (doi:10.1145/2676726.2676964) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:62255)

Lange, Julien, Scalas, Alceste (2013) Choreography Synthesis as Contract Agreement. Electronic Proceedings in Theoretical Computer Science, 131 . pp. 52-67. ISSN 2075-2180. (doi:10.4204/EPTCS.131.6) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:62257)

Lange, Julien and Tuosto, Emilio (2012) Synthesising choreographies from local session types. In: Koutny, M. and Ulidowski, I., eds. CONCUR 2012 – Concurrency Theory 23rd International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 225-239. ISBN 978-3-642-32939-5. E-ISBN 978-3-642-32940-1. (doi:10.1007/978-3-642-32940-1_17) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:62258)

Lange, Julien, Tuosto, E. (2011) A Modular Toolkit for Distributed Interactions. In: Electronic Proceedings in Theoretical Computer Science. Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software (PLACES 2010). 69. pp. 92-110. (doi:10.4204/EPTCS.69.7) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:62261)

P

Perera, R., Lange, Julien, Gay, S. (2016) Multiparty compatibility for concurrent objects. In: Electronic Proceedings in Theoretical Computer Science, EPTCS. Electronic Proceedings in Theoretical Computer Science, EPTCS. 211. pp. 73-82. Open Publishing Association (doi:10.4204/EPTCS.211.8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:62254)

This list was generated on Mon Jan 17 19:16:11 2022 GMT.