User contributions
(Latest | Earliest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 13:58, 15 January 2020 (diff | hist) . . (+57) . . IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics (Redirected page to IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain) (top)
- 13:57, 15 January 2020 (diff | hist) . . (+136) . . IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain (top)
- 13:52, 15 January 2020 (diff | hist) . . (+167) . . IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain
- 20:14, 11 July 2019 (diff | hist) . . (+135) . . N IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain (Created page with "<pubbib id='kasampalis-guth-moore-serbanuta-zhang-filaretti-serbanuta-johnson-rosu-2019-fm' template='PubDefaultWithAbstractAndTitle'/>")
- 21:32, 1 July 2019 (diff | hist) . . (+103) . . News
- 21:12, 1 July 2019 (diff | hist) . . (+117) . . Techniques for Evolution-Aware Runtime Verification (top)
- 23:14, 31 December 2018 (diff | hist) . . (+160) . . N Techniques for Evolution-Aware Runtime Verification (Created page with "<private> == ICST 2019 Submission == <pubbib id='legunsen-zhang-hadzi-rosu-marinov-2019-icst-submission' template='PubDefaultWithAbstractAndTitle' /> </private>")
- 23:10, 31 December 2018 (diff | hist) . . (+73) . . FSL Publications
- 03:45, 29 July 2017 (diff | hist) . . (+12) . . Meeting (top)
- 18:02, 7 June 2017 (diff | hist) . . (+85) . . Meeting
- 21:22, 11 January 2017 (diff | hist) . . (+63) . . Contact Information for FSL Members (top)
- 22:29, 6 October 2016 (diff | hist) . . (+29) . . N Xinyue Xu (Created page with "<pubbib author="Xinyue Xu" \>") (top)
- 22:28, 6 October 2016 (diff | hist) . . (+52) . . N Wajih Ul Hassan (Created page with "My home page: http://whassan3.web.engr.illinois.edu/")
- 22:27, 6 October 2016 (diff | hist) . . (+203) . . Darko Marinov (top)
- 03:44, 11 April 2016 (diff | hist) . . (+96) . . K-Maude: A Rewriting Based Tool for Semantics of Programming Languages (top)
- 03:32, 11 April 2016 (diff | hist) . . (-2) . . Mining Parametric Specifications (top)
- 04:08, 8 April 2016 (diff | hist) . . (+559) . . Matching Logic: An Alternative to Hoare Logic (top)
- 03:43, 8 April 2016 (diff | hist) . . (+279) . . A Formal Executable Semantics of Verilog (top)
- 18:51, 6 April 2016 (diff | hist) . . (+86) . . Automating Coinduction with Case Analysis (top)
- 02:51, 6 April 2016 (diff | hist) . . (-8) . . Maximal Causal Models for Multithreaded Systems (top)
- 02:20, 6 April 2016 (diff | hist) . . (+87) . . Runtime Verification with the RV System (top)
- 02:05, 6 April 2016 (diff | hist) . . (-6) . . An Executable Formal Semantics of C with Applications (top)
- 02:05, 6 April 2016 (diff | hist) . . (-1) . . An Executable Formal Semantics of C with Applications
- 18:14, 15 March 2016 (diff | hist) . . (+1,527) . . A Rewriting Approach to Concurrent Programming Language Design and Semantics
- 18:04, 15 March 2016 (diff | hist) . . (-5) . . K Compiler (top)
- 18:04, 15 March 2016 (diff | hist) . . (+1) . . On Compiling Rewriting Logic Language Definitions into Competitive Interpreters (top)
- 18:04, 15 March 2016 (diff | hist) . . (+271) . . On Compiling Rewriting Logic Language Definitions into Competitive Interpreters
- 18:02, 15 March 2016 (diff | hist) . . (+301) . . K Compiler
- 23:30, 5 March 2016 (diff | hist) . . (-5) . . FSL Publications
- 23:29, 5 March 2016 (diff | hist) . . (+313) . . An Overview of the MOP Runtime Verification Framework (top)
- 04:02, 5 March 2016 (diff | hist) . . (+61) . . ROSMOP (top)
- 04:00, 5 March 2016 (diff | hist) . . (+61) . . ROSRV (top)
- 20:05, 4 March 2016 (diff | hist) . . (-13) . . ROSMOP
- 19:58, 4 March 2016 (diff | hist) . . (+5) . . ROSRV
- 19:55, 4 March 2016 (diff | hist) . . (-192) . . ROSRV
- 19:54, 4 March 2016 (diff | hist) . . (-26) . . ROSMOP
- 19:52, 4 March 2016 (diff | hist) . . (-13) . . ROSRV
- 19:51, 4 March 2016 (diff | hist) . . (-13) . . ROSRV
- 19:24, 4 March 2016 (diff | hist) . . (+1,097) . . Mining Parametric Specifications
- 23:10, 3 March 2016 (diff | hist) . . (+296) . . Garbage Collection for Monitoring Parametric Properties (top)
- 05:55, 3 March 2016 (diff | hist) . . (-5) . . Matching Logic: A New Program Verification Approach (top)
- 05:55, 3 March 2016 (diff | hist) . . (+318) . . Matching Logic: A New Program Verification Approach
- 21:30, 29 February 2016 (diff | hist) . . (+318) . . Improved Multithreaded Unit Testing (top)
- 21:17, 29 February 2016 (diff | hist) . . (-2) . . The Rewriting Logic Semantics Project: A Progress Report (top)
- 03:32, 29 February 2016 (diff | hist) . . (-3) . . An Executable Formal Semantics of C with Applications
- 03:26, 29 February 2016 (diff | hist) . . (-3) . . An Executable Formal Semantics of C with Applications
- 03:25, 29 February 2016 (diff | hist) . . (-5) . . An Executable Formal Semantics of C with Applications
- 03:25, 29 February 2016 (diff | hist) . . (+13) . . An Executable Formal Semantics of C with Applications
- 02:56, 29 February 2016 (diff | hist) . . (+1) . . Maximal Causal Models for Multithreaded Systems
- 02:56, 29 February 2016 (diff | hist) . . (-3) . . Maximal Causal Models for Multithreaded Systems
- 23:00, 27 February 2016 (diff | hist) . . (+240) . . Matching Logic Rewriting: Unifying Operational and Axiomatic Semantics in a Practical and Generic Framework (top)
- 02:49, 27 February 2016 (diff | hist) . . (-83) . . FSL Publications
- 02:48, 27 February 2016 (diff | hist) . . (+101) . . Test-Case Reduction for C Compiler Bugs (top)
- 02:35, 27 February 2016 (diff | hist) . . (+99) . . Making Maude Definitions more Interactive (top)
- 02:15, 27 February 2016 (diff | hist) . . (+92) . . Recursive Proofs for Inductive Tree Data-Structures (top)
- 02:10, 27 February 2016 (diff | hist) . . (+1) . . Semantics and Algorithms for Parametric Monitoring (top)
- 02:10, 27 February 2016 (diff | hist) . . (+1,026) . . Semantics and Algorithms for Parametric Monitoring
- 22:38, 26 February 2016 (diff | hist) . . (+3) . . Open Problems and Challenges
- 22:37, 26 February 2016 (diff | hist) . . (+410) . . Towards Categorizing and Formalizing the JDK API (top)
- 22:27, 26 February 2016 (diff | hist) . . (-5) . . JavaMOP: Efficient Parametric Runtime Monitoring Framework (top)
- 22:27, 26 February 2016 (diff | hist) . . (+257) . . JavaMOP: Efficient Parametric Runtime Monitoring Framework
- 22:07, 26 February 2016 (diff | hist) . . (-8) . . From Hoare Logic to Matching Logic Reachability
- 22:05, 26 February 2016 (diff | hist) . . (+80) . . K Framework Distilled (top)
- 21:52, 26 February 2016 (diff | hist) . . (-82) . . Checking Reachability using Matching Logic
- 21:44, 26 February 2016 (diff | hist) . . (-8) . . Checking Reachability using Matching Logic
- 21:41, 26 February 2016 (diff | hist) . . (+254) . . Scalable Parametric Runtime Monitoring (top)
- 21:26, 26 February 2016 (diff | hist) . . (-4) . . KRAM: The Concurrent Rewrite Abstract Machine (top)
- 21:25, 26 February 2016 (diff | hist) . . (+639) . . KRAM: The Concurrent Rewrite Abstract Machine
- 21:22, 26 February 2016 (diff | hist) . . (-6) . . Defining the Undefinedness of C (top)
- 21:21, 26 February 2016 (diff | hist) . . (-10) . . Defining the Undefinedness of C
(Latest | Earliest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)