A method for rigorous design of reconfigurable systems

Article Properties
Cite
Madeira, Alexandre, et al. “A Method for Rigorous Design of Reconfigurable Systems”. Science of Computer Programming, vol. 132, 2016, pp. 50-76, https://doi.org/10.1016/j.scico.2016.05.001.
Madeira, A., Neves, R., Barbosa, L. S., & Martins, M. A. (2016). A method for rigorous design of reconfigurable systems. Science of Computer Programming, 132, 50-76. https://doi.org/10.1016/j.scico.2016.05.001
Madeira A, Neves R, Barbosa LS, Martins MA. A method for rigorous design of reconfigurable systems. Science of Computer Programming. 2016;132:50-76.
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Encoding hybridized institutions into first order logic 2016
Featured transition systems: foundations for verifying variability-intensive systems and their application to LTL model checking IEEE Transactions on Software Engineering
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electric apparatus and materials. Electric circuits. Electric networks
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2013
A model for dynamic reconfiguration in service-oriented architectures Software and Systems Modeling
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 6 2013
Twenty years of rewriting logic The Journal of Logic and Algebraic Programming 56 2012
Model Evolution with equality — Revised and implemented Journal of Symbolic Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Technology: Engineering (General). Civil engineering (General)
  • Technology: Engineering (General). Civil engineering (General)
 8 2012
Citations
Title Journal Journal Categories Citations Publication Date
Epistemic Logics with Structured Knowledge Electronic Notes in Theoretical Computer Science 2019
Logics for Actor Networks: A two-stage constrained-hybridisation approach Journal of Logical and Algebraic Methods in Programming
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2019
Hierarchical Hybrid Logic Electronic Notes in Theoretical Computer Science 1 2018
Applying differential dynamic logic to reconfigurable biological networks Mathematical Biosciences
  • Science: Biology (General)
  • Medicine: Medicine (General): Computer applications to medicine. Medical informatics
  • Science: Biology (General)
  • Science: Biology (General)
  • Science: Chemistry: Organic chemistry: Biochemistry
 1 2017
Foundations of logic programming in hybrid logics with user-defined sharing Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 6 2017
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science2
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software2
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware2
Science: Biology (General)1
Medicine: Medicine (General): Computer applications to medicine. Medical informatics1
Science: Chemistry: Organic chemistry: Biochemistry1
Science: Mathematics1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 2 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Applying differential dynamic logic to reconfigurable biological networks and was published in 2017. The most recent citation comes from a 2019 study titled Epistemic Logics with Structured Knowledge. This article reached its peak citation in 2019, with 2 citations. It has been cited in 4 different journals. Among related journals, the Electronic Notes in Theoretical Computer Science cited this research the most, with 2 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year