Implementation of the data-flow synchronous language SIGNAL
PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
Clock analysis of synchronous dataflow programs
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
The maximal VHDL subset with a cycle-level abstraction
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Specification-based testing of reactive software: tools and experiments: experience report
ICSE '97 Proceedings of the 19th international conference on Software engineering
Verification of Real-Time Systems using Linear Relation Analysis
Formal Methods in System Design - Special issue on computer aided verification (CAV 93)
Automatic verification of parameterized linear networks of processes
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modeling reactive systems in Java
Proceedings of the 6th international workshop on Hardware/software codesign
The Synchronous Approach to Designing Reactive Systems
Formal Methods in System Design - Special issue: industrial critical systems
Stochastic processes as concurrent constraint programs
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modeling reactive systems in Java
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Controller synthesis for the “production cell” case study
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Optimized rapid prototyping for real-time embedded heterogeneous multiprocessors
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Specification and verification of an object request broker
Proceedings of the 20th international conference on Software engineering
ECL: a specification environment for system-level design
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Formal Verification of Dynamic Properties in an Aerospace Application
Formal Methods in System Design
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
BDL: A Specialized Language for Per-Object Reactive Control
IEEE Transactions on Software Engineering
Efficient compilation of ESTEREL for real-time embedded systems
CASES '00 Proceedings of the 2000 international conference on Compilers, architecture, and synthesis for embedded systems
An Implementation of Constructive Synchronous Programs in POLIS
Formal Methods in System Design
Proving the Correctness of the Standardized Algorithm for ABR Conformance
Formal Methods in System Design
embedded system design with multiple languages: embedded tutorial
ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
Usability analysis with Markov models
ACM Transactions on Computer-Human Interaction (TOCHI)
Embedded Control Systems Development with Giotto
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
Formal Methods in Designing Embedded Systems—the SACRES Experience
Formal Methods in System Design
The embedded machine: predictable, portable real-time code
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Readings in hardware/software co-design
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
VHDL generation from SDL specifications
Readings in hardware/software co-design
Clairvoyant: a synthesis system for production-based specification
Readings in hardware/software co-design
Predictable programs in barcodes
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Synthesis of Discrete-Event Controllers Based on the SignalEnvironment
Discrete Event Dynamic Systems
Specification and Design of Embedded Hardware-Software Systems
IEEE Design & Test
Scheduling for Embedded Real-Time Systems
IEEE Design & Test
Formal Models for Embedded System Design
IEEE Design & Test
Temporal concurrent constraint programming: denotation, logic and applications
Nordic Journal of Computing
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Deriving Pre-conditions for Array Bound Check Elimination
PADO '01 Proceedings of the Second Symposium on Programs as Data Objects
Compilation and Synthesis for Real-Time Embedded Controllers
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
A Causal Semantics for Timed Default Concurrent Constraint Programming
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Non-massive, Non-high Performance, Distributed Computing: Selected Issues
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
``Next'' Heuristic for On-the-Fly Model Checking
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
The Control of Synchronous Systems
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Compositionality in Dataflow Synchronous Languages: Specification and Code Generation
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Giotto: A Time-Triggered Language for Embedded Programming
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Time-Safety Checking for Embedded Programs
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
An Axiomatic Semantics for the Synchronous Language Gentzen
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
On Semantics and Correctness of Reactive Rule-Based Programs
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Stability of Discrete Sampled Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Compositional Verification of Synchronous Networks
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Time-Deterministic Hybrid Transition Systems
Hybrid Systems V
Integration of Analog and Discrete Synchronous Design
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Coordination of Synchronous Programs
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
From SIGNAL to fine-grain parallel implementations
PACT '94 Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques
Polyhedral Analysis for Synchronous Languages
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Verifying a Time-Triggered Protocol in a Multi-language Environment
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
MATOU: An Implementation of Mode-Automata
CC '00 Proceedings of the 9th International Conference on Compiler Construction
Model, Notation, and Tools for Verification of Protocol-Based Components Assembly
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Correctness Proof of the Standardized Algorithm for ABR Conformance
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Elementary Microarchitecture Algebra
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Pr/T-Net Based Seamless Design of Embedded Real-Time Systems
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Quasi-Static Scheduling of Independent Tasksfor Reactive Systems
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
A Concurrent and Compositional Petri Net Semantics of Preemption
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Principles of Real-Time Programming
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Combining Theorem Proving and Continuous Models in Synchronous Design
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Tutorial: Compiling concurrent languages for sequential processors
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Constructive Analysis of Cyclic Circuits
EDTC '96 Proceedings of the 1996 European conference on Design and Test
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
An Event-Driven Multi-Threading Architecture for Embedded Systems
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
An axiomatic semantics for the synchronous language Gentzen
Journal of Computer and System Sciences
Synchronous Modeling of Avionics Applications using the SIGNAL Language
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
A formal approach to reactive systems software: a telecommunications application in ESTEREL
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Reactive and Real-Time Systems Course: How to Get the Most Out of it
Real-Time Systems
The semantics and execution of a synchronous block-diagram language
Science of Computer Programming
Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems (Extended Abstract)
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
UML for real
Towards a multi-formalism framework for architectural synthesis: the ASAR project
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
TinyGALS: a programming model for event-driven embedded systems
Proceedings of the 2003 ACM symposium on Applied computing
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
Journal of Functional Programming
CESC: a visual formalism for specification and verification of SoCs
Proceedings of the 14th ACM Great Lakes symposium on VLSI
Journal of Systems and Software - Special issue: Rapid system prototyping
Transaction level modeling: flows and use models
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Causality analysis of synchronous programs with delayed actions
Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems
Automated Synthesis of Assertion Monitors using Visual Specifications
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Defining an Enhanced RTL Semantics
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
galsC: A Language for Event-Driven Embedded Systems
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
A programmable microkernel for real-time systems
Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments
Composable code generation for distributed giotto
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Timed constraint programming: a declarative approach to usage control
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Continuous consensus via common knowledge
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Modelling and implementing asynchronous timed multimedia frameworks using coordination principles
Future Generation Computer Systems - Special issue: Parallel computing technologies
On breakable cyclic definitions
Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design
ACM Transactions on Embedded Computing Systems (TECS)
Journal of VLSI Signal Processing Systems
Concurrency in Synchronous Systems
Formal Methods in System Design
Verifying the adaptation behavior of embedded systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Dynamic and formal verification of embedded systems: a comparative survey
International Journal of Parallel Programming
Developing safety-critical systems: the role of formal methods and tools
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
Information and Computation
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Time-triggered implementations of dynamic controllers
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
On-Chip Communication Architectures: System on Chip Interconnect
On-Chip Communication Architectures: System on Chip Interconnect
A deterministic logical semantics for pure Esterel
ACM Transactions on Programming Languages and Systems (TOPLAS)
Dispatch sequences for embedded control models
Journal of Computer and System Sciences
Quasi-static Scheduling for Concurrent Architectures
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework
Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
Java takes flight: time-portable real-time programming with exotasks
Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
BDL: a language to control the behavior of concurrent objects
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Introduction to formal processor verification at logic level: a case study
WCAE '04 Proceedings of the 2004 workshop on Computer architecture education: held in conjunction with the 31st International Symposium on Computer Architecture
An Operational Semantics and Compiler for Real-Time Specifications
Integrated Computer-Aided Engineering
Partitioning of Hardware-Software Embedded Systems: A Metrics-based Approach
Integrated Computer-Aided Engineering
The embedded machine: Predictable, portable real-time code
ACM Transactions on Programming Languages and Systems (TOPLAS)
Necessary and sufficient conditions for deterministic desynchronization
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Virtual execution of AADL models via a translation into synchronous programs
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Semantics-preserving multitask implementation of synchronous programs
ACM Transactions on Embedded Computing Systems (TECS)
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Specifying and Executing Reactive Scenarios With Lutin
Electronic Notes in Theoretical Computer Science (ENTCS)
Low-latency time-portable real-time programming with Exotasks
ACM Transactions on Embedded Computing Systems (TECS)
A comparison of software platforms for wireless sensor networks: MANTIS, TinyOS, and ZigBee
ACM Transactions on Embedded Computing Systems (TECS)
Reactive mode handling of flexible manufacturing systems
Mathematics and Computers in Simulation
Coordinated concurrent memory accesses on a reconfigurable multimedia accelerator
Microprocessors & Microsystems
Formal analysis tools for the synchronous aspect language Larissa
EURASIP Journal on Embedded Systems - Model-driven high-level programming of embedded systems: selected papers from SLA++P'07 and SLA++P'08
Specification and verification of time requirements with CCSL and Esterel
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Separate compilation for synchronous programs
Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems
Embedded systems programming: accessing databases from Esterel
EURASIP Journal on Embedded Systems - Model-driven high-level programming of embedded systems: selected papers from SLA++P'07 and SLA++P'08
Safe functional reactive programming through dependent types
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Refining the control structure of loops using static analysis
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Clock-driven distributed real-time implementation of endochronous synchronous programs
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Executing reactive, model-based programs through graph-based temporal planning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Petri nets and programming: a survey
ACC'09 Proceedings of the 2009 conference on American Control Conference
A Deterministic Logical Semantics for Esterel
Electronic Notes in Theoretical Computer Science (ENTCS)
Synchronous Dataflow Pattern Matching
Electronic Notes in Theoretical Computer Science (ENTCS)
Goto and Concurrency Introducing Safe Jumps in Esterel
Electronic Notes in Theoretical Computer Science (ENTCS)
Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling and implementing asynchronous timed multimedia frameworks using coordination principles
Future Generation Computer Systems - Special issue: Parallel computing technologies
Refining schizophrenia via graph reachability in esterel
MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
Static data-flow analysis of synchronous programs
MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
Translating concurrent action oriented specifications to synchronous guarded actions
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
From synchronous programs to symbolic representations of hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Instantaneous termination in pure Esterel
SAS'03 Proceedings of the 10th international conference on Static analysis
Automatic generation of safe handlers for multi-task systems
Journal of Embedded Computing
A property based specification formalism classification
Journal of Systems and Software
Logical time: specification vs. implementation
ACM SIGSOFT Software Engineering Notes
A common framework for synchronization in requirements modelling languages
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Constructive semantics for instantaneous reactions
Theoretical Computer Science
Formal Methods in System Design
Design choices for high-confidence distributed real-time software
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Better testing through oracle selection (NIER track)
Proceedings of the 33rd International Conference on Software Engineering
Semantic quality attributes for big-step modelling languages
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Clairvoyant: a synthesis system for production-based specification
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
A core language for executable models of cyber physical systems: work in progress report
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems
Multi-task Implementation of Multi-periodic Synchronous Programs
Discrete Event Dynamic Systems
Program sketching via CTL* model checking
Proceedings of the 18th international SPIN conference on Model checking software
Cross-layer analysis, testing and verification of automotive control software
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Constraint programming for controller synthesis
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Keeping calm in the face of change
Higher-Order and Symbolic Computation
Proving the properties of communicating imperfectly-clocked synchronous systems
SAS'06 Proceedings of the 13th international conference on Static Analysis
Implementation of timed automata: an issue of semantics or modeling?
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
A new strategy for the HRT-HOOD to ada mapping
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
A hoare calculus for the verification of synchronous languages
PLPV '12 Proceedings of the sixth workshop on Programming languages meets program verification
Tools for programming, code generation, and design
Embedded Systems Design
Embedded Systems Design
Mode-automata based methodology for scade
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Developing high quality software with formal methods: what else is needed?
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
The embedded systems design challenge
FM'06 Proceedings of the 14th international conference on Formal Methods
Modular design of man-machine interfaces with larissa
SC'06 Proceedings of the 5th international conference on Software Composition
Rigorous system design: the BIP approach
MEMICS'11 Proceedings of the 7th international conference on Mathematical and Engineering Methods in Computer Science
On the danger of coverage directed test case generation
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Proceedings of the 34th International Conference on Software Engineering
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Teaching ‘concepts of programming languages' with ada
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Quasi-static Scheduling for Concurrent Architectures
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Rigorous design of robot software: A formal component-based approach
Robotics and Autonomous Systems
Rigorous component-based system design
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Which automata for which safety assessment step of satellite FDIR?
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Observable modified Condition/Decision coverage
Proceedings of the 2013 International Conference on Software Engineering
Multiple real-time semantics on top of synchronous block diagrams
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Timing analysis enhancement for synchronous program
Proceedings of the 21st International conference on Real-Time Networks and Systems
Synchronous programming in audio processing: A lookup table oscillator case study
ACM Computing Surveys (CSUR)
Passive code in synchronous programs
ACM Transactions on Embedded Computing Systems (TECS) - Special Section ESFH'12, ESTIMedia'11 and Regular Papers
Programming simple reactive systems in ada: premature program termination
ACM SIGAda Ada Letters
Scenario-based verification in presence of variability using a synchronous approach
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |