default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Feng Chen 0006
@article{DBLP:journals/corr/abs-1112-5761,
author = {Grigore Rosu and
Feng Chen},
title = {Semantics and Algorithms for Parametric Monitoring},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(1:9)2012},
doi = {10.2168/LMCS-8(1:9)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-5761.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MeredithJGCR12,
author = {Patrick O'Neil Meredith and
Dongyun Jin and
Dennis Griffith and
Feng Chen and
Grigore Rosu},
title = {An overview of the {MOP} runtime verification framework},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {14},
number = {3},
pages = {249--289},
year = {2012},
url = {https://doi.org/10.1007/s10009-011-0198-6},
doi = {10.1007/S10009-011-0198-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MeredithJGCR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/SerbanutaCR12,
author = {Traian{-}Florin Serbanuta and
Feng Chen and
Grigore Rosu},
editor = {Shaz Qadeer and
Serdar Tasiran},
title = {Maximal Causal Models for Sequentially Consistent Systems},
booktitle = {Runtime Verification, Third International Conference, {RV} 2012, Istanbul,
Turkey, September 25-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7687},
pages = {136--150},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35632-2\_16},
doi = {10.1007/978-3-642-35632-2\_16},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/SerbanutaCR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LeeCR11,
author = {Choonghwan Lee and
Feng Chen and
Grigore Rosu},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Mining parametric specifications},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {591--600},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985874},
doi = {10.1145/1985793.1985874},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LeeCR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/MeredithJCR10,
author = {Patrick O'Neil Meredith and
Dongyun Jin and
Feng Chen and
Grigore Rosu},
title = {Efficient monitoring of parametric context-free patterns},
journal = {Autom. Softw. Eng.},
volume = {17},
number = {2},
pages = {149--180},
year = {2010},
url = {https://doi.org/10.1007/s10515-010-0063-y},
doi = {10.1007/S10515-010-0063-Y},
timestamp = {Tue, 28 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ase/MeredithJCR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Chen09e,
author = {Feng Chen},
title = {Monitoring Oriented Programming and Analysis},
school = {University of Illinois Urbana-Champaign, {USA}},
year = {2009},
url = {https://hdl.handle.net/2142/13620},
timestamp = {Thu, 05 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Chen09e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/BoddenCR09,
author = {Eric Bodden and
Feng Chen and
Grigore Rosu},
editor = {Kevin J. Sullivan and
Ana Moreira and
Christa Schwanninger and
Jeff Gray},
title = {Dependent advice: a general approach to optimizing history-based aspects},
booktitle = {Proceedings of the 8th International Conference on Aspect-Oriented
Software Development, {AOSD} 2009, Charlottesville, Virginia, USA,
March 2-6, 2009},
pages = {3--14},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1509239.1509243},
doi = {10.1145/1509239.1509243},
timestamp = {Mon, 21 Jun 2021 12:26:27 +0200},
biburl = {https://dblp.org/rec/conf/aosd/BoddenCR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ChenMJR09,
author = {Feng Chen and
Patrick O'Neil Meredith and
Dongyun Jin and
Grigore Rosu},
title = {Efficient Formalism-Independent Monitoring of Parametric Properties},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {383--394},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.50},
doi = {10.1109/ASE.2009.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ChenMJR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChenR09,
author = {Feng Chen and
Grigore Rosu},
editor = {Stefan Kowalewski and
Anna Philippou},
title = {Parametric Trace Slicing and Monitoring},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
15th International Conference, {TACAS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5505},
pages = {246--261},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00768-2\_23},
doi = {10.1007/978-3-642-00768-2\_23},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChenR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChenSR08,
author = {Feng Chen and
Traian{-}Florin Serbanuta and
Grigore Rosu},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {jPredictor: a predictive runtime analysis tool for java},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008},
pages = {221--230},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1368088.1368119},
doi = {10.1145/1368088.1368119},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ChenSR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MeredithJCR08,
author = {Patrick O'Neil Meredith and
Dongyun Jin and
Feng Chen and
Grigore Rosu},
title = {Efficient Monitoring of Parametric Context-Free Patterns},
booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
pages = {148--157},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ASE.2008.25},
doi = {10.1109/ASE.2008.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MeredithJCR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/RosuCB08,
author = {Grigore Rosu and
Feng Chen and
Thomas Ball},
editor = {Martin Leucker},
title = {Synthesizing Monitors for Safety Properties: This Time with Calls
and Returns},
booktitle = {Runtime Verification, 8th International Workshop, {RV} 2008, Budapest,
Hungary, March 30, 2008. Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5289},
pages = {51--68},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89247-2\_4},
doi = {10.1007/978-3-540-89247-2\_4},
timestamp = {Tue, 09 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/RosuCB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HillsCR12,
author = {Mark Hills and
Feng Chen and
Grigore Rosu},
editor = {G{\"{u}}nter Kniesel and
Jorge Sousa Pinto},
title = {A Rewriting Logic Approach to Static Checking of Units of Measurement
in {C}},
booktitle = {Ninth International Workshop on Rule-Based Programming, {RULE} 2008,
Hagenberg, Austria, July 14-18, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {290},
pages = {51--67},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2012.11.011},
doi = {10.1016/J.ENTCS.2012.11.011},
timestamp = {Fri, 25 Nov 2022 14:52:44 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HillsCR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChenR07,
author = {Feng Chen and
Grigore Rosu},
editor = {Werner Damm and
Holger Hermanns},
title = {Parametric and Sliced Causality},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {240--253},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_27},
doi = {10.1007/978-3-540-73368-3\_27},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChenR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ChenR07,
author = {Feng Chen and
Grigore Rosu},
editor = {Richard P. Gabriel and
David F. Bacon and
Cristina Videira Lopes and
Guy L. Steele Jr.},
title = {Mop: an efficient and generic runtime verification framework},
booktitle = {Proceedings of the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
October 21-25, 2007, Montreal, Quebec, Canada},
pages = {569--588},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1297027.1297069},
doi = {10.1145/1297027.1297069},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ChenR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/TillmannCS06,
author = {Nikolai Tillmann and
Feng Chen and
Wolfram Schulte},
editor = {Zhiming Liu and
Jifeng He},
title = {Discovering Likely Method Specifications},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {717--736},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_39},
doi = {10.1007/11901433\_39},
timestamp = {Sun, 30 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/TillmannCS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ChenR06,
author = {Feng Chen and
Grigore Rosu},
editor = {Kwangkeun Yi},
title = {Parametric and Termination-Sensitive Control Dependence},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {387--404},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_25},
doi = {10.1007/11823230\_25},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/ChenR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChenR05,
author = {Feng Chen and
Grigore Rosu},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {Java-MOP: {A} Monitoring Oriented Programming Environment for Java},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {546--550},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_36},
doi = {10.1007/978-3-540-31980-1\_36},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChenR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChendR06,
author = {Feng Chen and
Marcelo d'Amorim and
Grigore Rosu},
editor = {Howard Barringer and
Bernd Finkbeiner and
Yuri Gurevich and
Henny Sipma},
title = {Checking and Correcting Behaviors of Java Programs at Runtime with
Java-MOP},
booktitle = {Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV
2005, Edinburgh, UK, July 12, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {4},
pages = {3--20},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.02.002},
doi = {10.1016/J.ENTCS.2006.02.002},
timestamp = {Fri, 16 Dec 2022 11:10:41 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChendR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FarzanCMR04,
author = {Azadeh Farzan and
Feng Chen and
Jos{\'{e}} Meseguer and
Grigore Rosu},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Formal Analysis of Java Programs in JavaFAN},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {501--505},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_46},
doi = {10.1007/978-3-540-27813-9\_46},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FarzanCMR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ChendR04,
author = {Feng Chen and
Marcelo d'Amorim and
Grigore Rosu},
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {A Formal Monitoring-Based Framework for Software Development and Analysis},
booktitle = {Formal Methods and Software Engineering, 6th International Conference
on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
8-12, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3308},
pages = {357--372},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30482-1\_31},
doi = {10.1007/978-3-540-30482-1\_31},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ChendR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RosuC03,
author = {Grigore Rosu and
Feng Chen},
title = {Certifying Measurement Unit Safety Polic},
booktitle = {18th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2003), 6-10 October 2003, Montreal, Canada},
pages = {304--309},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ASE.2003.1240326},
doi = {10.1109/ASE.2003.1240326},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RosuC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ChenRV03,
author = {Feng Chen and
Grigore Rosu and
Ram Prasad Venkatesan},
editor = {Robert Nieuwenhuis},
title = {Rule-Based Analysis of Dimensional Safety},
booktitle = {Rewriting Techniques and Applications, 14th International Conference,
{RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2706},
pages = {197--207},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44881-0\_15},
doi = {10.1007/3-540-44881-0\_15},
timestamp = {Sun, 02 Oct 2022 16:14:20 +0200},
biburl = {https://dblp.org/rec/conf/rta/ChenRV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChenR03,
author = {Feng Chen and
Grigore Rosu},
editor = {Oleg Sokolsky and
Mahesh Viswanathan},
title = {Towards Monitoring-Oriented Programming: {A} Paradigm Combining Specification
and Implementation},
booktitle = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {2},
pages = {108--127},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)81045-4},
doi = {10.1016/S1571-0661(04)81045-4},
timestamp = {Fri, 16 Dec 2022 11:03:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChenR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-21 02:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
