Companies similar to MARS
Sign up to Download

1-30 of 7,011,746 results

  • www.mars-workshop.org
  • 2
  • 5
Modelling techniques, aiming at the accurate description of systems and their relevant properties, are typically developed with formal analysis and formal verification in mind. To show that a developed approach actually scales to real systems, large..
Relevance: 18.73904
  • www.cocome.org
  • 1
Component-based software development (CBSD) has changed the current paradigm of software development. As systems become more and more complex, CBSD is to a greater extend applied in industry and plays a more and more important role in research... In..
Relevance: 16.951748
  • www.mogentes.eu
  • 2
  • 2
MOGENTES aimed at significantly enhancing testing and verification of dependable embedded systems by means of automated generation of test cases relying on development of new approaches as well as innovative integration of state-of-the-art..
Relevance: 16.594265
  • www.hodgins.ie
  • 1
  • 3
Hodgins Architectural Facades has developed excellence in high quality design, manufacture and installation of aluminium facade systems. We are delighted to offer designers and specificers assistance in designing attractive and environmentally..
Relevance: 16.236689
  • www.kilkennysuithire.com
  • 1
  • 1
At Hennessys we have developed a personalised service in formal wear hire that our customers have enjoyed over the last 20 years... Wedding formal wear hire at Hennessy's Kilkenny for all your Bridal Suit wear, Formal wear and Suit Hire, Clothing..
Relevance: 15.767194
  • dominionrnd.com
  • 1
  • 1
  • 1
My formal education is a B.Sc. Computer Science, 1989, from the University of Calgary... I have been programming professionally for 30 years; over 20 years specifically in real-time industrial control and communications... Designed, developed and..
Relevance: 15.645588
  • www.componolit.org
  • 3
  • 1
Componolit is a highly specialized company with a strong emphasis on trustworthy software, component-based systems and formal verification... The components, libraries and tools developed by Componolit are available as open source software under the..
Relevance: 15.63594
  • www.ftscs.org
  • 71
The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. FTSCS strives to promote research and..
Relevance: 15.603806
  • formalise2023.github.io
  • 1
  • 18
The software industry has a long-standing and well-earned reputation for failing to deliver high-quality software. Much progress has been achieved from the early days of software development; still, nowadays, even considering the state of the art of..
Relevance: 15.421188
  • www.averest.org
Averest is a framework for the model-based design of reactive systems that supports the modeling, specification, simulation, compilation, formal verification, and synthesis of hardware and software for reactive embedded systems. It contains compilers..
Relevance: 15.328516
  • faacs-workshop.github.io
  • 1
The way services and information are currently delivered to a multitude of end-users is changing impressively thanks to the availability of new technologies (e.g., IoT connectivity, digitalization, and smart devices) and complex computational models..
Relevance: 15.1425
  • www.verifiedgaming.org
  • 1
  • 2
Conventional wisdom says that formal methods and game development don't mix. However, we have found that the use of games in software engineering courses is an excellent motivator for students and an effective way to demonstrate and exercise formal..
Relevance: 15.123192
  • www.datamorph.com
  • 1
  • 1
Datamorphosis was incorporated in March of 1983. The offices at that time were located in Garibaldi, Oregon. In 1988 we moved to our present location on Bainbridge Island, Washington... Datamorphosis is a consulting and training firm that..
Relevance: 15.122759
  • www.cosyverif.org
CosyVerif is a software environment whose goal is the formal specification and verification of dynamic systems... This environment consists of two software tools: CosyDraw, the graphical interface; and Alligator, an integration framework web..
Relevance: 14.8862915
  • www.forsyte.at
  • 12
  • 1
  • 60
We are offering courses in Formal Methods, Model Checking, Computer-Aided Verification, Abstract Interpretation, and Decision Procedures. We are always looking for enthusiastic young people who are interested in a research project or thesis in the..
Relevance: 14.858279
  • www.ideprize.com
  • 1
  • 2
Seasoned formal reasoner educated in mathematics and computer science. Thirty five years plus experience in data processing and all support systems. I have developed major applications for various vertical markets as well as system/engineering..
Relevance: 14.832708
  • shmarov.com
  • 1
I am a Research Associate in the Systems and Software Security (S3) group, Department of Computer Science at the University of Manchester. Currently I am involved in the SCorCH project where I work on formal verification of software for secure..
Relevance: 14.578032
  • www.drisq.com
  • 1
  • 1
  • 4
D-RisQ is a high-tech UK company specialising in producing software and systems verification technologies based in Malvern, Worcestershire - the home of one of the UK's newest high technology business clusters and a historically important location in..
Relevance: 14.556126
  • www.atelierb.eu
  • 4
  • 1
Developed by CLEARSY, Atelier B is an industrial tool that allows for the operational use of the B Method to develop defect-free proven software (formal software)...
Relevance: 14.439651
  • descyphy.usc.edu
  • 3
We are recruiting postdoctoral scholars with interests and expertise in: (a) machine learning, formal methods, and cyber-physical systems; or (b) electronic design automation, system-on-chip design, formal methods, and security. Prospective..
Relevance: 14.387795
  • www.unitesk.com
  • 1
UniTESK is a technology of software testing based on formal specifications. Specifications are written using specialized extensions of traditional programming languages. Our advanced mathematical algorithms enable automated generation of test..
Relevance: 14.380661
  • issyl.rice.edu
  • 2
The Intelligent Software Systems Laboratory (ISSyL) at Rice University brings together ideas from statistical machine learning, formal methods, programming languages, and database systems to build next-generation systems for software design and data..
Relevance: 14.377608
  • www.swws.net
  • 1
  • 1
  • 1
Alongside the OnSite projects, SWWS aims to explore contemporary formal languages following a few simple principles: working on global projects or variable systems rather than single formal propositions; experimenting with digital tools both for..
Relevance: 14.292115
  • www.sergiomover.eu
  • 1
My work focuses on formal methods, in particular model checking using Satisfiability Modulo Theories (SMT) for different systems (hybrid systems and embedded software) and on program analysis...
Relevance: 14.220213
  • www.tetraplast.com.pk
  • 1
  • 2
Tetraplast Pipe Industries (Pvt) Ltd. is serving construction industry in Pakistan for last seven years. We are providing quality plastic piping systems to our valuable clients with full technical support... Tetraplast produces all PVC-U pipes to be..
Relevance: 14.073991
  • www.developair.tech
  • 1
Developair was established in 2018 with the purpose of radically improving the way software is being developed in embedded systems. This objective arised after 15 years developing software in this area... Development platform focused on the..
Relevance: 14.027726
  • cps-vida.github.io
Our group's research interests lie in the intersection of formal methods, control theory, cyber-physical systems, and artificial intelligence...
Relevance: 13.966253
  • www.bibbworks.com
I have enjoyed a diverse career at major media companies. My passion for emerging technologies led me from news editing to systems development and training for news and business operations. I focused on innovative solutions to minimize the impact of..
Relevance: 13.933589
  • www.head-west.ca
  • 1
  • 1
In 2004, realizing the commercial value of this software, Head-West Software Inc. was formed with the core of the development team to purchase the rights to this software. From this software, Head-West has developed a number of products that..
Relevance: 13.888974
  • www.petrinets.info
A formal, graphical, executable technique for the specification and analysis of concurrent, discrete-event dynamic systems; a technique undergoing standardisation...
Relevance: 13.874906