Search results for "PLC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
98	Sang C. Park, Chang Mok Park, Gi-Nam Wang, Jonggeun Kwak, Sungjoo Yeo	PLCStudio: Simulation based PLC code verification.	WSC	2008	DBLP DOI BibTeX RDF
97	Christoffer Asgaard Rødbro, Manohar N. Murthi, Søren Vang Andersen, Søren Holdt Jensen	Hidden Markov model-based packet loss concealment for voice over IP.	IEEE Trans. Speech Audio Process.	2006	DBLP DOI BibTeX RDF
96	Devinder Thapa, Sang C. Park, Chang Mok Park, Gi-Nam Wang	Modeling, verification, and implementation of PLC program using timed-MPSG.	SCSC	2007	DBLP BibTeX RDF	modeling and verification (M&V), symbolic model verification (SMV), timed-MPSG (message based part state graph), programmable logic controller (PLC)
86	Zhenchao Wang, Shibing Zhang, Huiran Hou, Yutao Gan	Analysis of Kolmogorov Entropy Characteristic of L-PLC Channel.	ICNSC	2008	DBLP DOI BibTeX RDF
86	Jae Sang Cha, Myong-Chul Shin, Jong-Joo Lee	A Novel Interference-Cancelled Home Network PLC System Based on the Binary ZCD-CDMA.	ICIC (2)	2005	DBLP DOI BibTeX RDF
86	Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee	PLC-Based Safety Critical Software Development for Nuclear Power Plants.	SAFECOMP	2004	DBLP DOI BibTeX RDF
86	Mario Grabner, Gerhard Leonhartsberger, Alexander Leutgeb, Josef Altmann	Java in Industrial Automation - A Virtual PLC.	COMPSAC	2001	DBLP DOI BibTeX RDF
81	Flavio Bonfatti, Paola Daniela Monari, Gianni Gadda	Bridging structural and software design of PLC-based system families.	ICECCS	1995	DBLP DOI BibTeX RDF	PLC-based system families, product complexity, European Union funded projects, family-based product modelling technique, ESPRIT project 8224-RUMS, structural design phase, object-oriented PLC specification language, ESPRIT/ESSI project 10542-EASIER, software design phase, software engineering, formal specification, object-oriented programming, specification languages, software design, requirement specification, structural design, programmable controllers, system structure, control software
73	Henning Dierks, Josef Tapken	Modelling and Verifying of a 'Cash-Point Service' Using MOBY/PLC.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Model-checking, Verification, Real-time, Timed automata, PLC
64	Josef Tapken, Henning Dierks	MOBY/PLC - Graphical Development of PLC-Automata.	FTRTFT	1998	DBLP DOI BibTeX RDF
62	Min Zhou 0001, Fei He 0001, Ming Gu 0001, Xiaoyu Song	Translation-Based Model Checking for PLC Programs.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
62	Hai Wan, Gang Chen 0004, Xiaoyu Song, Ming Gu 0001	Formalization and Verification of PLC Timers in Coq.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
62	Denni Kurniawan, Riza Sulaiman	Design and Implementation of Visual Inspection System in Automatic Bottling System Based on PLC.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF
62	Devinder Thapa, Chang Mok Park, Kwan Hee Han, Sang C. Park, Gi-Nam Wang	Architecture for modeling, simulation, and execution of PLC based manufacturing system.	WSC	2008	DBLP DOI BibTeX RDF
62	Zhenchao Wang, Yutao Gan, Huiran Hou, Shibing Zhang	L-PLC Channel Characteristics Prediction Based on SVM.	ICNSC	2008	DBLP DOI BibTeX RDF
62	Bhupender Parashar, Gulshan Taneja	Reliability and Profit Evaluation of a PLC Hot Standby System Based on a Master-Slave Concept and Two Types of Repair Facilities.	IEEE Trans. Reliab.	2007	DBLP DOI BibTeX RDF
62	Jin Hyun Kim, Su-Young Lee 0001, Young Ah Ahn, Jae-Hwan Sim, Jin Seok Yang, Na-Young Lee, Jin-Young Choi	Development of RTOS for PLC Using Formal Methods.	ATVA	2004	DBLP DOI BibTeX RDF
60	Xenofontas A. Dimitropoulos, Paul Hurley, Andreas Kind	Probabilistic lossy counting: an efficient algorithm for finding heavy hitters.	Comput. Commun. Rev.	2008	DBLP DOI BibTeX RDF	data streams, heavy hitters
60	Andrzej Kochut, Arunchandar Vasan 0001, A. Udaya Shankar, Ashok K. Agrawala	Sniffing Out the Correct Physical Layer Capture Model in 802.11b.	ICNP	2004	DBLP DOI BibTeX RDF
58	Abdelfatteh Haidine, Ralf Lehnert	Placement of Base Stations in Broadband Power Line Communications Access Networks by Means of Multi-criteria Optimization.	AccessNets	2008	DBLP DOI BibTeX RDF	uplink delay, Broadband Power-Line Communications (B-PLC), access network planning, generalized base station placement, multi-criteria optimization, network costs
50	Josep M. Selga, Agustín Zaballos, Jaume Abella 0002, Guiomar Corral	Model for polling in noisy multihop systems with application to PLC and AMR.	ISCC	2008	DBLP DOI BibTeX RDF
50	Christoforos E. Economakos, George Economakos	Optimized FPGA implementations of demanding PLC programs based on hardware high-level synthesis.	ETFA	2008	DBLP DOI BibTeX RDF
50	Chang Mok Park, Sachin Man Bajimaya, Sang C. Park, Gi-Nam Wang, Jonggeun Kwak, Kwan Hee Han	Development of Virtual Simulator for Visual Validation of PLC Program.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
50	Josef Tapken	MOBY/PLC - A Design Tool for Hierarchical Real-Time Automata.	FASE	1998	DBLP DOI BibTeX RDF
48	Marc Kuhn, Stefan Berger, Ingmar Hammerström, Armin Wittneben	Power line enhanced cooperative wireless communications.	IEEE J. Sel. Areas Commun.	2006	DBLP DOI BibTeX RDF
48	Jong-Joo Lee, Jae Sang Cha, Myong-Chul Shin, Hak-Man Kim	Adaptive Modulation Based Power Line Communication System.	ICIC (2)	2005	DBLP DOI BibTeX RDF	Power line communication, Decision Making, Adaptive Modulation
48	Paolo Bouquet, Luciano Serafini	On the Difference between Bridge Rules and Lifting Axioms.	CONTEXT	2003	DBLP DOI BibTeX RDF
48	Paolo Bouquet, Luciano Serafini	Two Formalizations of Context: A Comparison.	CONTEXT	2001	DBLP DOI BibTeX RDF
48	Henning Dierks	Synthesizing controllers from real-time specifications.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
48	Ernst-Rüdiger Olderog	Correct Real-Time Software for Programmable Logic Controllers.	Correct System Design	1999	DBLP DOI BibTeX RDF
47	Seungkweon Jeong, Young Shin Kim, Wook Hyun Kwon	Scheduling algorithm for programmable logic controllers with remote I/Os.	RTCSA	1997	DBLP DOI BibTeX RDF	remote I/O, remote input output, sequence programs, application processor, bounded response time, scheduling algorithm, network processor, computer simulation, multitasking, data transmission, programmable logic controllers, PLC, programmable controllers
42	Hamid R. Arabnia (eds.)	Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005	PLC	2005	DBLP BibTeX RDF
42	Sergiy Kyrylkov, Darko Stefanovic	Garbage Collection With a Large Address Space for Server Applications.	PLC	2005	DBLP BibTeX RDF
42	Mark Evered	Object and Access Evolution in Jarrah.	PLC	2005	DBLP BibTeX RDF
42	Yves Vandewoude, Yolande Berbers	Component State Mapping for Runtime Evolution.	PLC	2005	DBLP BibTeX RDF
42	Borys J. Bradel, Tarek S. Abdelrahman	A Characterization of Traces in Java Programs.	PLC	2005	DBLP BibTeX RDF
42	Emil Vassev, Joey Paquet	A Generic Framework for Migrating Demands in the GIPSY Demand-Driven Execution Engine.	PLC	2005	DBLP BibTeX RDF
42	Christian Heinlein	Null Values in Programming Languages.	PLC	2005	DBLP BibTeX RDF
42	Stefan Sarstedt, Jens Kohlmeyer, Alexander Raschke, Matthias Schneiderhan	Targeting System Evolution by Explicit Modeling of Control Flows Using UML 2 Activity Charts.	PLC	2005	DBLP BibTeX RDF
42	Alexander Gruler, Christian Heinlein	Exception Handling with Resumption: Design and Implementation in Java.	PLC	2005	DBLP BibTeX RDF
42	Serguei A. Mokhov, Joey Paquet	General Imperative Compiler Framework within the GIPSY.	PLC	2005	DBLP BibTeX RDF
42	Ruchi Agarwal, William W. Wadge	The Lazy Evaluation of Infinitesimal Logic Expressions.	PLC	2005	DBLP BibTeX RDF
42	Marco T. Morazán	Towards Closureless Functional Languages.	PLC	2005	DBLP BibTeX RDF
42	Bing Dong Li, Mansur H. Samadzadeh	A Comparison of Z and UML: Two Case Studies.	PLC	2005	DBLP BibTeX RDF
42	Chengpu Wang	Toward Functionality Oriented Programming.	PLC	2005	DBLP BibTeX RDF
42	Aihua Wu 0001, Joey Paquet	Object-Oriented Intensional Programming in the GIPSY: Preliminary Investigations.	PLC	2005	DBLP BibTeX RDF
42	David Dodds	Components of Meta-Programming, Computer Analogies and Metaphors.	PLC	2005	DBLP BibTeX RDF
42	Paniti Netinant, Tzilla Elrad	A Framework for Extensible and Adaptable System Software.	PLC	2005	DBLP BibTeX RDF
42	Christian Hummert, Gisela Menger	New Programming Language Concepts for Confidentiality.	PLC	2005	DBLP BibTeX RDF
42	Zorica Suvajdzin, Miroslav Hajdukovic	Towards Program Composing Assistants.	PLC	2005	DBLP BibTeX RDF
42	Keith D. Cooper, Jason Eckhardt	Improved Passive Splitting.	PLC	2005	DBLP BibTeX RDF
42	Kevin M. Cleereman	Container Types for Automatic Garbage Collection in Hard Real-Time Computing.	PLC	2005	DBLP BibTeX RDF
42	Robert Chun, Azeem S. Jiva	Compilation Scheduling for the Java Virtual Machine.	PLC	2005	DBLP BibTeX RDF
42	Peter Grogono, Serguei A. Mokhov, Joey Paquet	Toward JLucid, Lucid with Embedded Java Functions in the GIPSY.	PLC	2005	DBLP BibTeX RDF
42	Hajime Inoue	Inferring Java Security Policies Through Dynamic Sandboxing.	PLC	2005	DBLP BibTeX RDF
42	Richard West, Gary T. Wong	Cuckoo: a Language for Implementing Memory- and Thread-safe System Services.	PLC	2005	DBLP BibTeX RDF
42	Daniel E. Cooke, J. Nelson Rushton	SequenceL - An Overview of a Simple Language.	PLC	2005	DBLP BibTeX RDF
42	Joey Paquet, Aihua Wu 0001	GIPSY - A Platform for the Investigation on Intensional Programming Languages.	PLC	2005	DBLP BibTeX RDF
42	Weichang Du, Qian Jia	A Programming System for Peer-to-Peer Computing.	PLC	2005	DBLP BibTeX RDF
42	Cong-Cong Xing, Boumediene Belkhouche	Object Interdependencies, Behaviors, Semantics, and Types.	PLC	2005	DBLP BibTeX RDF
42	Haitong Xu, Sheng Yu 0001	Adding States into Object Types.	PLC	2005	DBLP BibTeX RDF
42	Barbara Mucha, Marco T. Morazán	Exploiting Syntactic Analysis for Lambda Lifting.	PLC	2005	DBLP BibTeX RDF
42	Serguei A. Mokhov, Joey Paquet	Objective Lucid - First Step in Object-Oriented Intensional Programming in the GIPSY.	PLC	2005	DBLP BibTeX RDF
42	Bryan Crawley, Raphael A. Finkel	Micky: Methods With Implicit Calls.	PLC	2005	DBLP BibTeX RDF
42	Patrick Renner, Axel Rauschmayer	TUBE - Structure-Orientation in a Prototype-Based Programming Environment.	PLC	2005	DBLP BibTeX RDF
42	Kaiyu Wan, Vasu S. Alagar, Joey Paquet	Lucx: Lucid Enriched with Context.	PLC	2005	DBLP BibTeX RDF
42	Michael M. J. Zastre, John Aycock	An Exceptional Programming Language.	PLC	2005	DBLP BibTeX RDF
38	Marcello Bonfè, Matteo Vignali, Mario Fiorini	PLC-based control of a robot manipulator with closed kinematic chain.	ICRA	2009	DBLP DOI BibTeX RDF
38	Jeffrey S. Smith, Younchol Cho	Offline commissioning of a PLC-based control system using arena.	WSC	2008	DBLP DOI BibTeX RDF
38	Knut Güttel, Peter Weber, Alexander Fay	Automatic generation of PLC code beyond the nominal sequence.	ETFA	2008	DBLP DOI BibTeX RDF
38	Michael Elliott, Ray Dawson, Janet Edwards	An analysis of software quality management at AWE plc.	Softw. Qual. J.	2007	DBLP DOI BibTeX RDF	ISO900:2001, Implementation, Culture, Audit
38	Guohai Liu, Fuliang Wang, Yue Shen, Huawei Zhou, Hongping Jia, Mei Kang	Realization of Neural Network Inverse System with PLC in Variable Frequency Speed-Regulating System.	ISNN (1)	2007	DBLP DOI BibTeX RDF
38	Ping-Huang Wu, Chin-Hwa Kuo, Chin-Chung Lin, Pei-Lin Wu	Design and Implementation of the PLC Control Lab Using GSM System.	ICALT	2006	DBLP DOI BibTeX RDF
38	Mohammed Bani Younis, Georg Frey	A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application.	ETFA	2006	DBLP DOI BibTeX RDF
38	Seo Ryong Koo, Poong-Hyun Seong, Sung Deok Cha	Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC).	HASE	2004	DBLP DOI BibTeX RDF
38	Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg	Verification of PLC Programs Given as Sequential Function Charts.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF	Model Checking, Analysis, Automata, Logic Control
38	Stéphane Klein, Georg Frey, Mark Minas	PLC Programming with Signal Interpreted Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF
38	Ed Brinksma, Angelika Mader, Ansgar Fehnker	Verification and optimization of a PLC control schedule.	Int. J. Softw. Tools Technol. Transf.	2002	DBLP DOI BibTeX RDF	Scheduling, Model checking, Verification, Formal methods, Hybrid systems
36	Olivera Pavlovic, Hans-Dieter Ehrich	Model Checking PLC Software Written in Function Block Diagram.	ICST	2010	DBLP DOI BibTeX RDF	FBD, IEC 61131-3, model checking, formal verification, PLC
36	Feihu Hu, Liang Fu, Le Liu, Guanqun Zhang	An Algorithm about Transforming PLC Ladder Diagram to Instruction List Based on Series-Parallel Merging Method.	PACIIA (1)	2008	DBLP DOI BibTeX RDF	ladder diagram, instruction list, PLC
36	Xiaofeng Song, Shili Tan, Junjian Ding	A Monitoring System for PLC Controlled Manufacturing System Based on Fieldbus.	PROLAMAT	2006	DBLP DOI BibTeX RDF	CC-Link, winding system, PLC, monitoring system, HMI, PID, fieldbus
36	Flavio Bonfatti, Gianni Gadda, Paola Daniela Monari	An Improved Process for the Development of PLC Software (Experience Report).	ICSE	1997	DBLP DOI BibTeX RDF	design, requirement engineering, reuse, process improvement, PLC
36	Serge Parshutin, Arkady Borisov	Agents Based Data Mining and Decision Support System.	ADMI	2009	DBLP DOI BibTeX RDF	Forecasting Transition Points, Data Mining, Software Agents, Decision Support
36	Rui Wang 0024, Ming Gu 0001, Xiaoyu Song, Hai Wan	Formal Specification and Code Generation of Programable Logic Controllers.	ICECCS	2009	DBLP DOI BibTeX RDF
36	Freddy Lécué, Alexandre Delteil, Alain Léger	Towards the composition of stateful and independent semantic web services.	SAC	2008	DBLP DOI BibTeX RDF	web service, semantic web, composition, complexity results
36	Taro Hayasaki, Daisuke Umehara, Satoshi Denno, Masahiro Morikura	A Simulator of Periodically Switching Channels for Power Line Communications.	AccessNets	2008	DBLP DOI BibTeX RDF	power line communication, periodically switching channel response, switching power supply, simulator, OFDM
36	Abdelfatteh Haidine, Ralf Lehnert	Modeling of Channel Allocation in Broadband Powerline Communications Access Networks as a Multi-Criteria Optimization Problem.	AccessNets	2008	DBLP DOI BibTeX RDF	broadband powerline communications, access network planning, evolutionary algorithms, Channel allocation, multi-criteria optimization
36	Bradley R. Quinton, Steven J. E. Wilton	Embedded Programmable Logic Core Enhancements for System Bus Interfaces.	FPL	2007	DBLP DOI BibTeX RDF
36	Jinsul Kim, Hyun-Woo Lee, Won Ryu, Byung Sun Lee	Voice Quality Guaranteed Service over Best-Effort IP Network for Pervasive Environments.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
36	Theodoros Chiras, Polychronis Koutsakis, Michael Paterakis	On Improving the Extended Aloha Protocol for Broadband Powerline Communications Networks with Light and Heavy Disturbances.	ICNS	2007	DBLP DOI BibTeX RDF
36	P. Karols, K. Dostert, G. Griepentrog, Simon Huettinger	Mass transit power traction networks as communication channels.	IEEE J. Sel. Areas Commun.	2006	DBLP DOI BibTeX RDF
36	Matthieu Crussière, Jean-Yves Baudais, Jean-François Hélard	Adaptive spread-spectrum multicarrier multiple-access over wirelines.	IEEE J. Sel. Areas Commun.	2006	DBLP DOI BibTeX RDF
36	Takashi Kaneyama, Hiroshi Mineno, Takashi Furumura, Kunihiro Yamada, Tadanori Mizuno	Reliable Communication Methods for Mutual Complementary Networks.	KES (3)	2006	DBLP DOI BibTeX RDF
36	Paulo Sérgio B. do Nascimento, Paulo Romero Martins Maciel, Manoel Eusébio de Lima, Remy Eskinazi Sant'Anna, Abel Guilhermino Silva-Filho	A partial reconfigurable FPGA implementation for industrial controllers using SFC-petri net description (abstract only).	FPGA	2005	DBLP DOI BibTeX RDF
36	Peter H. M. Jacobs, Alexander Verbraeck, William Rengelink	Emulation with DSOL.	WSC	2005	DBLP DOI BibTeX RDF
36	Hang Si, Klaus Gärtner	Meshing Piecewise Linear Complexes by Constrained Delaunay Tetrahedralizations.	IMR	2005	DBLP DOI BibTeX RDF
36	Yukiyasu Shimada, Takashi Hamaguchi, Tetsuo Fuchino	Study on the Development of Design Rationale Management System for Chemical Process Safety.	KES (1)	2005	DBLP DOI BibTeX RDF
36	Yu-Ju Lin, Haniph A. Latchman, Jonathan C. L. Liu, Richard E. Newman	Periodic Contention-Free Multiple Access for Power Line Communication Networks.	AINA	2005	DBLP DOI BibTeX RDF
36	Moonseong Kim, Young-Cheol Bang, Hyunseung Choo	New Parameter for Balancing Two Independent Measures in Routing Path.	ICCSA (4)	2004	DBLP DOI BibTeX RDF
36	David Cohen-Steiner, Éric Colin de Verdière, Mariette Yvinec	Conforming Delaunay triangulations in 3D.	SCG	2002	DBLP DOI BibTeX RDF	conforming Delaunay triangulations, meshes, Delaunay triangulations