Communicating reactive processes
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Design of heterogeneous ICs for mobile and personal communication systems
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Default timed concurrent constraint programming
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
GC: the data-flow graph format of synchronous programming
IR '95 Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations
Implementation of the data-flow synchronous language SIGNAL
PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
Report of a workshop on future directions in programming languages and compilers
ACM SIGPLAN Notices
A framework for evaluating specification methods for reactive systems: experience report
Proceedings of the 17th international conference on Software engineering
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
A system for compiling and debugging structured data processing controllers
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Controller optimization for protocol intensive applications
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
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
Quick conservative causality analysis
ISSS '97 Proceedings of the 10th international symposium on System synthesis
Automatic verification of parameterized linear networks of processes
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Efficient latch optimization using exclusive sets
DAC '97 Proceedings of the 34th annual Design Automation Conference
An efficient implementation of reactivity for modeling hardware in the scenic design environment
DAC '97 Proceedings of the 34th annual Design Automation Conference
Design and synthesis of array structured telecommunication processing applications
DAC '97 Proceedings of the 34th annual Design Automation Conference
Java as a specification language for hardware-software systems
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Design and specification of embedded systems in Java using successive, formal refinement
DAC '98 Proceedings of the 35th annual Design Automation Conference
Partitioning and optimizing controllers synthesized from hierarchical high-level descriptions
DAC '98 Proceedings of the 35th annual Design Automation Conference
Design of a SPDIF receiver using protocol compiler
DAC '98 Proceedings of the 35th annual Design Automation Conference
An analysis-based approach to composition of distributed embedded systems
Proceedings of the 6th international workshop on Hardware/software codesign
Control generation for embedded systems based on composition of modal processes
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Imperative streams—a monadic combinator library for synchronous programming
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
The Synchronous Approach to Designing Reactive Systems
Formal Methods in System Design - Special issue: industrial critical systems
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
Stochastic processes as concurrent constraint programs
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Compiling Esterel into sequential code
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
A statechart based HW/SW codesign system
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Decoupling synchronization from local control for efficient symbolic model checking of statecharts
Proceedings of the 21st international conference on Software engineering
OpenJ: an extensible system level design language
DATE '99 Proceedings of the conference on Design, automation and test in Europe
Service Combinators for Web Computing
IEEE Transactions on Software Engineering
Robots: a real-time systems architectural style
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
The CIP method: component- and model-based construction of embedded systems
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
A calculus for dynamic customization of virtual environments
MULTIMEDIA '99 Proceedings of the seventh ACM international conference on Multimedia (Part 1)
Heterogeneous modeling and simulation of embedded systems in El Greco
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
IEEE Transactions on Software Engineering
BDL: A Specialized Language for Per-Object Reactive Control
IEEE Transactions on Software Engineering
Compiling Esterel into sequential code
Proceedings of the 37th Annual Design Automation Conference
Synthesis and optimization of coordination controllers for distributed embedded systems
Proceedings of the 37th Annual Design Automation Conference
High-integrity code generation for state-based formalisms
Proceedings of the 22nd international conference on Software engineering
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors
IEEE Transactions on Software Engineering
Declarative event-oriented programming
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Modular resetting of synchronous data-flow programs
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
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
Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP
Ninth International Conference on Information and Knowledge Management
What packets may come: automata for network monitoring
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Implementation of Constructive Synchronous Programs in POLIS
Formal Methods in System Design
MetaRTL: raising the abstraction level of RTL design
Proceedings of the conference on Design, automation and test in Europe
A formal approach to component based development of synchronous programs
Proceedings of the 2001 Asia and South Pacific Design Automation Conference
System canvas: a new design environment for embedded DSP and telecommunication systems
Proceedings of the ninth international symposium on Hardware/software codesign
High-level architectural co-simulation using Esterel and C
Proceedings of the ninth international symposium on Hardware/software codesign
Logic optimization and code generation for embedded control applications
Proceedings of the ninth international symposium on Hardware/software codesign
Extending the SCR Method for Real-Time Systems
Real-Time Systems
Optimizing Symbolic Model Checking for Statecharts
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
ESP: a language for programmable devices
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Lightweight analysis of operational specifications using inference graphs
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Modeling statecharts and activitycharts as signal equations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Forced simulation: A technique for automating component reuse in embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Achieving extensibility through product-lines and domain-specific languages: a case study
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Formal Methods in Designing Embedded Systems—the SACRES Experience
Formal Methods in System Design
Software synthesis from synchronous specifications using logic simulation techniques
Proceedings of the 39th annual Design Automation Conference
Control generation for embedded systems based on composition of modal processes
Readings in hardware/software co-design
A generic operator over discrete time intervals
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
On the expressive power of temporal concurrent constraint programming languages
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Verification support for workflow design with UML activity graphs
Proceedings of the 24th International Conference on Software Engineering
Software model checking in practice: an industrial case study
Proceedings of the 24th International Conference on Software Engineering
Functional reactive programming, continued
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Formal methods for telecommunication system requirements: A survey of standardized languages
Annals of Software Engineering
A practical approach to implementing real-time semantics
Annals of Software Engineering
Model Checking Complete Requirements Specifications Using Abstraction
Automated Software Engineering
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset
Automated Software Engineering
DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems
Journal of Intelligent and Robotic Systems
Towards A Role-Based Framework for DistributedSystems Management
Journal of Network and Systems Management
Observability analysis of embedded software for coverage-directed validation
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
A stream compiler for communication-exposed architectures
Proceedings of the 10th international conference on Architectural support for programming languages and operating systems
Mexitl: Multimedia in Executable Interval Temporal Logic
Formal Methods in System Design
Using a Programming Language for Digital System Design
IEEE Design & Test
IEEE Transactions on Software Engineering
Model Checking Large Software Specifications
IEEE Transactions on Software Engineering
A comparison of Statecharts step semantics
Theoretical Computer Science
On disjunction of literals in triggers of statecharts transitions
Information Processing Letters
Mode-automata: a new domain-specific construct for the development of safe critical systems
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
Temporal concurrent constraint programming: denotation, logic and applications
Nordic Journal of Computing
A Real-Time Execution Semantics for UML Activity Diagrams
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
PML: A Language Interface to Distributed Voice-Response Units
ICCL'98 Workshop on Internet Programming Languages
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Programming and Executing Telecommunication Service Logic with Moorea Reactive Mobile Agents
MATA '02 Proceedings of the 4th International Workshop on Mobile Agents for Telecommunication Applications
Temporal Concurrent Constraint Programming: Applications and Behavior
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
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
NTIF: A General Symbolic Model for Communicating Sequential Processes with Data
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Specification and Verification of a Steam-Boiler with Signal-Coq
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Proving the Equivalence of Microstep and Macrostep Semantics
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Analyzing Cryptographic Protocols in a Reactive Framework
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Statecharts Via Process Algebra
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Combining Theorem Proving and Model Checking through Symbolic Analysis
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
The Control of Synchronous Systems, Part II
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
On the Combination of Synchronous Languages
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Compositionality Criteria for Defining Mixed-Styles Synchronous Languages
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Synchronous Modelling of Asynchronous Systems
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
Proving Correctness of Timed Concurrent Constraint Programs
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
A Constraint-Based Language for Virtual Agents
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Embedded Control: From Asynchrony to Synchrony and Back
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Modeling Real-Time Systems-Challenges and Work Directions
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Compositional Verification of Synchronous Networks
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Coordination of Synchronous Programs
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
On Timed Coordination Languages
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Polyhedral Analysis for Synchronous Languages
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
A Temporal Concurrent Constraint Programming Calculus
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State
CP '02 Proceedings of the 8th 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
StreamIt: A Language for Streaming Applications
CC '02 Proceedings of the 11th 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
Translation Validation: From DC+ to C*
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Symbolic Analysis of Transition Systems
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
REFLIX: A Processor Core for Reactive Embedded Applications
FPL '02 Proceedings of the Reconfigurable Computing Is Going Mainstream, 12th International Conference on Field-Programmable Logic and Applications
Introducing Mutual Exclusion in Esterel
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
A Graphical Environment for the Specification and Verification of Reactive Systems
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Tutorial: Compiling concurrent languages for sequential processors
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Temporal concurrent constraint programming: applications and behavior
Formal and natural computing
A denotational semantics for Timed Linda
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Distributed implementation of a process-algebra based programming language for embedded systems
Nordic Journal of Computing
A language for multiple models of computation
Proceedings of the tenth international symposium on Hardware/software codesign
Making cyclic circuits acyclic
Proceedings of the 40th annual Design Automation Conference
Optimizations for a simulator construction system supporting reusable components
Proceedings of the 40th annual Design Automation Conference
Model-Based Autonomy in Deep-Space Missions
IEEE Intelligent Systems
Programmer I'interaction avec des machines à états hiérarchiques
IHM '02 Proceedings of the 14th French-speaking conference on Human-computer interaction (Conférence Francophone sur l'Interaction Homme-Machine)
Code synthesis for timed automata
Nordic Journal of Computing
Phased scheduling of stream programs
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Constructive Analysis of Cyclic Circuits
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Software Architecture Synthesis for Retargetable Real-time Embedded Systems
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
TTL: a modular language for hardware/software systems design
Journal of Computer and System Sciences
An axiomatic semantics for the synchronous language Gentzen
Journal of Computer and System Sciences
ALFred, a protocol compiler for the automated implementation of distributed applications
HPDC '96 Proceedings of the 5th IEEE International Symposium on High Performance Distributed Computing
Implementation of design functions by available devices: a new algorithm
VLSID '95 Proceedings of the 8th International Conference on VLSI Design
Asynchronous Implementation of Synchronous Esterel Specifications
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
A New Reactive Processor with Architectural Support for Control Dominated Embedded Systems
VLSID '03 Proceedings of the 16th International Conference on VLSI Design
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
Implementing Statecharts in PROMELA/SPIN
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Using model checking to debug device firmware
ACM SIGOPS Operating Systems Review - OSDI '02: Proceedings of the 5th symposium on Operating systems design and implementation
The Partition Method for the Order - Insensitivity in a Synchronous Distributed Systems
ISCC '00 Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000)
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
Mapping concurrent applications onto architectural platforms
Networks on chip
A strategy for efficiently verifying requirements
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Verification of design decisions in ForSyDe
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
TinyGALS: a programming model for event-driven embedded systems
Proceedings of the 2003 ACM symposium on Applied computing
Proceedings of the 1st conference on Computing frontiers
Generating fast code from concurrent program dependence graphs
Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Tool Support for Verifying UML Activity Diagrams
IEEE Transactions on Software Engineering
Slicing tools for synchronous reactive programs
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
A unified approach to code generation from behavioral diagrams
Languages for system specification
Towards direct execution of esterel programs on reactive processors
Proceedings of the 4th ACM international conference on Embedded software
Defining and translating a "safe" subset of simulink/stateflow into lustre
Proceedings of the 4th ACM international conference on Embedded software
Bisimulation on speed: worst-case efficiency
Information and Computation
Proving correctness of timed concurrent constraint programs
ACM Transactions on Computational Logic (TOCL)
Fast Paths in Concurrent Programs
Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques
Design for Timing Predictability
Real-Time Systems
Turing machines, transition systems, and interaction
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
Using model checking to debug device firmware
OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading
Monitoring and control in scenario-based requirements analysis
Proceedings of the 27th international conference on Software engineering
Decidability of infinite-state timed CCP processes and first-order LTL
Theoretical Computer Science - Expressiveness in concurrency
Composition for component-based modeling
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Cache aware optimization of stream programs
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Complementing software pipelining with software thread integration
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Proceedings of the 2005 ACM symposium on Applied computing
A conservative extension of synchronous data-flow with state machines
Proceedings of the 5th ACM international conference on Embedded software
SHIM: a deterministic model for heterogeneous embedded systems
Proceedings of the 5th ACM international conference on Embedded software
Optimizing stream programs using linear state space analysis
Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems
An Esterel processor with full preemption support and its worst case reaction time analysis
Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems
ACM SIGGRAPH 2005 Electronic Art and Animation Catalog
An overview of embedded system design education at berkeley
ACM Transactions on Embedded Computing Systems (TECS)
The embedded software consortium of taiwan
ACM Transactions on Embedded Computing Systems (TECS)
Continuous consensus via common knowledge
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
ACM Transactions on Embedded Computing Systems (TECS)
Don't cares in logic minimization of extended finite state machines
ASP-DAC '03 Proceedings of the 2003 Asia and South Pacific Design Automation Conference
Embedded system education: a new paradigm for engineering schools?
ACM SIGBED Review - Special issue: The first workshop on embedded system education (WESE)
Symbolic model checking of UML activity diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
Comfortable modeling of complex reactive systems
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Software thread integration for embedded system display applications
ACM Transactions on Embedded Computing Systems (TECS)
Concurrency in Synchronous Systems
Formal Methods in System Design
Synthesizing safe state machines from Esterel
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems
Efficient code generation from SHIM models
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems
Behavioral type inference: part I - algebraic theory for bahavioral type inference
Formal methods and models for system design
Optimization for faster execution of Esterel programs
Formal methods and models for system design
A concurrent reactive Esterel processor based on multi-threading
Proceedings of the 2006 ACM symposium on Applied computing
Static analysis of time bounded reactive properties of Boolean symbols
Proceedings of the 2006 ACM symposium on Applied computing
On the expressiveness of timed coordination models
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Language and compiler design for streaming applications
International Journal of Parallel Programming - Special issue: The next generation software program
Resource control for synchronous cooperative threads
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
Information and Computation
Automatic rate desynchronization of embedded reactive programs
ACM Transactions on Embedded Computing Systems (TECS)
Modeling Embedded Systems: From SystemC and Esterel to DFCharts
IEEE Design & Test
Extensible control architectures
CASES '06 Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
A timing model for synchronous language implementations in simulink
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Scheduling-independent threads and exceptions in SHIM
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Analysis of the zeroconf protocol using UPPAAL
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Synthesis of time-constrained multitasking embedded software
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A deterministic logical semantics for pure Esterel
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program entanglement, feature interaction and the feature language extensions
Computer Networks: The International Journal of Computer and Telecommunications Networking
Formal Refinement Checking in a System-level Design Methodology
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
A Timed Extension for ALTARICA
Fundamenta Informaticae
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework
Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
An Observational Theory for Mobile Ad Hoc Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
From NuSMV to SPIN: Experiences with model checking flight guidance systems
Formal Methods in System Design
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Software Engineering for Automotive Systems: A Roadmap
FOSE '07 2007 Future of Software Engineering
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
Object and concurrency in Triveni: a telecommunication case study in java
COOTS'98 Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4
On the Expressiveness of Timed Coordination via Shared Dataspaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Feasible reactivity in a synchronous Π-calculus
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
An Operational Semantics and Compiler for Real-Time Specifications
Integrated Computer-Aided Engineering
Formal techniques for SystemC verification
Proceedings of the 44th annual Design Automation Conference
Information and Computation
Analysis of the use of declarative languages for enhanced embedded system software development
Proceedings of the 20th annual conference on Integrated circuits and systems design
Programming asynchronous layers with CLARITY
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Eon: a language and runtime system for perpetual systems
Proceedings of the 5th international conference on Embedded networked sensor systems
Verification of Giotto based embedded control systems
Nordic Journal of Computing
Causality interfaces for actor networks
ACM Transactions on Embedded Computing Systems (TECS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Implementation of a Coarse-Grained Reconfigurable Media Processor for AVC Decoder
Journal of Signal Processing Systems
Instantaneous Transitions in Esterel
Electronic Notes in Theoretical Computer Science (ENTCS)
Modifying Contracts with Larissa Aspects
Electronic Notes in Theoretical Computer Science (ENTCS)
Specifying and Executing Reactive Scenarios With Lutin
Electronic Notes in Theoretical Computer Science (ENTCS)
Timed environment for web agents
Web Intelligence and Agent Systems
Behavioral detection of malware on mobile handsets
Proceedings of the 6th international conference on Mobile systems, applications, and services
WOSP '08 Proceedings of the 7th international workshop on Software and performance
Dependent Types, Theorem Proving, and Applications for a Verifying Compiler
Verified Software: Theories, Tools, Experiments
Verification Technology Transfer
25 Years of Model Checking
Predictable programming on a precision timed architecture
CASES '08 Proceedings of the 2008 international conference on Compilers, architectures and synthesis for embedded systems
CPO semantics of timed interactive actor networks
Theoretical Computer Science
Synchronous design of avionic applications based on model refinement
Journal of Embedded Computing - Best Papers of RTS' 2005
Reactive mode handling of flexible manufacturing systems
Mathematics and Computers in Simulation
Modular code generation from synchronous block diagrams: modularity vs. code size
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On Affine Usages in Signal-Based Communication
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Reconciling statechart semantics
Science of Computer Programming
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications
Theoretical Computer Science
Fully abstract models and refinements as tools to compare agents in timed coordination languages
Theoretical Computer Science
An Observational Theory for Mobile Ad Hoc Networks (full version)
Information and Computation
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
A formalism for reasoning about UML activity diagrams
Nordic Journal of Computing
Fair and timely scheduling via cooperative polling
Proceedings of the 4th ACM European conference on Computer systems
Executable Contracts for Incremental Prototypes of Embedded Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
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
On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of GALS Systems by Combining Synchronous Languages and Process Calculi
Proceedings of the 16th International SPIN Workshop on Model Checking Software
Safe functional reactive programming through dependent types
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
A framework for abstract interpretation of timed concurrent constraint programs
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Teleo-reactive programs for agent control
Journal of Artificial Intelligence Research
Model-based monitoring and diagnosis of systems with software-extended behavior
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Executing reactive, model-based programs through graph-based temporal planning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Mode estimation of model-based programs: monitoring systems with complex behavior
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Concurrency and Communication: Lessons from the SHIM Project
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
APLAS '09 Proceedings of the 7th Asian Symposium on Programming Languages and Systems
A Deterministic Logical Semantics for Esterel
Electronic Notes in Theoretical Computer Science (ENTCS)
Synchronous Estelle: Just Another Synchronous Language?
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Checking Flight Guidance Systems: from Synchrony to Asynchrony
Electronic Notes in Theoretical Computer Science (ENTCS)
Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Goto and Concurrency Introducing Safe Jumps in Esterel
Electronic Notes in Theoretical Computer Science (ENTCS)
synERJY An Object-oriented Synchronous Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Compiling Esterel into Static Discrete-Event Code
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Calculus For Wireless Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Another Glance at Relay Stations in Latency-Insensitive Design
Electronic Notes in Theoretical Computer Science (ENTCS)
Turing machines, transition systems, and interaction
Information and Computation
Static data-flow analysis of synchronous programs
MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
Proving unreachability using bounded model checking
Proceedings of the 3rd India software engineering conference
A hierarchical and concurrent approach for IEC 61499 function blocks
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
An operational semantics for a calculus for wireless systems
Theoretical Computer Science
From synchronous programs to symbolic representations of hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
SP@CE: an SP-based programming model for consumer electronics streaming applications
LCPC'06 Proceedings of the 19th international conference on Languages and compilers for parallel computing
Flexible and extensible notations for modeling languages
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Reactive Petri nets for workflow modeling
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Instantaneous termination in pure Esterel
SAS'03 Proceedings of the 10th international conference on Static analysis
Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Towards a theory of refinement in timed coordination languages
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Completeness of neighbourhood logic
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
Expression of time and duration constraints in SDL
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
A concurrency abstraction for reliable sensor network applications
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Slotted-circus: a UTP-family of reactive theories
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
On recursion, replication and scope mechanisms in process calculi
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Branching vs. linear time: semantical perspective
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Timed soft concurrent constraint programs
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Collecting hollywood's garbage: avoiding space-leaks in composite events
Proceedings of the 2010 international symposium on Memory management
A higher-order extension for imperative synchronous languages
Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems
Cluster Computing as an Assembly Process: Coordination with S-Net
CCGRID '10 Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing
Deterministic, predictable and light-weight multithreading using PRET-C
Proceedings of the Conference on Design, Automation and Test in Europe
Separate compilation and execution of imperative synchronous modules
Proceedings of the Conference on Design, Automation and Test in Europe
Concurrent and reactive constraint programming
A 25-year perspective on logic programming
What is in a step: new perspectives on a classical question
Time for verification
MPEG-2 decoding in a stream programming language
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
LibGALS: a library for GALS systems design and modeling
Proceedings of the 2010 Asia and South Pacific Design Automation Conference
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
The F# asynchronous programming model
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Towards validated real-time software
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Running-modes of real-time systems: a case-study with mode-automata
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
SHIM: a deterministic model for heterogeneous embedded systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Synchronous game semantics via round abstraction
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
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
SMT-based optimization for synchronous programs
Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems
Modeling security attacks with statecharts
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
GALS-Designer: A design framework for GALS software systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Global state estimates for distributed systems
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Synthesizing glue operators from glue constraints for the construction of component-based systems
SC'11 Proceedings of the 10th international conference on Software composition
Frenetic: a network programming language
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
PTask: operating system abstractions to manage GPUs as compute devices
SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
Implementation architecture and multithreaded runtime system of S-NET
IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
Keeping calm in the face of change
Higher-Order and Symbolic Computation
Towards a signal calculus for event-based synchronous languages
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Hiphop: a synchronous reactive extension for hop
Proceedings of the 1st ACM SIGPLAN international workshop on Programming language and systems technologies for internet clients
A processor extension for cycle-accurate real-time software
EUC'06 Proceedings of the 2006 international conference on Embedded and Ubiquitous Computing
Approximate reachability for dead code elimination in esterel
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Time aware modelling and analysis of multiclocked VLSI systems
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Reactive framework for resource aware distributed computing
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
MNFL: the monitoring and notification flow language for assistive monitoring
Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
Modelling of complex software systems: a reasoned overview
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Separate compilation for synchronous modules
ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems
Prescriptive semantics for big-step modelling languages
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Tools for programming, code generation, and design
Embedded Systems Design
Embedded Systems Design
Syntax-driven reachable state space construction of synchronous reactive programs
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Mode-automata based methodology for scade
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Time-aware coordination in ReSpecT
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
UML vs. classical vs. rhapsody statecharts: not all models are created equal
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
The zerberus language: describing the functional model of dependable real-time systems
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
AdaStreams: a type-based programming extension for stream-parallelism with ada 2005
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
Validated code generation for activity diagrams
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
On formal semantics of statecharts as supported by STATEMATE
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
A hybrid approach to cyber-physical systems verification
Proceedings of the 49th Annual Design Automation Conference
Chisel: constructing hardware in a Scala embedded language
Proceedings of the 49th Annual Design Automation Conference
Specification guidelines to avoid the state space explosion problem
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Semantic adaptation using CCSL clock constraints
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Argos: an automaton-based synchronous language
Computer Languages
Distributed S-Net: Cluster and Grid Computing without the Hassle
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Code generation for a family of executable modelling notations
Software and Systems Modeling (SoSyM)
StreamPI: a stream-parallel programming extension for object-oriented programming languages
The Journal of Supercomputing
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
Formal Refinement Checking in a System-level Design Methodology
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
A Timed Extension for ALTARICA
Fundamenta Informaticae
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
Fundamenta Informaticae
On Causality Semantics of Nets with Priorities
Fundamenta Informaticae
Applying Techniques of Asynchronous Concurrency to Synchronous Languages
Fundamenta Informaticae
The ASSL approach to specifying self-managing embedded systems
Concurrency and Computation: Practice & Experience
Statechart development beyond WYSIWYG
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
What will it take? A view on adoption of model-based methods in practice
Software and Systems Modeling (SoSyM)
A denotational model for instantaneous signal calculus
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Causality for free!: parametricity implies causality for functional reactive programs
PLPV '13 Proceedings of the 7th workshop on Programming languages meets program verification
P: safe asynchronous event-driven programming
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Declaratively processing provenance metadata
TaPP'13 Proceedings of the 5th USENIX conference on Theory and Practice of Provenance
Declaratively processing provenance metadata
Proceedings of the 5th USENIX Workshop on the Theory and Practice of Provenance
Robust and extensible task implementations of synchronous finite state machines
Proceedings of the Conference on Design, Automation and Test in Europe
Dynamic expressivity with static optimization for streaming languages
Proceedings of the 7th ACM international conference on Distributed event-based systems
Proceedings of the 50th Annual Design Automation Conference
Task implementation of synchronous finite state machines
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Functional reactive programming with liveness guarantees
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
A survey on reactive programming
ACM Computing Surveys (CSUR)
Co-design of control and platform with dropped signals
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
Computer Languages, Systems and Structures
Passive code in synchronous programs
ACM Transactions on Embedded Computing Systems (TECS) - Special Section ESFH'12, ESTIMedia'11 and Regular Papers
ILPc: a novel approach for scalable timing analysis of synchronous programs
Proceedings of the 2013 International Conference on Compilers, Architectures and Synthesis for Embedded Systems
A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music
Proceedings of the Eleventh ACM International Conference on Embedded Software
Multi-threaded code generation from Signal program to OpenMP
Frontiers of Computer Science: Selected Publications from Chinese Universities
Operational semantics of a domain specific language for real time musician---computer interaction
Discrete Event Dynamic Systems
Optimizing the implementation of real-time Simulink models onto distributed automotive architectures
Journal of Systems Architecture: the EUROMICRO Journal
Linear time-dependent constraints programming with MSVL
Journal of Combinatorial Optimization
IBM streams processing language: analyzing big data in motion
IBM Journal of Research and Development
Hi-index | 0.01 |