The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ACSD"( http://dblp.L3S.de/Venues/ACSD )

URL (DBLP): http://dblp.uni-trier.de/db/conf/acsd

Publication years (Num. hits)
1998 (28) 2001 (24) 2003 (37) 2004 (25) 2005 (32) 2006 (29) 2007 (30) 2008 (28) 2009 (22) 2010 (23) 2011 (21) 2012 (23) 2013 (28) 2014 (21) 2015 (16) 2016-2017 (31) 2018 (14)
Publication types (Num. hits)
inproceedings(414) proceedings(18)
Venues (Conferences, Journals, ...)
ACSD(432)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 221 occurrences of 154 keywords

Results
Found 432 publication records. Showing 432 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Fatma Jebali, Dumitru Potop-Butucaru Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators. Search on Bibsonomy ACSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden, Michael Mendler On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel. Search on Bibsonomy ACSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ayleen Schinko, Walter Vogler Fault-Free Refinements for Interface Automata. Search on Bibsonomy ACSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Markus Anders, Anoop Bhagyanath, Klaus Schneider 0001 On Memory Optimal Code Generation for Exposed Datapath Architectures with Buffered Processing Units. Search on Bibsonomy ACSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hanifa Boucheneb, Didier Lime, Olivier H. Roux, Charlotte Seidner Optimal-Cost Reachability Analysis Based on Time Petri Nets. Search on Bibsonomy ACSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vincent Bloemen, Jaco van de Pol, Wil M. P. van der Aalst Symbolically Aligning Observed and Modelled Behaviour. Search on Bibsonomy ACSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine Complexity of Reachability for Data-Aware Dynamic Systems. Search on Bibsonomy ACSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018 Search on Bibsonomy ACSD The full citation details ... 2018 DBLP  BibTeX  RDF
1Étienne André, Didier Lime, Mathias Ramparison Timed Automata with Parametric Updates. Search on Bibsonomy ACSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Benjamin Smith, Gianfranco Ciardo SOUPS: A Variable Ordering Metric for the Saturation Algorithm. Search on Bibsonomy ACSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Loïc Hélouët, Hervé Marchand, John Mullins Concurrent Secrets with Quantified Suspicion. Search on Bibsonomy ACSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems. Search on Bibsonomy ACSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bowen Li, Brian Randell, Anirban Bhattacharyya, Talal Alharbi, Maciej Koutny SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets. Search on Bibsonomy ACSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dennis Schmitz, Daniel Moldt, Michael Haustermann, David Mosteller, Christian Röder Team Coordination Based on Causal Nets with Synchronous Channels. Search on Bibsonomy ACSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dung Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. Search on Bibsonomy ACSD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Victor Khomenko, Andrey Mokhov, Danil Sokolov, Alex Yakovlev Formal Design and Verification of an Asynchronous SRAM Controller. Search on Bibsonomy ACSD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mohammed Foughali Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and Tools. Search on Bibsonomy ACSD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anoop Bhagyanath, Klaus Schneider 0001 Exploring the Potential of Instruction-Level Parallelism of Exposed Datapath Architectures with Buffered Processing Units. Search on Bibsonomy ACSD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alban Linard, Didier Buchs Ardoises: Collaborative & Interactive Editing Using Layered Data. Search on Bibsonomy ACSD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Étienne André, Didier Lime Liveness in L/U-Parametric Timed Automata. Search on Bibsonomy ACSD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ashur Rafiev, Fei Xia, Alexei Iliasov, Alexander B. Romanovsky, Alexandre Yakovlev Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips Using ArchOn Framework. Search on Bibsonomy ACSD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gilles Geeraerts, Joël Goossens, Thi-Van-Anh Nguyen A Backward Algorithm for the Multiprocessor Online Feasibility of Sporadic Tasks. Search on Bibsonomy ACSD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Antti Siirtola Refinement Checking Parameterised Quorum Systems. Search on Bibsonomy ACSD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bernhard Steffen, Marc Jasper, Jeroen Meijer, Jaco van de Pol Property-Preserving Generation of Tailored Benchmark Petri Nets. Search on Bibsonomy ACSD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrey Mokhov, Jordi Cortadella, Alessandro de Gennaro Process Windows. Search on Bibsonomy ACSD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ghaith Tarawneh, Andrey Mokhov Xprova: Formal Verification Tool with Built-in Metastability Modeling. Search on Bibsonomy ACSD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Georges-Axel Jaloyan, Lee Pike Lock Optimization for Hoare Monitors in Real-Time Systems. Search on Bibsonomy ACSD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Simon Lunel, Benoît Boyer, Jean-Pierre Talpin Compositional Proofs in Differential Dynamic Logic dL. Search on Bibsonomy ACSD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jonathan Beaumont Plato: A Tool for Behavioural Specification of Asynchronous Circuits. Search on Bibsonomy ACSD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017 Search on Bibsonomy ACSD The full citation details ... 2017 DBLP  BibTeX  RDF
1Lukasz Mikulski, Andrey Mokhov, Marcin Piatkowski Reduction of Order Structures. Search on Bibsonomy ACSD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh Ara, Dip Goswami Checking Metric Temporal Logic with TRACE. Search on Bibsonomy ACSD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Étienne André, Michal Knapik, Wojciech Penczek, Laure Petrucci Controlling Actions and Time in Parametric Timed Automata. Search on Bibsonomy ACSD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matthew Travers, Rishad A. Shafik, Fei Xia Power-Normalized Performance Optimization of Concurrent Many-Core Applications. Search on Bibsonomy ACSD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dennis Schmitz, Daniel Moldt, Lawrence Cabac, David Mosteller, Michael Haustermann Utilizing Petri Nets for Teaching in Practical Courses on Collaborative Software Engineering. Search on Bibsonomy ACSD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ondrej Meca, Stanislav Böhm, Marek Behalek, Petr Jancar An Approach to Verification of MPI Applications Defined in a High-Level Model. Search on Bibsonomy ACSD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ferenc Bujtor, Walter Vogler ACTL for Modal Interface Automata. Search on Bibsonomy ACSD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers Products of Transition Systems and Additions of Petri Nets. Search on Bibsonomy ACSD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Antti Valmari The Congruences below Fair Testing with Initial Stability. Search on Bibsonomy ACSD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mohammed A. N. Al-Hayanni, Ashur Rafiev, Rishad A. Shafik, Fei Xia Power and Energy Normalized Speedup Models for Heterogeneous Many Core Computing. Search on Bibsonomy ACSD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hanna Klaudel, Maciej Koutny, Ben C. Moszkowski From Petri Nets with Shared Variables to ITL. Search on Bibsonomy ACSD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jörg Desel, Alex Yakovlev (eds.) 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016 Search on Bibsonomy ACSD The full citation details ... 2016 DBLP  BibTeX  RDF
1Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain Weaving True-Concurrent Aspects Using Constraint Solvers. Search on Bibsonomy ACSD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Waheed Ahmad, Marijn R. Jongerden, Mariëlle Stoelinga, Jaco van de Pol Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata. Search on Bibsonomy ACSD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mahdi Jelodari Mamaghani, Danil Sokolov, Jim D. Garside Asynchronous Dataflow De-Elastisation for Efficient Heterogeneous Synthesis. Search on Bibsonomy ACSD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ala-Eddine Ben Salem, Mohamed Graiet Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata. Search on Bibsonomy ACSD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets. Search on Bibsonomy ACSD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Qi Tang 0002, Twan Basten, Marc Geilen, Sander Stuijk, Ji-Bo Wei Task-FIFO Co-scheduling of Streaming Applications on MPSoCs with Predictable Memory Hierarchy. Search on Bibsonomy ACSD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Antti Valmari Stop It, and Be Stubborn! Search on Bibsonomy ACSD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios. Search on Bibsonomy ACSD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stefan Vijzelaar, Wan Fokkink Multi-valued Abstraction Using Lattice Operations. Search on Bibsonomy ACSD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Étienne André, Thomas Chatain, César Rodríguez Preserving Partial Order Runs in Parametric Time Petri Nets. Search on Bibsonomy ACSD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Béatrice Bérard, Loïc Hélouët, John Mullins Non-interference in Partial Order Models. Search on Bibsonomy ACSD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tobias Isenberg 0002 Incremental Inductive Verification of Parameterized Timed Systems. Search on Bibsonomy ACSD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Antti Tapani Siirtola, Stavros Tripakis, Keijo Heljanko When Do We (Not) Need Complex Assume-Guarantee Rules? Search on Bibsonomy ACSD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ashur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander B. Romanovsky, Alex Yakovlev Order Graphs and Cross-Layer Parametric Significance-Driven Modelling. Search on Bibsonomy ACSD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ferenc Bujtor, Lev Sorokin, Walter Vogler Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing. Search on Bibsonomy ACSD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Edmundo López Bóbeda, Maximilien Colange, Didier Buchs Building a Symbolic Model Checker from Formal Language Description. Search on Bibsonomy ACSD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015 Search on Bibsonomy ACSD The full citation details ... 2015 DBLP  BibTeX  RDF
1Hernán Ponce de León, Olli Saarikivi, Kari Kähkönen, Keijo Heljanko, Javier Esparza Unfolding Based Minimal Test Suites for Testing Multithreaded Programs. Search on Bibsonomy ACSD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hanifa Boucheneb, Kamel Barkaoui Strongly Generalized Soundness of Time Workflow Nets. Search on Bibsonomy ACSD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1S. Akshay, Loïc Hélouët, Madhavan Mukund Sessions with an Unbounded Number of Agents. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Antti Siirtola Parametrised Interface Automata. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel Controllability in Partial and Uncertain Environments. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Arpit Sharma, Joost-Pieter Katoen Layered Reduction for Abstract Probabilistic Automata. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michal Knapik, Artur Meski, Wojciech Penczek Action Synthesis for Branching Time Logic: Theory and Applications. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ferenc Bujtor, Walter Vogler Failure Semantics for Modal Transition Systems. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Florian Furbach, Roland Meyer, Klaus Schneider 0001, Maximilian Senftleben Memory Model-Aware Testing - A Unified Complexity Analysis. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda Modelling Data Processing for Interactive Scores Using Coloured Petri Nets. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Aurelien Deharbe, Frédéric Peschanski The Omniscient Garbage Collector: A Resource Analysis Framework. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui New Automatic Agent-Based Solutions for Feasible Reconfigurable MP-SoC Architectures. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alok Lele, Orlando Moreira, Kaushal Butala, Pieter J. L. Cuijpers, Kees van Berkel Cyclo-Static Data Flow Model for TDM. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Robert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit Multi-rate Equivalents of Cyclo-Static Synchronous Dataflow Graphs. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Carle, Manel Djemal, Dumitru Potop-Butucaru, Robert de Simone, Zhen Zhang Static Mapping of Real-Time Applications onto Massively Parallel Processor Arrays. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014 Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  BibTeX  RDF
1Kari Kähkönen, Keijo Heljanko Testing Multithreaded Programs with Contextual Unfoldings and Dynamic Symbolic Execution. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Waheed Ahmad, Robert de Groote, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fabrice Kordon, Francis Hulin-Hubard BenchKit, a Tool for Massive Concurrent Benchmarking. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yves-Stan Le Cornec, Franck Pommereau Modular µ-Calculus Model-Checking with Formula-Dependent Hierarchical Abstractions. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ashur Rafiev, Alexei Iliasov, Alexander B. Romanovsky, Andrey Mokhov, Fei Xia, Alexandre Yakovlev Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon Diagnosability under Weak Fairness. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Jean-Luc Béchennec Timing Analysis of Binary Programs with UPPAAL. Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Manuel Gesell, Klaus Schneider 0001 Modular Verification of Synchronous Programs. Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä Bounded Model Checking of an MITL Fragment for Timed Automata. Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ricardo A. Baeza-Yates Invited Abstract. Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jörg Desel On Cyclic Behaviour of Unbounded Petri Nets. Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Antti Siirtola, Keijo Heljanko Parametrised Compositional Verification with Multiple Process and Data Types. Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Eugene Yip, Partha S. Roop, Morteza Biglari-Abhari, Alain Girault Programming and Timing Analysis of Parallel Programs on Multicores. Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Lei Song 0001, Lijun Zhang 0001, Holger Hermanns, Jens Chr. Godskesen Incremental Bisimulation Abstraction Refinement. Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Lukasz Mikulski, Marcin Piatkowski, Sebastian Smyczynski Lexicographical Generations of Combined Traces. Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jiri Barnat, Lubos Brim, Vojtech Havel LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model. Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, Björn Victor A Parametric Tool for Applied Process Calculi. Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers, Jean-Yves Didier, Hanna Klaudel Implementing Timed Automata Specifications: The "Sandwich" Approach. Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gilles Geeraerts, Alexander Heußner, Jean-François Raskin Queue-Dispatch Asynchronous Systems. Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jun Sawada, Dharmendra S. Modha SyNAPSE: Jun Sawada. Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Stanislavs Golubcovs, Walter Vogler, Norman Kluge STG-Based Resynthesis for Balsa Circuits. Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Benoît Boyer, Axel Legay Incremental Generation of Linear Invariants for Component-Based Systems. Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mahesh Nanjundappa, Matthew Kracht, Julien Ouy, Sandeep Kumar Shukla A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications. Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mateo Valero Killer-mobiles: The way towards energy efficient high performance computers? Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 432 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license