Search results for "Larch"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
156	Jeannette M. Wing	Writing Larch Interface Language Specifications.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF	Larch
126	Stephen J. Garland, John V. Guttag, James J. Horning	Debugging Larch Shared Language Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Larch shared language specifications, checkability, Larch power, theory containment, design, formal specification, parallel programming, debugging, consistency, development, inference mechanisms, program debugging, static semantics, concurrent algorithms
104	Gary Feldman, Joseph Wild	The DECspec Project: Tools for Larch/C.	Larch	1992	DBLP BibTeX RDF
104	Yang Meng Tan	Semantic analysis of Larch Interface Specifications.	Larch	1992	DBLP BibTeX RDF
104	Frédéric Voisin	A New Front-End for the Larch Prover.	Larch	1992	DBLP BibTeX RDF
104	Kevin D. Jones	A Semantics for a Larch/Modula-3 Interface Language.	Larch	1992	DBLP BibTeX RDF
104	Gary T. Leavens, Yoonsik Cheon	Preliminary Design of Larch/C++.	Larch	1992	DBLP BibTeX RDF
104	Jeannette M. Wing, Eugene J. Rollins, Amy Moormann Zaremski	Thoughts on a Larch/ML and a New Application for LP.	Larch	1992	DBLP BibTeX RDF
90	Jeannette M. Wing, Amy Moormann Zaremski	Unintrusive Ways to Integrate Formal Specifications in Practice.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
84	Boutheina Chetali	Formal Verification of Concurrent Programs Using the Larch Prover.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	theorem prover methodology, Larch prover, computer-checked proof, Formal verification, communication protocol, protocol verification, UNITY
79	Ursula Martin, Jeannette M. Wing (eds.)	First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992	Larch	1993	DBLP BibTeX RDF
79	Michel Bidoit, Rolf Hennicker	How to Prove Observational Theorems with LP.	Larch	1992	DBLP BibTeX RDF
79	Christine Choppy, Michel Bidoit	Integrating ASSPEGIQUE and LP.	Larch	1992	DBLP BibTeX RDF
79	Niels Mellergaard, Jørgen Staunstrup	Generating Proof Obligations for Circuits.	Larch	1992	DBLP BibTeX RDF
79	John W. Baugh Jr.	Is Engineering Software Amenable to Formal Specification?	Larch	1992	DBLP BibTeX RDF
79	Boutheina Chetali, Pierre Lescanne	An Exercise in LP: The Proof of a Non Restoring Division Circuit.	Larch	1992	DBLP BibTeX RDF
79	James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland	Using Transformations and Verification in Circuit Design.	Larch	1992	DBLP BibTeX RDF
79	Urban Engberg, Peter Grønning, Leslie Lamport	Mechanical Verification of Concurrent Systems with TLA.	Larch	1992	DBLP BibTeX RDF
79	Mark T. Vandevoorde	Optimizing Programs with Partial Specifications.	Larch	1992	DBLP BibTeX RDF
79	David Guaspari, Carla Marceau, Wolfgang Polak	Formal Verification of Ada Programs.	Larch	1992	DBLP BibTeX RDF
79	Karl-Heinz Buth	Using SOS Definitions in Term Rewriting Proofs.	Larch	1992	DBLP BibTeX RDF
79	E. A. Scott, K. J. Norrie	Using LP to Study the Language PL+0.	Larch	1992	DBLP BibTeX RDF
72	Yoonsik Cheon, Gary T. Leavens	The Larch/Smalltalk Interface Specification Language.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	Larch/Smalltalk, specification inheritance, verification, formal methods, Smalltalk, Smalltalk, subtype, interface specification, Larch
66	Jeannette M. Wing	Using Larch to Specify Avalon/C++ Objects.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Avalon/C++ objects, subatomic, nonfunctional properties, complex properties, formal specification, formal specification, atomic, recoverable, Larch
60	Phillip Baraona, Perry Alexander	Representing abstract architectures with axiomatic specifications and activation conditions.	ECBS	1997	DBLP DOI BibTeX RDF	abstract architectures representation, activation conditions, VSPEC, Larch interface language, axiomatic style, formal specification, VHDL, formal semantics, formal analysis, axiomatic specifications
49	Guilin Xi, Xiaojun Huang, Yaowen Xie, Gang Bao, Yuhai Bao, Ganbat Dashzebeg, Tsagaantsooj Nanzad, Altanchimeg Dorjsuren, Davaadorj Enkhnasan, Mungunkhuyag Ariunaa	Detection of Larch Forest Stress from Jas's Larch Inchworm (Erannis jacobsoni Djak) Attack Using Hyperspectral Remote Sensing.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
49	Martin Dunstan	Larch/Aldor: a Larch BISL for AXIOM and Aldor.		2000	RDF
49	John V. Guttag, James J. Horning	A Tutorial on LARCH and LCL, A LARCH/C Interface Language.	VDM Europe (2)	1991	DBLP DOI BibTeX RDF
44	Stephan Dreiseitl, Andreas Vieider, Christoph Larch	Using Smart Grid Data to Predict Next-Day Energy Consumption and Photovoltaic Production.	EUROCAST	2015	DBLP DOI BibTeX RDF
44	Mario Larch, Janette F. Walde	Lag or Error? - Detecting the Nature of Spatial Correlation.	GfKl	2007	DBLP DOI BibTeX RDF
44	David E. Larch	Improving the performance of genetic algorithms for terrain categorization of multispectral images.	Electronic Imaging: Nonlinear Image Processing	1996	DBLP DOI BibTeX RDF
42	Frédéric Voisin	A new Proof-Manager and Graphic Interface for the Larch Prover.	TAPSOFT	1997	DBLP DOI BibTeX RDF
42	Patrice Chalin, Peter Grogono, Thiruvengadam Radhakrishnan	Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language.	FME	1996	DBLP DOI BibTeX RDF
42	Mark T. Vandevoorde, Deepak Kapur	Distributed Larch Prover (DLP): An Experiment in Parallelizing a Rewrite-Rule Based Prover.	RTA	1996	DBLP DOI BibTeX RDF
42	Frédéric Voisin	A New Proof Manager and Graphic Interface for Larch Prover.	RTA	1996	DBLP DOI BibTeX RDF
42	Jeannette M. Wing	Specifying Avalon Objects in Larch.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
42	James J. Horning	Combining Algebraic and Predicative Specifications in Larch.	TAPSOFT, Vol.2	1985	DBLP DOI BibTeX RDF
42	Perry Alexander, Murali Rangarajan, Phillip Baraona	A Brief Summary of VSPEC.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF	VHDL, languages, systems level design, notations, Larch
42	Debra J. Richardson, T. Owen O'Malley, C. Tittle	Approaches to Specification-Based Testing.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF	ANNA, Larch
36	Ali Hamie	Enhancing the Object Constraint Language for More Expressive Specifications.	APSEC	1999	DBLP DOI BibTeX RDF	modeling, UML, specification, constraints, OCL
36	Gary T. Leavens, Jeannette M. Wing	Protective Interface Specifications.	TAPSOFT	1997	DBLP DOI BibTeX RDF
36	Balakrishnan Kannikeswaran, Radharamanan Radhakrishnan, Peter Frey, Perry Alexander, Philip A. Wilsey	Formal Specification and Verification of the pGVT Algorithm.	FME	1996	DBLP DOI BibTeX RDF
36	David Guaspari, Carla Marceau, Wolfgang Polak	Formal Verification of Ada Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Penelope verification editor, formal basis, interactive development, logical soundness, interface languages, software engineering, Ada, program verification, correctness proof, prototype system, predicate transformers, Ada programs
24	Xin Liu, Xinyang Zou, Yuanshuo Hao, Lihu Dong	A Comprehensive Comparison of Individual Tree Crown Delineation of Plantations Using UAV-LiDAR Data: A Case Study for Larch (Larix Olgensis) Forests in Northeast China.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2024	DBLP DOI BibTeX RDF
24	Shuo Yang, Jingbin Li, Yang Li, Jing Nie, Yujie Qiao, Sezai Ercisli	Fuzzy EfficientDet: An Approach for Precise Detection of Larch Infestation Severity in UAV Imagery Under Dynamic Environmental Conditions.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2024	DBLP DOI BibTeX RDF
24	Tao Yu, Yong Pang, Xiaojun Liang, Wen Jia, Yu Bai, Yilin Fan, Dongsheng Chen, Xianzhao Liu, Guang Deng, Chonggui Li, Xiangnan Sun, Zhidong Zhang, Weiwei Jia, Zhonghua Zhao, Xiao Wang	China's larch stock volume estimation using Sentinel-2 and LiDAR data.	Geo spatial Inf. Sci.	2023	DBLP DOI BibTeX RDF
24	Yuta Koreeda, Terufumi Morishita, Osamu Imaichi, Yasuhiro Sogawa	LARCH: Large Language Model-based Automatic Readme Creation with Heuristics.	CoRR	2023	DBLP DOI BibTeX RDF
24	Emma Dauterman, Danny Lin, Henry Corrigan-Gibbs, David Mazières	Accountable authentication with privacy protection: The Larch system for universal login.	CoRR	2023	DBLP DOI BibTeX RDF
24	Jeyavanan Karthigesu, Toshiaki Owari, Satoshi Tsuyuki, Takuya Hiroshima	UAV Photogrammetry for Estimating Stand Parameters of an Old Japanese Larch Plantation Using Different Filtering Methods at Two Flight Altitudes.	Sensors	2023	DBLP DOI BibTeX RDF
24	Yuta Koreeda, Terufumi Morishita, Osamu Imaichi, Yasuhiro Sogawa	LARCH: Large Language Model-based Automatic Readme Creation with Heuristics.	CIKM	2023	DBLP DOI BibTeX RDF
24	Emma Dauterman, Danny Lin, Henry Corrigan-Gibbs, David Mazières	Accountable authentication with privacy protection: The Larch system for universal login.	OSDI	2023	DBLP BibTeX RDF
24	Man Wang, Jungho Im, Yinghui Zhao, Zhen Zhen	Multi-Platform LiDAR for Non-Destructive Individual Aboveground Biomass Estimation for Changbai Larch (Larix olgensis Henry) Using a Hierarchical Bayesian Approach.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
24	Yusen Sun, Xingji Jin, Timo Pukkala, Fengri Li	Predicting Individual Tree Diameter of Larch (Larix olgensis) from UAV-LiDAR Data Using Six Different Algorithms.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
24	Xiaohua Ren, Changcheng Xiang, Yi Yang	Dynamic Analysis of a Discrete-Time Plant Quality and Larch Budmoth Interaction Model Under Random Perturbations.	Int. J. Bifurc. Chaos	2022	DBLP DOI BibTeX RDF
24	Wei Wang	Optimization of Larch Timbering Cross Section Based on Finite Element.	EAI Endorsed Trans. Scalable Inf. Syst.	2022	DBLP DOI BibTeX RDF
24	Clement J. F. Delcourt, Alisha Combee, Brian Izbicki, Michelle C. Mack, Trofim Maximov, Roman Petrov, Brendan M. Rogers, Rebecca C. Scholten, Tatiana A. Shestakova, Dave van Wees, Sander Veraverbeke	Evaluating the Differenced Normalized Burn Ratio for Assessing Fire Severity Using Sentinel-2 Imagery in Northeast Siberian Larch Forests.	Remote. Sens.	2021	DBLP DOI BibTeX RDF
24	Aleksandra Volokitina, Andrey Kalachev, Mikhail Korets, Tatiana Sofronova	Fire Behavior Prediction in Larch Forests of the Kazakhstan Altai.	Symmetry	2021	DBLP DOI BibTeX RDF
24	Xinyu Li, Zhaohua Liu, Hui Lin 0004, Guangxing Wang, Hua Sun 0002, Jiangping Long, Meng Zhang 0016	Estimating the Growing Stem Volume of Chinese Pine and Larch Plantations based on Fused Optical Data Using an Improved Variable Screening Method and Stacking Algorithm.	Remote. Sens.	2020	DBLP DOI BibTeX RDF
24	Zhenyu Ma, Yong Pang, Di Wang 0006, Xiaojun Liang, Bowei Chen 0002, Hao Lu 0004, Holger Weinacker, Barbara Koch	Individual Tree Crown Segmentation of a Larch Plantation Using Airborne Laser Scanning Data Based on Region Growing and Canopy Morphology Features.	Remote. Sens.	2020	DBLP DOI BibTeX RDF
24	Anna C. Talucci, Elena Forbath, Heather Kropp, Heather D. Alexander, Jennie DeMarco, Alison K. Paulson, Nikita S. Zimov, Sergei Zimov, Michael M. Loranty	Evaluating Post-Fire Vegetation Recovery in Cajander Larch Forests in Northeastern Siberia Using UAV Derived Vegetation Indices.	Remote. Sens.	2020	DBLP DOI BibTeX RDF
24	Guiying Li, Zhuli Xie, Xiandie Jiang, Dengsheng Lu, Erxue Chen	Integration of ZiYuan-3 Multispectral and Stereo Data for Modeling Aboveground Biomass of Larch Plantations in North China.	Remote. Sens.	2019	DBLP DOI BibTeX RDF
24	Eugeniya I. Bondar, Julia A. Putintseva, Nataliya V. Oreshkova, Konstantin V. Krutovsky	Siberian larch (Larix sibirica Ledeb.) chloroplast genome and development of polymorphic chloroplast markers.	BMC Bioinform.	2019	DBLP DOI BibTeX RDF
24	Dmitry A. Kuzmin, Sergey I. Feranchuk, Vadim V. Sharov, Alexander N. Cybin, Stepan V. Makolov, Julia A. Putintseva, Natalya V. Oreshkova, Konstantin V. Krutovsky	Stepwise large genome assembly approach: a case of Siberian larch (Larix sibirica Ledeb).	BMC Bioinform.	2019	DBLP DOI BibTeX RDF
24	Li Duan	Study on the mechanical properties of beam-column structure made of larch plywood.	J. Comput. Methods Sci. Eng.	2019	DBLP DOI BibTeX RDF
24	Michael M. Loranty, Sergey P. Davydov, Heather Kropp, Heather D. Alexander, Michelle C. Mack, Susan M. Natali, Nikita S. Zimov	Vegetation Indices Do Not Capture Forest Cover Variation in Upland Siberian Larch Forests.	Remote. Sens.	2018	DBLP DOI BibTeX RDF
24	Junjie Wang, Cuizhen Wang, Shuying Zang	Assessing Re-Composition of Xing'an Larch in Boreal Forests after the 1987 Fire, Northeast China.	Remote. Sens.	2017	DBLP DOI BibTeX RDF
24	Chloe Barnes, Heiko Balzter, Kirsten Barrett, James Eddy, Sam Milner, Juan C. Suárez	Individual Tree Crown Delineation from Airborne Laser Scanning for Diseased Larch Forest Stands.	Remote. Sens.	2017	DBLP DOI BibTeX RDF
24	Junjie Zhou, Guiyun Zhou, Youyou Li	Above-Ground biomass estimation of larch based on terrestrial laser scanning data.	IGARSS	2017	DBLP DOI BibTeX RDF
24	Michael G. Sadovsky, Yulia Putintseva, Vladislav Birukov, Serafima Novikova, Konstantin V. Krutovsky	De Novo Assembly and Cluster Analysis of Siberian Larch Transcriptome and Genome.	IWBBIO	2016	DBLP DOI BibTeX RDF
24	Tian Gao, Jiaojun Zhu, Xiao Zheng, Guiduo Shang, Liyan Huang, Shangrong Wu	Mapping Spatial Distribution of Larch Plantations from Multi-Seasonal Landsat-8 OLI Imagery and Multi-Scale Textures Using Random Forests.	Remote. Sens.	2015	DBLP DOI BibTeX RDF
24	Mamoru Kubo, S. Gavrilov, Ken-ichiro Muramoto, Naoto Kamata	Analysis of fisheye photography for monitoring canopy structure during larch sawfly outbreak.	IGARSS	2012	DBLP DOI BibTeX RDF
24	Agnieszka Jach, Piotr Kokoszka	Empirical wavelet analysis of tail and memory properties of LARCH and FIGARCH models.	Comput. Stat.	2010	DBLP DOI BibTeX RDF
24	Lei Wang, Huaguo Huang, Youqing Luo	Remote sensing of insect pests in larch forest based on physical model.	IGARSS	2010	DBLP DOI BibTeX RDF
24	Hideki Kobayashi, Rikie Suzuki, Shiho Kobayashi	The effect of reflectance from larch forest floor on the seasonal variations in MODIS-derived surface reflectance.	IGARSS	2005	DBLP DOI BibTeX RDF
24	Valery L. Mironov, Vladimir P. Yakubov, Eugene D. Telpukhovsky, Sergey N. Novik, Alexander A. Chukhlantsev	Spectral study of microwave attenuation in a larch forest stand for oblique wave incidence.	IGARSS	2005	DBLP DOI BibTeX RDF
24	Sergey A. Komarov, Vladimir N. Kleshchenko, V. V. Shcherbinin, Valery L. Mironov	Measurement and simulation of L-band emission for a larch forest stand.	IGARSS	2004	DBLP DOI BibTeX RDF
24	Vladimir P. Yakubov, E. D. Telpukhovskiy, Kamal Sarabandi, Valery L. Mironov, V. B. Kashkin	Attenuation and depolarization data measured for scattered field inside Larch canopy.	IGARSS	2003	DBLP DOI BibTeX RDF
24	Viatcheslav I. Kharuk, M. L. Dvinskaya, K. Jon Ranson	Fire cycling in the larch-dominated communities.	IGARSS	2003	DBLP DOI BibTeX RDF
24	Zhifeng Guo, Guoqing Sun, Zhongjun Zhang 0001	A three-dimensional radar backscatter model for larch forest using L-system.	IGARSS	2003	DBLP DOI BibTeX RDF
24	Pascal André, Annya Romanczuk, Jean-Claude Royer	Checking the Consistency of UML Class Diagrams Using Larch Prover.	Rigorous Object-Oriented Methods	2000	DBLP BibTeX RDF
24	Ahmed E. Barbour, Mike P. Nassif	Basic Concepts of Hardware Verification Using ORA Larch/VHDL.	PDPTA	1997	DBLP BibTeX RDF
24	Manfred Broy	Experiences with Software Specification and Verification Using LP, The Larch Proof Assistant.	Formal Methods Syst. Des.	1996	DBLP DOI BibTeX RDF
24	Frédéric Voisin	A New Proof-Manager and Graphic Interface for the Larch Prover.	AMAST	1996	DBLP DOI BibTeX RDF
24	James J. Horning	The Larch Shared Language: Some Open Problems.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
24	Yoonsik Cheon, Gary T. Leavens	A Quick Overview of Larch/C++.	J. Object Oriented Program.	1994	DBLP BibTeX RDF
24	Perry Alexander	Combining transformational and derivational analogy in Larch specification generation.	SEKE	1994	DBLP BibTeX RDF
24	William M. Waite	Book Review: Larch: Languages and Toole for Formal Specification by John V. Guttag and James J. Horning.	ACM SIGOPS Oper. Syst. Rev.	1993	DBLP BibTeX RDF
24	John V. Guttag, James J. Horning, Stephen J. Garland, Kevin D. Jones, A. Modet, Jeannette M. Wing	Larch: Languages and Tools for Formal Specification		1993	DOI RDF
24	Stephen J. Garland, John V. Guttag, James J. Horning	An Overview of Larch.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
24	Perry Alexander	BENTON: A Multi-Agent System for Larch Specification Generation.	SEKE	1993	DBLP BibTeX RDF
24	Jørgen Staunstrup, Stephen J. Garland, John V. Guttag	Mechanized Verification of Circuit Descriptions Using the Larch Prover.	TPCD	1992	DBLP BibTeX RDF
24	John V. Guttag	The Larch Approach to Specification (Abstract).	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
24	Jeannette M. Wing, Chun Gong	Experience with the Larch Prover.	Formal Methods in Software Development	1990	DBLP DOI BibTeX RDF
24	Stephen J. Garland, John V. Guttag	An Overview of LP, The Larch Power.	RTA	1989	DBLP DOI BibTeX RDF
24	Stephen J. Garland, John V. Guttag	LP: The Larch Prover.	CADE	1988	DBLP DOI BibTeX RDF
24	John V. Guttag, James J. Horning	Report on the Larch Shared Language.	Sci. Comput. Program.	1986	DBLP DOI BibTeX RDF
24	John V. Guttag, James J. Horning	A Larch Shared Language Handbook.	Sci. Comput. Program.	1986	DBLP DOI BibTeX RDF
24	John V. Guttag, James J. Horning, Jeannette M. Wing	The Larch Family of Specification Languages.	IEEE Softw.	1985	DBLP DOI BibTeX RDF
24	John V. Guttag, James J. Horning	An Introduction to the Larch Shared Language.	IFIP Congress	1983	DBLP BibTeX RDF
24	Jeannette M. Wing, John Ockerbloom	Respectful Type Converters.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Type converters, object repository, abstraction function, type evolution, semantics, interoperability, specifications, object-oriented design, subtype, distributed objects, Larch