default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mikhail Auguston
@inproceedings{DBLP:conf/sysose/QuartuccioGA17,
author = {John Quartuccio and
Kristin Giammarco and
Mikhail Auguston},
title = {Identifying decision patterns using Monterey Phoenix},
booktitle = {12th System of Systems Engineering Conference, SoSE 2017, Waikoloa,
HI, USA, June 18-21, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/SYSOSE.2017.7994952},
doi = {10.1109/SYSOSE.2017.7994952},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/sysose/QuartuccioGA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/QuartuccioGA17a,
author = {John Quartuccio and
Kristin Giammarco and
Mikhail Auguston},
title = {Deriving stochastic properties from behavior models defined by Monterey
Phoenix},
booktitle = {12th System of Systems Engineering Conference, SoSE 2017, Waikoloa,
HI, USA, June 18-21, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/SYSOSE.2017.7994961},
doi = {10.1109/SYSOSE.2017.7994961},
timestamp = {Wed, 16 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sysose/QuartuccioGA17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/SongZLASDC16,
author = {Songzheng Song and
Jiexin Zhang and
Yang Liu and
Mikhail Auguston and
Jun Sun and
Jin Song Dong and
Tieming Chen},
title = {Formalizing and verifying stochastic system architectures using Monterey
Phoenix},
journal = {Softw. Syst. Model.},
volume = {15},
number = {2},
pages = {453--471},
year = {2016},
url = {https://doi.org/10.1007/s10270-014-0411-7},
doi = {10.1007/S10270-014-0411-7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/SongZLASDC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SongLASDC15,
author = {Songzheng Song and
Yang Liu and
Mikhail Auguston and
Jun Sun and
Jin Song Dong and
Tieming Chen},
editor = {Timothy Lethbridge and
Jordi Cabot and
Alexander Egyed},
title = {Formalizing and verifying stochastic system architectures using Monterey
Phoenix (SoSyM abstract)},
booktitle = {18th {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September
30 - October 2, 2015},
pages = {449},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MODELS.2015.7338279},
doi = {10.1109/MODELS.2015.7338279},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/SongLASDC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/complexsystems/GiammarcoABCF14,
author = {Kristin Giammarco and
Mikhail Auguston and
W. Clifton Baldwin and
Ji'on Crump and
Monica Farah{-}Stapleton},
editor = {Cihan H. Dagli},
title = {Controlling Design Complexity with the Monterey Phoenix Approach},
booktitle = {Proceedings of the Complex Adaptive Systems 2014 Conference - Conquering
Complexity: Challenges and Opportunities, Philadelphia, PA, USA, November
3-5, 2014},
series = {Procedia Computer Science},
volume = {36},
pages = {204--209},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.procs.2014.09.080},
doi = {10.1016/J.PROCS.2014.09.080},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/complexsystems/GiammarcoABCF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/complexsystems/Farah-StapletonA13,
author = {Monica Farah{-}Stapleton and
Mikhail Auguston},
editor = {Cihan H. Dagli},
title = {Behavioral Modeling of Software Intensive System Architectures},
booktitle = {Proceedings of the Complex Adaptive Systems 2013 Conference, Baltimore
Marriott Inner Harbor at Camden Yards, Baltimore, Maryland, USA, November
13-15, 2013},
series = {Procedia Computer Science},
volume = {20},
pages = {270--276},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.procs.2013.09.272},
doi = {10.1016/J.PROCS.2013.09.272},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/complexsystems/Farah-StapletonA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/complexsystems/GiammarcoA13,
author = {Kristin Giammarco and
Mikhail Auguston},
editor = {Cihan H. Dagli},
title = {Well, You didn't Say not to! {A} Formal Systems Engineering Approach
to Teaching an Unruly Architecture Good Behavior},
booktitle = {Proceedings of the Complex Adaptive Systems 2013 Conference, Baltimore
Marriott Inner Harbor at Camden Yards, Baltimore, Maryland, USA, November
13-15, 2013},
series = {Procedia Computer Science},
volume = {20},
pages = {277--282},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.procs.2013.09.273},
doi = {10.1016/J.PROCS.2013.09.273},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/complexsystems/GiammarcoA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ZhangLA0D12,
author = {Jiexin Zhang and
Yang Liu and
Mikhail Auguston and
Jun Sun and
Jin Song Dong},
editor = {Karl R. P. H. Leung and
Pornsiri Muenchaisri},
title = {Using Monterey Phoenix to Formalize and Verify System Architectures},
booktitle = {19th Asia-Pacific Software Engineering Conference, {APSEC} 2012, Hong
Kong, China, December 4-7, 2012},
pages = {644--653},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/APSEC.2012.60},
doi = {10.1109/APSEC.2012.60},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsec/ZhangLA0D12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/ZhangLA10,
author = {Xian Zhang and
Yang Liu and
Mikhail Auguston},
title = {Modeling and Analyzing Timed Security Protocols Using Extended Timed
{CSP}},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010},
pages = {217--226},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI.2010.29},
doi = {10.1109/SSIRI.2010.29},
timestamp = {Wed, 24 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssiri/ZhangLA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Auguston09,
author = {Mikhail Auguston},
title = {Software architecture built from behavior models},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {34},
number = {5},
pages = {1--15},
year = {2009},
url = {https://doi.org/10.1145/1598732.1598733},
doi = {10.1145/1598732.1598733},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Auguston09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Auguston09,
author = {Mikhail Auguston},
editor = {Shail Arora and
Gary T. Leavens},
title = {Monterey Phoenix, or how to make software architecture executable},
booktitle = {Companion to the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
October 25-29, 2009, Orlando, Florida, {USA}},
pages = {1031--1040},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1639950.1640075},
doi = {10.1145/1639950.1640075},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Auguston09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/Auguston08,
author = {Mikhail Auguston},
title = {Guest Editor's Introduction to the Special Section on the 2nd Workshop
on Advances in Model-based Software Testing (A-MOST'06)},
journal = {Softw. Qual. J.},
volume = {16},
number = {2},
pages = {159--160},
year = {2008},
url = {https://doi.org/10.1007/s11219-007-9043-2},
doi = {10.1007/S11219-007-9043-2},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/Auguston08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AugustonT08,
author = {Mikhail Auguston and
Mark B. Trakhtenbrot},
editor = {Arnon Avron and
Nachum Dershowitz and
Alexander Rabinovich},
title = {Synthesis of Monitors for Real-Time Analysis of Reactive Systems},
booktitle = {Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot
on the Occasion of His 85th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4800},
pages = {72--86},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78127-1\_5},
doi = {10.1007/978-3-540-78127-1\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AugustonT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ShafferAIL08,
author = {Alan B. Shaffer and
Mikhail Auguston and
Cynthia E. Irvine and
Timothy E. Levin},
editor = {Jon Whittle and
Jan J{\"{u}}rjens and
Bashar Nuseibeh and
Glen Dobson},
title = {A Security Domain Model for Implementing Trusted Subject Behaviors},
booktitle = {Proceedings of the Workshop on Modeling Security {(} {MODSEC08} {)}
held as part of the 2008 International Conference on Model Driven
Engineering Languages and Systems {(} {MODELS} {)} Toulouse, France,
September 28, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {413},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-413/paper03.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/ShafferAIL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ShafferAIL08,
author = {Alan B. Shaffer and
Mikhail Auguston and
Cynthia E. Irvine and
Timothy E. Levin},
editor = {{\'{U}}lfar Erlingsson and
Marco Pistoia},
title = {A security domain model to assess software for exploitable covert
channels},
booktitle = {Proceedings of the 2008 Workshop on Programming Languages and Analysis
for Security, {PLAS} 2008, Tucson, AZ, USA, June 8, 2008},
pages = {45--56},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375696.1375703},
doi = {10.1145/1375696.1375703},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ShafferAIL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/OtaniACDMS07,
author = {Thomas W. Otani and
Mikhail Auguston and
Thomas S. Cook and
Doron Drusinsky and
James Bret Michael and
Man{-}tak Shing},
editor = {Gregory Bollella},
title = {A design pattern for using non-developmental items in real-time Java},
booktitle = {Proceedings of the 5th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2007, Institute of Computer
Engineering, Vienna University of Technology, 26-28 September 2007,
Vienna, Austria},
series = {{ACM} International Conference Proceeding Series},
pages = {135--143},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1288940.1288961},
doi = {10.1145/1288940.1288961},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/OtaniACDMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/AugustonMS06,
author = {Mikhail Auguston and
James Bret Michael and
Man{-}tak Shing},
title = {Environment behavior models for automation of testing and assessment
of system safety},
journal = {Inf. Softw. Technol.},
volume = {48},
number = {10},
pages = {971--980},
year = {2006},
url = {https://doi.org/10.1016/j.infsof.2006.03.005},
doi = {10.1016/J.INFSOF.2006.03.005},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/AugustonMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LiuBGRTOA06,
author = {Shih{-}Hsi Liu and
Barrett R. Bryant and
Jeffrey G. Gray and
Rajeev R. Raje and
Mihran Tuceryan and
Andrew M. Olson and
Mikhail Auguston},
editor = {Kang Zhang and
George Spanoudakis and
Giuseppe Visaggio},
title = {QoSPL: {A} QoS-Driven Software Product Line Engineering Framework
for Distributed Real-time and Embedded Systems},
booktitle = {Proceedings of the Eighteenth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2006), San Francisco,
CA, USA, July 5-7, 2006},
pages = {724--729},
year = {2006},
timestamp = {Thu, 15 Aug 2024 07:54:35 +0200},
biburl = {https://dblp.org/rec/conf/seke/LiuBGRTOA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/TummalaAMSLP06,
author = {Harsha Tummala and
Mikhail Auguston and
James Bret Michael and
Man{-}tak Shing and
David Little and
Zachary Pace},
title = {Implementation and analysis of environment behavior models as a tool
for testing real-time, reactive systems},
booktitle = {1st {IEEE/SMC} International Conference on System of Systems Engineering,
SoSE 2006, Los Angeles, CA, USA, 24-26 April 2006},
pages = {1--5},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SYSOSE.2006.1652306},
doi = {10.1109/SYSOSE.2006.1652306},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sysose/TummalaAMSLP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CaoBROAZB05,
author = {Fei Cao and
Barrett R. Bryant and
Rajeev R. Raje and
Andrew M. Olson and
Mikhail Auguston and
Wei Zhao and
Carol C. Burt},
title = {A Non-Invasive Approach to Assertive and Autonomous Dynamic Component
Composition in the Service-Oriented Paradigm},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {10},
pages = {1645--1675},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-10-1645},
doi = {10.3217/JUCS-011-10-1645},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/CaoBROAZB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/AugustonMS05,
author = {Mikhail Auguston and
James Bret Michael and
Man{-}tak Shing},
title = {Environment behavior models for scenario generation and testing automation},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {30},
number = {4},
pages = {1--6},
year = {2005},
url = {https://doi.org/10.1145/1082983.1083284},
doi = {10.1145/1082983.1083284},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/AugustonMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amost/AugustonMS05,
author = {Mikhail Auguston and
James Bret Michael and
Man{-}tak Shing},
title = {Environment behavior models for scenario generation and testing automation},
booktitle = {Proceedings of the {ICSE} 2005 Workshop on Advances in Model-Based
Software Testing, {A-MOST} 2005, St. Louis, Missouri, {USA}},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1083274.1083284},
doi = {10.1145/1083274.1083284},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amost/AugustonMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/LiuBGROA05,
author = {Shih{-}Hsi Liu and
Barrett R. Bryant and
Jeffrey G. Gray and
Rajeev R. Raje and
Andrew M. Olson and
Mikhail Auguston},
title = {QoS-UniFrame: {A} Petri Net-Based Modeling Approach to Assure QoS
Requirements of Distributed Real-Time and Embedded Systems},
booktitle = {12th {IEEE} International Conference on the Engineering of Computer-Based
Systems {(ECBS} 2005), 4-7 April 2005, Greenbelt, MD, {USA}},
pages = {202--209},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ECBS.2005.57},
doi = {10.1109/ECBS.2005.57},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/LiuBGROA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/LiuBAGRT05,
author = {Shih{-}Hsi Liu and
Barrett R. Bryant and
Mikhail Auguston and
Jeff Gray and
Rajeev R. Raje and
Mihran Tuceryan},
editor = {Fabrice Kordon and
Janos Sztipanovits},
title = {A Component-Based Approach for Constructing High-Confidence Distributed
Real-Time and Embedded Systems},
booktitle = {Reliable Systems on Unreliable Networked Platforms - 12th Monterey
Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4322},
pages = {225--247},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-71156-8\_12},
doi = {10.1007/978-3-540-71156-8\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/monterey/LiuBAGRT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/AugustonMS05,
author = {Mikhail Auguston and
James Bret Michael and
Man{-}tak Shing},
title = {Test Automation and Safety Assessment in Rapid Systems Prototyping},
booktitle = {16th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
2005), 8-10 June 2005, Montreal, Canada},
pages = {188--194},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/RSP.2005.49},
doi = {10.1109/RSP.2005.49},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/AugustonMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LiuBGROA05,
author = {Shih{-}Hsi Liu and
Barrett R. Bryant and
Jeffrey G. Gray and
Rajeev R. Raje and
Andrew M. Olson and
Mikhail Auguston},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {Two-level assurance of QoS requirements for distributed real-time
and embedded systems},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {903--904},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1066884},
doi = {10.1145/1066677.1066884},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/LiuBGROA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CaoBZBROA05,
author = {Fei Cao and
Barrett R. Bryant and
Wei Zhao and
Carol C. Burt and
Rajeev R. Raje and
Andrew M. Olson and
Mikhail Auguston},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {Marshaling and unmarshaling models using the entity-relationship model},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {1553--1557},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1067025},
doi = {10.1145/1066677.1067025},
timestamp = {Wed, 08 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/CaoBZBROA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LiuCBGROA05,
author = {Shih{-}Hsi Liu and
Fei Cao and
Barrett R. Bryant and
Jeffrey G. Gray and
Rajeev R. Raje and
Andrew M. Olson and
Mikhail Auguston},
editor = {William C. Chu and
Natalia Juristo Juzgado and
W. Eric Wong},
title = {Quality of Service-Driven Requirements Analysis for Component Composition:
{A} Two-Level Grammar+Approach},
booktitle = {Proceedings of the 17th International Conference on Software Engineering
and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of
China, July 14-16, 2005},
pages = {731--734},
year = {2005},
timestamp = {Thu, 12 Mar 2020 11:30:49 +0100},
biburl = {https://dblp.org/rec/conf/seke/LiuCBGROA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/AugustonMSF05,
author = {Mikhail Auguston and
James Bret Michael and
Man{-}tak Shing and
David L. Floodeen},
title = {Using attributed event grammar environment models for automated test
generation and software risk assessment of system-of-systems},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, Waikoloa, Hawaii, USA, October 10-12, 2005},
pages = {1870--1875},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/ICSMC.2005.1571419},
doi = {10.1109/ICSMC.2005.1571419},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/AugustonMSF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/YangBBROA04,
author = {Chunmin Yang and
Barrett R. Bryant and
Carol C. Burt and
Rajeev R. Raje and
Andrew M. Olson and
Mikhail Auguston},
title = {Formal Methods for Quality of Service Analysis in Component-Based
Distributed Computing},
journal = {Trans. {SDPS}},
volume = {8},
number = {2},
pages = {137--149},
year = {2004},
url = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid8-2-11},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jid/YangBBROA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/ZhaoBBROA04,
author = {Wei Zhao and
Barrett R. Bryant and
Carol C. Burt and
Rajeev R. Raje and
Andrew M. Olson and
Mikhail Auguston},
title = {Automated Glue/Wrapper Code Generation in Integration of Distributed
and Heterogeneous Software Components},
booktitle = {8th International Enterprise Distributed Object Computing Conference
{(EDOC} 2004), 20-24 September 2004, Monterey, California, USA, Proceedings},
pages = {275--285},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/EDOC.2004.10023},
doi = {10.1109/EDOC.2004.10023},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/ZhaoBBROA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/CaoBZBROA04,
author = {Fei Cao and
Barrett R. Bryant and
Wei Zhao and
Carol C. Burt and
Rajeev R. Raje and
Andrew M. Olson and
Mikhail Auguston},
title = {A Meta-Modeling Approach to Web Services},
booktitle = {Proceedings of the {IEEE} International Conference on Web Services
(ICWS'04), June 6-9, 2004, San Diego, California, {USA}},
pages = {796--799},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICWS.2004.1314824},
doi = {10.1109/ICWS.2004.1314824},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/CaoBZBROA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ZhaoBCRABO04,
author = {Wei Zhao and
Barrett R. Bryant and
Fei Cao and
Rajeev R. Raje and
Mikhail Auguston and
Carol C. Burt and
Andrew M. Olson},
editor = {Frank Maurer and
G{\"{u}}nther Ruhe},
title = {Grammatically Interpreting Feature Compositions},
booktitle = {Proceedings of the Sixteenth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2004), Banff, Alberta,
Canada, June 20-24, 2004},
pages = {185--191},
year = {2004},
timestamp = {Thu, 12 Mar 2020 11:30:50 +0100},
biburl = {https://dblp.org/rec/conf/seke/ZhaoBCRABO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CaoBBROA05,
author = {Fei Cao and
Barrett R. Bryant and
Carol C. Burt and
Rajeev R. Raje and
Andrew M. Olson and
Mikhail Auguston},
editor = {Uwe A{\ss}mann},
title = {A Component Assembly Approach Based On Aspect-Oriented Generative
Domain Modeling},
booktitle = {Proceedings of the Software Composition Workshop, {SC} 2004, Barcelona,
Spain, April 3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {114},
pages = {119--136},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.070},
doi = {10.1016/J.ENTCS.2004.02.070},
timestamp = {Thu, 08 Dec 2022 10:37:32 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CaoBBROA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/BurtBROA03,
author = {Carol C. Burt and
Barrett R. Bryant and
Rajeev R. Raje and
Andrew M. Olson and
Mikhail Auguston},
title = {Model Driven Security: Unification of Authorization Models for Fine-Grain
Access Control},
booktitle = {7th International Enterprise Distributed Object Computing Conference
{(EDOC} 2003), 16-19 September 2003, Brisbane, Australia, Proceedings},
pages = {159--173},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/EDOC.2003.1233846},
doi = {10.1109/EDOC.2003.1233846},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/BurtBROA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sec/MichaelFA03,
author = {James Bret Michael and
Georgios Fragkos and
Mikhail Auguston},
editor = {Dimitris Gritzalis and
Sabrina De Capitani di Vimercati and
Pierangela Samarati and
Sokratis K. Katsikas},
title = {An Experiment in Software Decoy Design},
booktitle = {Security and Privacy in the Age of Uncertainty, {IFIP} {TC11} 18\({}^{\mbox{th}}\)
International Conference on Information Security (SEC2003), May 26-28,
2003, Athens, Greece},
series = {{IFIP} Conference Proceedings},
volume = {250},
pages = {253--264},
publisher = {Kluwer},
year = {2003},
timestamp = {Thu, 11 Mar 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sec/MichaelFA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/CaoBBHROA03,
author = {Fei Cao and
Barrett R. Bryant and
Carol C. Burt and
Zhisheng Huang and
Rajeev R. Raje and
Andrew M. Olson and
Mikhail Auguston},
editor = {Ban Al{-}Ani and
Hamid R. Arabnia and
Youngsong Mun},
title = {Automating Feature-Oriented Domain Analysis},
booktitle = {Proceedings of the International Conference on Software Engineering
Research and Practice, {SERP} '03, June 23 - 26, 2003, Las Vegas,
Nevada, USA, Volume 2},
pages = {944--949},
publisher = {{CSREA} Press},
year = {2003},
timestamp = {Tue, 14 Oct 2003 13:56:57 +0200},
biburl = {https://dblp.org/rec/conf/serp/CaoBBHROA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0310025,
author = {Mikhail Auguston and
Clinton Jeffery and
Scott Underwood},
title = {A Monitoring Language for Run Time and Post-Mortem Behavior Analysis
and Visualization},
journal = {CoRR},
volume = {cs.SE/0310025},
year = {2003},
url = {http://arxiv.org/abs/cs/0310025},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-SE-0310025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/RajeBOAB02,
author = {Rajeev R. Raje and
Barrett R. Bryant and
Andrew M. Olson and
Mikhail Auguston and
Carol C. Burt},
title = {A quality-of-service-based framework for creating distributed heterogeneous
software components},
journal = {Concurr. Comput. Pract. Exp.},
volume = {14},
number = {12},
pages = {1009--1034},
year = {2002},
url = {https://doi.org/10.1002/cpe.707},
doi = {10.1002/CPE.707},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/RajeBOAB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edo/SiramROBBA02,
author = {Nanditha N. Siram and
Rajeev R. Raje and
Andrew M. Olson and
Barrett R. Bryant and
Carol C. Burt and
Mikhail Auguston},
editor = {Alberto Coen{-}Porisini and
Andr{\'{e}} van der Hoek},
title = {An Architecture for the UniFrame Resource Discovery Service},
booktitle = {Software Engineering and Middleware, Third International Workshop,
{SEM} 2002. Orlando, FL, USA, May 20-21, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2596},
pages = {20--35},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-38093-0\_2},
doi = {10.1007/3-540-38093-0\_2},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/edo/SiramROBBA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/BurtBROA02,
author = {Carol C. Burt and
Barrett R. Bryant and
Rajeev R. Raje and
Andrew M. Olson and
Mikhail Auguston},
title = {Quality of Service Issues Related to Transforming Platform Independent
Models to Platform Specific Models},
booktitle = {6th International Enterprise Distributed Object Computing Conference
{(EDOC} 2002), 17-20 September 2002, Lausanne, Switzerland, Proceedings},
pages = {212},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/EDOC.2002.1137710},
doi = {10.1109/EDOC.2002.1137710},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/BurtBROA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/CaoBRAOB02,
author = {Fei Cao and
Barrett R. Bryant and
Rajeev R. Raje and
Mikhail Auguston and
Andrew M. Olson and
Carol C. Burt},
editor = {Chris George and
Huaikou Miao},
title = {Component Specification and Wrapper/Glue Code Generation with Two-Level
Grammar Using Domain Specific Knowledge},
booktitle = {Formal Methods and Software Engineering, 4th International Conference
on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October
21-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2495},
pages = {103--107},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36103-0\_13},
doi = {10.1007/3-540-36103-0\_13},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/CaoBRAOB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AugustonJU02,
author = {Mikhail Auguston and
Clinton Jeffery and
Scott Underwood},
title = {A Framework for Automatic Debugging},
booktitle = {17th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2002), 23-27 September 2002, Edinburgh, Scotland, {UK}},
pages = {217--222},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ASE.2002.1115015},
doi = {10.1109/ASE.2002.1115015},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AugustonJU02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CaoBZBRAO02,
author = {Fei Cao and
Barrett R. Bryant and
Wei Zhao and
Carol C. Burt and
Rajeev R. Raje and
Mikhail Auguston and
Andrew M. Olson},
editor = {Mamdouh Ibrahim},
title = {A translation approach to component specification},
booktitle = {Companion of the 17th annual {ACM} {SIGPLAN} conference on Object-oriented
programming, systems, languages, and applications, {OOPSLA} 2002,
Seattle, Washington, USA, November 4-8, 2002},
pages = {54--55},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/985072.985101},
doi = {10.1145/985072.985101},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/CaoBZBRAO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rissef/JefferyAU02,
author = {Clinton Jeffery and
Mikhail Auguston and
Scott Underwood},
editor = {Martin Wirsing and
Alexander Knapp and
Simonetta Balsamo},
title = {Towards Fully Automatic Execution Monitoring},
booktitle = {Radical Innovations of Software and Systems Engineering in the Future,
9th International Workshop, {RISSEF} 2002, Venice, Italy, October
7-11, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2941},
pages = {204--218},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24626-8\_14},
doi = {10.1007/978-3-540-24626-8\_14},
timestamp = {Sun, 02 Jun 2019 21:24:25 +0200},
biburl = {https://dblp.org/rec/conf/rissef/JefferyAU02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BryantBARO02,
author = {Barrett R. Bryant and
Carol C. Burt and
Mikhail Auguston and
Rajeev R. Raje and
Andrew M. Olson},
title = {Formal specification of generative component assembly using two-level
grammar},
booktitle = {Proceedings of the 14th international conference on Software engineering
and knowledge engineering, {SEKE} 2002, Ischia, Italy, July 15-19,
2002},
pages = {209--212},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/568760.568796},
doi = {10.1145/568760.568796},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/BryantBARO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/LuqiBGSABK01,
author = {Luqi and
Valdis Berzins and
Jun Ge and
Man{-}tak Shing and
Mikhail Auguston and
Barrett R. Bryant and
Boon Kwang Kin},
title = {{DCAPS} - Architecture for Distributed Computer Aided Prototyping
System},
booktitle = {12th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
2001), 25-27 June 2001, Monterey, CA, {USA}},
pages = {103--109},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/IWRSP.2001.933846},
doi = {10.1109/IWRSP.2001.933846},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/LuqiBGSABK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Auguston00,
author = {Mikhail Auguston},
editor = {Mireille Ducass{\'{e}}},
title = {Assertion checker for the {C} programming language based on computations
over event traces},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0101007},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/Auguston00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/AugustonH97,
author = {Mikhail Auguston and
Miu Har Hon},
editor = {Mariam Kamkar},
title = {Assertions for Dynamic Shape Analysis of List Data Structures},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
pages = {37--42},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&\#38;article=004},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/AugustonH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/AugustonD97,
author = {Mikhail Auguston and
Alfredo Delgado},
title = {Iterative Constructs in the Visual Data Flow Language},
booktitle = {Proceedings 1997 {IEEE} Symposium on Visual Languages, Isle of Capri,
Italy, September 23-26, 1997},
pages = {154--161},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/VL.1997.626573},
doi = {10.1109/VL.1997.626573},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/AugustonD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/AugustonF96,
author = {Mikhail Auguston and
Peter Fritzson},
title = {Parforman - an Assertion Language for Specifying Behavior when Debugging
Parallel Applications},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {6},
number = {4},
pages = {609--640},
year = {1996},
url = {https://doi.org/10.1142/S0218194096000259},
doi = {10.1142/S0218194096000259},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/AugustonF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Auguston95,
author = {Mikhail Auguston},
editor = {Mireille Ducass{\'{e}}},
title = {Program Behavior Model Based on Event Grammar and its Application
for Debugging Automation},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {277--291},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/Auguston95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/AugustonBMNRSS95,
author = {Mikhail Auguston and
Subhankar Banerjee and
Manish Mamnani and
Ghulam Nabi and
Juris Reinfelds and
Ugis Sarkans and
Ivan Strnad},
editor = {Mireille Ducass{\'{e}}},
title = {{AUI} - the Debugger and Assertion Checker for the Awk Programming
Language},
booktitle = {Proceedings of the Second International Workshop on Automated Debugging,
{AADEBUG} 1995, Saint Malo, France, May 22-24, 1995},
pages = {309--310},
publisher = {{IRISA-CNRS}},
year = {1995},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/AugustonBMNRSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Auguston95,
author = {Mikhail Auguston},
title = {Programming language {RIGAL} as a compiler writing tool},
booktitle = {SEKE'95, The 7th International Conference on Software Engineering
and Knowledge Engineering, June 22-24, 1995, Rockville, Maryland,
USA, Proceedings},
pages = {500},
publisher = {Knowledge Systems Institute},
year = {1995},
timestamp = {Wed, 31 Jan 2007 12:10:53 +0100},
biburl = {https://dblp.org/rec/conf/seke/Auguston95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/FritzsonAS94,
author = {Peter Fritzson and
Mikhail Auguston and
Nahid Shahmehri},
title = {Using assertions in declarative and operational models for automated
debugging},
journal = {J. Syst. Softw.},
volume = {25},
number = {3},
pages = {223--239},
year = {1994},
url = {https://doi.org/10.1016/0164-1212(94)90032-9},
doi = {10.1016/0164-1212(94)90032-9},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/FritzsonAS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Auguston94,
author = {Mikhail Auguston},
title = {A language for debugging automation},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {108--115},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Mon, 05 Oct 2020 12:53:08 +0200},
biburl = {https://dblp.org/rec/conf/seke/Auguston94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/AugustonF93,
author = {Mikhail Auguston and
Peter Fritzson},
title = {PARFORMAN-an assertion language for specifying behaviour when debugging
parallel applications},
booktitle = {1993 Euromicro Workshop on Parallel and Distributed Processing, {PDP}
1993, Gran Canaria, Spain, 27-29 January 1993},
pages = {150--157},
publisher = {{IEEE}},
year = {1993},
url = {https://doi.org/10.1109/EMPDP.1993.336408},
doi = {10.1109/EMPDP.1993.336408},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/pdp/AugustonF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/balt/Auguston91,
author = {Mikhail Auguston},
editor = {Janis Barzdins and
Dines Bj{\o}rner},
title = {{RIGAL} - a Programming Language for Compiler Writing},
booktitle = {Baltic Computer Science, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {502},
pages = {529--564},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0019367},
doi = {10.1007/BFB0019367},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/balt/Auguston91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Auguston90,
author = {Mikhail Auguston},
title = {Programming language {RIGAL} as a compiler writing tool},
journal = {{ACM} {SIGPLAN} Notices},
volume = {25},
number = {12},
pages = {61--69},
year = {1990},
url = {https://doi.org/10.1145/122193.122198},
doi = {10.1145/122193.122198},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Auguston90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Auguston78,
author = {Mikhail Auguston},
editor = {J{\'{o}}zef Winkowski},
title = {Writing and Verifying Sequential Files Updating Programs},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {102--111},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_59},
doi = {10.1007/3-540-08921-7\_59},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Auguston78.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-07-25 20:22 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:
