User contributions
(Latest | Earliest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 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
- 21:21, 26 February 2016 (diff | hist) . . (+6) . . Defining the Undefinedness of C
- 19:52, 25 February 2016 (diff | hist) . . (+440) . . Checking Reachability using Matching Logic
- 19:51, 25 February 2016 (diff | hist) . . (+3) . . Defining the Undefinedness of C
- 19:39, 25 February 2016 (diff | hist) . . (+515) . . Towards a Unified Theory of Operational and Axiomatic Semantics
- 19:36, 25 February 2016 (diff | hist) . . (+282) . . Executing Formal Semantics with the K Tool (top)
- 04:20, 25 February 2016 (diff | hist) . . (+80) . . Security-Policy Monitoring and Enforcement with JavaMOP (top)
- 04:03, 25 February 2016 (diff | hist) . . (+425) . . From Hoare Logic to Matching Logic Reachability
- 04:02, 25 February 2016 (diff | hist) . . (-11) . . An Executable Formal Semantics of C with Applications
- 03:48, 25 February 2016 (diff | hist) . . (+77) . . Efficient, Expressive, and Effective Runtime Verification (top)
- 03:46, 25 February 2016 (diff | hist) . . (+87) . . Making Runtime Monitoring of Parametric Properties Practical (top)
- 02:52, 25 February 2016 (diff | hist) . . (+73) . . A Truly Concurrent Semantics for the K Framework Based on Graph Transformations (top)
- 23:59, 24 February 2016 (diff | hist) . . (-83) . . FSL Publications
- 23:59, 24 February 2016 (diff | hist) . . (+409) . . Behavioral Abstraction is Hiding Information (top)
- 23:33, 24 February 2016 (diff | hist) . . (+1,307) . . Technical Reports on K (top)
- 22:49, 24 February 2016 (diff | hist) . . (+1,098) . . Publications on Monitoring-Oriented Programming (top)
- 22:22, 24 February 2016 (diff | hist) . . (-3) . . Certifying Measurement Unit Safety Policy (top)
- 21:31, 24 February 2016 (diff | hist) . . (+313) . . Certifying Measurement Unit Safety Policy
- 16:47, 24 February 2016 (diff | hist) . . (+78) . . FSL Publications
- 16:45, 24 February 2016 (diff | hist) . . (+48) . . FSL Publications
- 03:32, 19 February 2016 (diff | hist) . . (-2) . . Maximal Causal Models for Multithreaded Systems
- 02:27, 19 February 2016 (diff | hist) . . (+786) . . An Executable Formal Semantics of C with Applications
- 23:14, 8 December 2014 (diff | hist) . . (-199) . . JavaFAN (top)
- 23:11, 8 December 2014 (diff | hist) . . (+1,052) . . JavaFAN
- 21:58, 30 October 2014 (diff | hist) . . (+334) . . JavaMOP Papers (top)
- 04:45, 5 August 2014 (diff | hist) . . (-7) . . Runtime Verification (top)
- 04:44, 5 August 2014 (diff | hist) . . (+211) . . MOP Papers (top)
- 04:40, 5 August 2014 (diff | hist) . . (+2,973) . . Runtime Verification
- 03:53, 17 July 2014 (diff | hist) . . (+72) . . FSL Publications (add "2015" entry)
- 02:16, 2 June 2014 (diff | hist) . . (-26) . . JavaMOPAgent (top)
- 01:49, 2 June 2014 (diff | hist) . . (-6) . . JavaMOPAgent (→Building the agent)
- 01:20, 2 June 2014 (diff | hist) . . (+970) . . JavaMOPAgent
- 00:49, 2 June 2014 (diff | hist) . . (0) . . N File:Build-agent.tar.gz (top)
- 19:26, 8 May 2014 (diff | hist) . . (+5) . . JavaMOP and RVMonitor Usage (→Compile AspectJ File) (top)
- 19:24, 8 May 2014 (diff | hist) . . (+36) . . JavaMOP and RVMonitor Usage (→Usage)
- 21:43, 18 December 2013 (diff | hist) . . (+4) . . JavaMOP and RVMonitor Usage
- 07:18, 18 December 2013 (diff | hist) . . (+4) . . JavaMOP and RVMonitor Usage (→JavaMop)
- 07:17, 18 December 2013 (diff | hist) . . (+99) . . JavaMOP and RVMonitor Usage
- 07:15, 18 December 2013 (diff | hist) . . (+1,143) . . JavaMOP and RVMonitor Usage
- 04:17, 18 December 2013 (diff | hist) . . (+208) . . JavaMOP and RVMonitor Usage
- 04:01, 18 December 2013 (diff | hist) . . (+1,079) . . JavaMOP and RVMonitor Usage
- 23:15, 17 December 2013 (diff | hist) . . (+2) . . N JavaMOP and RVMonitor Usage (Created page with "==")
- 17:14, 6 December 2013 (diff | hist) . . (+200) . . JavaMOPAgent
- 15:00, 17 November 2013 (diff | hist) . . (0) . . File:New.gif (Yzhng173 uploaded a new version of "File:New.gif": Reverted to version as of 17:32, 12 May 2006) (top)
- 14:58, 17 November 2013 (diff | hist) . . (0) . . File:New.gif (Yzhng173 uploaded a new version of "File:New.gif")
- 18:48, 13 October 2013 (diff | hist) . . (+352) . . N Yi Zhang (Created page with "== About == I am a first-year Phd Student advised by Professor Grigore. I received my B.S. in Computer Science from Shanghai Jiaotong University, China. I'm currently working...") (top)
- 18:21, 13 October 2013 (diff | hist) . . (-7) . . People
- 18:20, 13 October 2013 (diff | hist) . . (+124) . . People
- 18:18, 13 October 2013 (diff | hist) . . (0) . . N File:YiZhang.jpg (top)
- 06:41, 14 August 2013 (diff | hist) . . (+20) . . User:Yzhng173 (redirect to Yi Zhang) (top)
- 06:34, 14 August 2013 (diff | hist) . . (+2) . . N User:Yzhng173 (Created page with "Hi")
(Latest | Earliest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)